#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):
I'm currently working on the {{{Nat}}} stuff, because I'm pretty sure
{{{reify}}} can't deal with it yet. There's also the issue that the
interface in {{{GHC.TypeLits}}} doesn't appear to be finalised yet (at
least not to my mind).
I think the folds should be added, though perhaps as a separate
ticket/patch. I think many of the use-cases for {{{arrowK}}}/{{{arrowT}}}
and {{{promotedConsT}}}/{{{promotedNilT}}} etc. entail the same two or
three functions.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/5612#comment:20>
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
