#1673: Template Haskell support for type families
-------------------------------------------+--------------------------------
Reporter: [email protected] | Owner:
Type: feature request | Status: closed
Priority: high | Milestone: 6.12 branch
Component: Template Haskell | Version: 6.7
Severity: normal | Resolution: fixed
Keywords: | Difficulty: Unknown
Testcase: | Os: Unknown/Multiple
Architecture: Unknown/Multiple |
-------------------------------------------+--------------------------------
Changes (by chak):
* status: new => closed
* resolution: => fixed
Comment:
I just pushed patches adding support for type family declarations
(toplevel and associated) and equality constraints to TH.
The downside is that it changes the API of `Language.Haskell.TH` in an
incompatible way (to distinguish between class constraints and equality
constraints). Given that I had to change the API anyways, we agreed to
add kinds, too. I'll do that in the next few days, but it'll change the
API even a bit more.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1673#comment:11>
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
