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.
Simon
From: Iavor Diatchki [mailto:iavor.diatchki@gmail.com]
Sent: 12 March 2014 16:26
To: Simon Peyton Jones
Subject: Re: FW: [GHC] #4385: Type-level natural numbers
Hello,
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?
-Iavor
On Tue, Mar 11, 2014 at 1:33 PM, Simon Peyton Jones <simonpj@microsoft.com> wrote:
Iavor?
-----Original Message-----
From: ghc-tickets [mailto:ghc-tickets-bounces@haskell.org] On Behalf Of GHC
Sent: 11 March 2014 20:12
Cc: ghc-tickets@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
http://www.haskell.org/ghc/docs/7.8.1-rc2/html/users_guide/
--
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@haskell.org
http://www.haskell.org/mailman/listinfo/ghc-tickets