Skip to content

Better support for kinds in Template Haskell

Type checking the attached code produces a legitimate type error, and also the following message:

Tip.hs:107:14:ghc: panic! (the 'impossible' happened)
  (GHC version 7.0.3 for i386-unknown-linux):
	Exotic form of kind ghc-prim:GHC.Prim.?{(w) tc 34g}
Edited by dreixel
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information