#4385: Type-level natural numbers
----------------------------------------+-----------------------------------
Reporter: diatchki | Owner: diatchki
Type: feature request | Status: new
Priority: normal | Milestone: 7.2.1
Component: Compiler (Type checker) | Version:
Keywords: | Testcase:
Blockedby: | Difficulty:
Os: Unknown/Multiple | Blocking:
Architecture: Unknown/Multiple | Failure: None/Unknown
----------------------------------------+-----------------------------------
Comment(by diatchki):
Hello,
since a few people have joined the ticket I thought I'd post an update. I
have been updating the documentation of how things work, and some of the
design/implementation issues that I know of. Take a look here:
http://hackage.haskell.org/trac/ghc/wiki/TypeNats
If you have the time, please try out the current implementation and send
me feedback, I usually try to keep things in a working state. To get the
code:
{{{
git clone git://code.galois.com/type-naturals/ghc.git
}}}
There are two branches in there, my work is on branch "type-nats" (branch
"master" tracks the standrad GHC development branch).
As usual, before starting a build you'd need to get the libraries used by
GHC. My work also requires some extra changes to "base" and "template-
haskell" which are available in these darcs repos:
{{{
http://code.galois.com/darcs/type-naturals/09-Jan-2011/base
http://code.galois.com/darcs/type-naturals/09-Jan-2011/template-haskell
}}}
Usually, I use {{{darcs-all}}} to get the libraries from
{{{darcs.haskell.org}}}, and then something like this:
{{{
pushd libraries/base
darcs pull http://code.galois.com/darcs/type-naturals/09-Jan-2011/base
popd
pushd libraries/template-haskell
darcs pull http://code.galois.com/darcs/type-naturals/09-Jan-2011
/template-haskell
popd
}}}
Type-level nats are enabled with extensions {{{TypeNaturals}}} (e.g.,
{{{-XTypeNaturals}}}, or pragma {{{LANGUAGE TypeNaturals}}}.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/4385#comment:14>
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
