#5612: Better support for kinds in Template Haskell
-------------------------------------------+--------------------------------
Reporter: guest | Owner: dreixel
Type: feature request | Status: new
Priority: normal | Milestone: 7.4.1
Component: Compiler | Version: 7.3
Keywords: PolyKinds, TemplateHaskell | Os: Unknown/Multiple
Architecture: Unknown/Multiple | Failure: Other
Difficulty: | Testcase:
Blockedby: | Blocking:
Related: |
-------------------------------------------+--------------------------------
Changes (by dreixel):
* type: bug => feature request
* os: Linux => Unknown/Multiple
* architecture: x86 => Unknown/Multiple
Comment:
http://hackage.haskell.org/trac/ghc/changeset/e328942561be162dd5f42b4ef630249ed34f1ef9
gives a more civilized error. Also for kinds like `Constraint`, which TH
doesn't handle either.
I guess this will do for 7.4, and we should indeed come up with a design
for handling the new kinds in TH.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/5612#comment:7>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
