#4385: Type-level natural numbers
----------------------------------------+-----------------------------------
Reporter: diatchki | Owner: diatchki
Type: feature request | Status: new
Priority: normal | Milestone: 7.6.1
Component: Compiler (Type checker) | Version:
Keywords: | Os: Unknown/Multiple
Architecture: Unknown/Multiple | Failure: None/Unknown
Difficulty: | Testcase:
Blockedby: | Blocking:
Related: |
----------------------------------------+-----------------------------------
Comment(by dmcclean):
I notice this is in the 7.6.1 RC without a constraint solver.
Is there a plan to implement the constraint solver for 7.6.1?
If not, it might make sense to delay implementing this at all until the
solver can be implemented, to retain more flexibility for making any
changes that might be informed by the solver work.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/4385#comment:52>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
