Changes between Version 5 and Version 6 of EmptyDataDecls


Ignore:
Timestamp:
Jul 22, 2009 2:57:45 PM (5 years ago)
Author:
sweirich
Comment:

Start on format. Still need to update some sections.

Legend:

Unmodified
Added
Removed
Modified
  • EmptyDataDecls

    v5 v6  
    1 = Empty data declarations = 
     1= Proposal: EmptyDataDecls = 
     2 
    23[[PageOutline]] 
    34 
    4 '''Ticket:''' #25 
     5|| Ticket       || #25 || 
     6|| Dependencies || names of other proposals on which this one depends   || 
     7|| Related      ||  [[TicketQuery(description~=KindInference)]]      [[TicketQuery(description~=KindAnnotations)]]      [[TicketQuery(description~=InfixTypeConstructors)]] || 
     8                 
    59 
    6 == Brief Explanation == 
     10== Compiler support == 
     11 
     12|| GHC   || [ full (flagname) | partial (flagname) (comments) | none ] || 
     13|| nhc98 || [ full (flagname) | partial (flagname) (comments) | none ] || 
     14|| Hugs  || [ full (flagname) | partial (flagname) (comments) | none ] || 
     15|| UHC   || [ full (flagname) | partial (flagname) (comments) | none ] || 
     16|| JHC   || [ full (flagname) | partial (flagname) (comments) | none ] || 
     17|| LHC   || [ full (flagname) | partial (flagname) (comments) | none ] || 
     18 
     19== Summary == 
     20 
     21Allow data declarations with no constructors. 
     22 
     23== Description == 
     24 
    725 
    826The proposal is to allow empty `data` declarations, i.e. data types without any 
     
    5573syntactically. But the point is that there is a choice. 
    5674 
    57 == References == 
    58  * [http://www.haskell.org/ghc/docs/latest/html/users_guide/type-extensions.html#nullary-types] GHC documentation. 
    59  * [[TicketQuery(description~=KindInference)]] 
    60  * [[TicketQuery(description~=KindAnnotations)]] 
    61  * [[TicketQuery(description~=InfixTypeConstructors)]] 
    62  
    63 == Pros == 
    6475 * A simple and natural generalisation of data declarations, seemingly without any hidden complications. 
    6576 
    66 == Cons == 
     77 
     78== References == 
     79 
     80 * [http://www.haskell.org/ghc/docs/latest/html/users_guide/type-extensions.html#nullary-types] GHC documentation. 
     81 
     82== Report Delta == 
     83 
     84The changes to the report necessary to implement the proposal.  Required for a proposal to move to the "accepted" state.