#3012: A little deriving for GADTs
---------------------------------+------------------------------------------
Reporter: guest | Owner:
Type: feature request | Status: new
Priority: normal | Milestone:
Component: Compiler | Version: 6.10.1
Severity: minor | Resolution:
Keywords: | Difficulty: Unknown
Testcase: | Os: Unknown/Multiple
Architecture: Unknown/Multiple |
---------------------------------+------------------------------------------
Comment (by igloo):
We're going to typecheck the derived code anyway, right? I don't think
it's worth trying to predict in advance whether or not this will succeed,
especially as the prediction has the potential to not exactly match what
the actual type checker will accept.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/3012#comment:2>
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
