Skip to content

Instantly share code, notes, and snippets.

@takenobu-hs
takenobu-hs / Coerce2.hs
Last active March 4, 2019 14:07
Object representation (in slack-jp)
import Unsafe.Coerce
{-# NOINLINE bool_var1 #-}
bool_var1 :: Bool
bool_var1 = True
main :: IO ()
@takenobu-hs
takenobu-hs / kind-symbol-star.md
Last active June 17, 2018 04:34
kind `*` in Haskell/GHC

Haskell/GHC kind * status

See ghc-proposals/ghc-proposals#143

The kind representations of :kind command in GHCi

||Haskell 2010|old GHC(7.10.3)|current GHC(8.4.2)|This proposal(switch enabled)|This proposal(switch disabled)|Haskell 20xx|