#5927: A type-level "implies" constraint on Constraints
----------------------------------------+-----------------------------------
Reporter: illissius | Owner:
Type: feature request | Status: new
Priority: normal | Milestone: 7.6.1
Component: Compiler (Type checker) | Version: 7.4.1
Keywords: | Os: Unknown/Multiple
Architecture: Unknown/Multiple | Failure: None/Unknown
Difficulty: Unknown | Testcase:
Blockedby: | Blocking:
Related: |
----------------------------------------+-----------------------------------
Comment(by illissius):
Right; obviously it's up to you and the rest of the GHC team to figure out
what it makes sense to spend time on. This is just to keep track of one of
the things that would be nice. Thanks for your time!
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/5927#comment:6>
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
