#1965: Allow unconstrained existential contexts in newtypes
-------------------------------+--------------------------------------------
Reporter: guest | Owner:
Type: feature request | Status: new
Priority: normal | Milestone:
Component: Compiler | Version: 6.8.1
Resolution: | Keywords:
Os: Unknown/Multiple | Architecture: Unknown/Multiple
Failure: None/Unknown | Difficulty: Unknown
Testcase: | Blockedby:
Blocking: | Related:
-------------------------------+--------------------------------------------
Changes (by pumpkin):
* cc: pumpkingod@… (added)
* failure: => None/Unknown
* status: closed => new
* resolution: wontfix =>
Comment:
This would actually be a useful feature with GADTs, since matching on one
can tell us what the existential field was, even without storing a context
for it in our newtype.
It's definitely not essential to anything I'm doing, but perhaps the
recent changes to GHC since the last time people looked at this ticket
make this feature easier to implement?
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1965#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
