Promotion quote syntax without -XDataKinds
This compiles by default (Haskell2010). I'd expect the promotion quote syntax to work only when -XDataKinds
is on.
import GHC.Types
type T = 'LiftedRep
This compiles by default (Haskell2010). I'd expect the promotion quote syntax to work only when -XDataKinds
is on.
import GHC.Types
type T = 'LiftedRep