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:[email protected]] 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 <[email protected]<mailto:[email protected]>> wrote: Iavor? -----Original Message----- From: ghc-tickets [mailto:[email protected]<mailto:[email protected]>] On Behalf Of GHC Sent: 11 March 2014 20:12 Cc: [email protected]<mailto:[email protected]> 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 [email protected]<mailto:[email protected]> http://www.haskell.org/mailman/listinfo/ghc-tickets
_______________________________________________ ghc-devs mailing list [email protected] http://www.haskell.org/mailman/listinfo/ghc-devs
