FW: [GHC] #4385: Type-level natural numbers

Simon Peyton Jones simonpj at microsoft.com
Wed Mar 12 18:26:40 UTC 2014

I think a new section on “Type-level naturals” would make more sense.   That way it’s easier to find, and makes it easier to tell a coherent story

Do it on HEAD; Austin can merge as reqd.


From: Iavor Diatchki [mailto:iavor.diatchki at gmail.com]
Sent: 12 March 2014 16:26
To: Simon Peyton Jones
Subject: Re: FW: [GHC] #4385: Type-level natural numbers


There are some docs under `Promoted Literals`.  I can add a few more paragraphs to capture the current state.  Two questions:

  - Should I add the new stuff in the same place, or should I move everything under a new Section (e.g., `Type-Level Naturals` or something)
  - Is there a special branch for the release candidate, or should I only do it on the `master` branch?


On Tue, Mar 11, 2014 at 1:33 PM, Simon Peyton Jones <simonpj at microsoft.com<mailto:simonpj at microsoft.com>> wrote:

-----Original Message-----
From: ghc-tickets [mailto:ghc-tickets-bounces at haskell.org<mailto:ghc-tickets-bounces at haskell.org>] On Behalf Of GHC
Sent: 11 March 2014 20:12
Cc: ghc-tickets at haskell.org<mailto:ghc-tickets at haskell.org>
Subject: Re: [GHC] #4385: Type-level natural numbers

#4385: Type-level natural numbers
        Reporter:  diatchki                 |            Owner:  diatchki
            Type:  feature request          |           Status:  new
        Priority:  normal                   |        Milestone:  7.6.2
       Component:  Compiler (Type checker)  |          Version:
      Resolution:                           |         Keywords:
Operating System:  Unknown/Multiple         |     Architecture:
 Type of failure:  None/Unknown             |  Unknown/Multiple
       Test Case:                           |       Difficulty:  Unknown
        Blocking:                           |       Blocked By:
                                            |  Related Tickets:

Comment (by Lemming):

 Type-level natural numbers are advertised everywhere for GHC-7.8, but I
 cannot find documentation in

Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4385#comment:66>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
ghc-tickets mailing list
ghc-tickets at haskell.org<mailto:ghc-tickets at haskell.org>

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/ghc-devs/attachments/20140312/746b0791/attachment-0001.html>

More information about the ghc-devs mailing list