#5612: Better support for kinds in Template Haskell
-------------------------------------------+--------------------------------
Reporter: guest | Owner: lunaris
Type: feature request | Status: patch
Priority: low | Milestone: 7.6.1
Component: Compiler | Version: 7.3
Keywords: PolyKinds, TemplateHaskell | Os: Unknown/Multiple
Architecture: Unknown/Multiple | Failure: Other
Difficulty: Unknown | Testcase:
Blockedby: | Blocking:
Related: |
-------------------------------------------+--------------------------------
Comment(by lunaris):
Ok, I think the updated patches should work. I've ported over most of
goldfire's test cases, except the last set, which I'll hopefully get
around to tomorrow.
In addressing this ticket, I've also fleshed out TH support for type-level
literals, which was somewhat incomplete. I felt it was necessary to cope
with the introduction of {{{type Kind = Type}}}. These changes have been
kept in separate patches however, and have not received additional test
suite coverage.
Let me know what you think!
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/5612#comment:21>
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
