#5406: Template Haskell: Reification of type family instances
---------------------------------+------------------------------------------
Reporter: reinerp | Owner:
Type: feature request | Status: new
Priority: normal | Milestone:
Component: Template Haskell | Version: 7.0.4
Keywords: | Testcase:
Blockedby: | Difficulty:
Os: Unknown/Multiple | Blocking:
Architecture: Unknown/Multiple | Failure: None/Unknown
---------------------------------+------------------------------------------
Comment(by simonpj):
OK, I'm about to commit a patch implementing this change. Concering the
last bullet of my proposal above, I decided to have a new constructor
`FamilyI` in `Info`, partly because it's more explicit, and partly because
it avoids requiring everyone who pattern-matches on `TyConI` to change
their code.
Simon
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/5406#comment:4>
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
