Changes between Version 5 and Version 6 of EmptyDataDecls


Ignore:
Timestamp:
Jul 22, 2009 2:57:45 PM (6 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.