#4188: Template Haskell support for reifying non-vanilla data constructors
---------------------------------+------------------------------------------
Reporter: illissius | Owner: illissius
Type: feature request | Status: patch
Priority: normal | Milestone:
Component: Template Haskell | Version:
Keywords: | Difficulty:
Os: Unknown/Multiple | Testcase:
Architecture: Unknown/Multiple | Failure: None/Unknown
---------------------------------+------------------------------------------
Comment(by illissius):
Alright, thanks a lot. :)
...as far as I can tell, though, it seems perfectly capable of
representing equality predicates?
{{{
data Con = ... | ForallC [TyVarBndr] Cxt Con
type Cxt = [Pred]
data Pred = ClassP Name [Type] | EqualP Type Type
}}}
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/4188#comment:5>
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
