[GHC] #4385: Type-level natural numbers
GHC
ghc-devs at haskell.org
Fri Feb 20 07:55:01 UTC 2015
#4385: Type-level natural numbers
-------------------------------------+-------------------------------------
Reporter: diatchki | Owner: diatchki
Type: feature request | Status: new
Priority: normal | Milestone: 7.12.1
Component: Compiler (Type | Version:
checker) | Keywords:
Resolution: | Architecture:
Operating System: Unknown/Multiple | Unknown/Multiple
Type of failure: None/Unknown | Test Case:
Blocked By: | Blocking:
Related Tickets: | Differential Revisions:
-------------------------------------+-------------------------------------
Comment (by adamgundry):
Iavor can probably say more than me, but I believe he is currently working
on a type-nats constraint solver as a typechecker plugin that communicates
with an SMT solver: https://github.com/yav/type-nat-solver
More generally, the aim of the typechecker plugins work is to make this
sort of thing easier to experiment with.
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4385#comment:72>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the ghc-tickets
mailing list