Changes between Version 6 and Version 7 of EmptyDataDecls


Ignore:
Timestamp:
Jul 24, 2009 3:04:59 PM (6 years ago)
Author:
sweirich
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • EmptyDataDecls

    v6 v7  
    44
    55|| Ticket       || #25 ||
    6 || Dependencies || names of other proposals on which this one depends   ||
     6|| Dependencies || none   ||
    77|| Related      ||  [[TicketQuery(description~=KindInference)]]      [[TicketQuery(description~=KindAnnotations)]]      [[TicketQuery(description~=InfixTypeConstructors)]] ||
    88               
     
    1010== Compiler support ==
    1111
    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 ] ||
     12|| GHC   || [ full -fglasgow-exts ] ||
     13|| nhc98 || [ none ] ||
     14|| Hugs  || [ none ] ||
     15|| UHC   || [ none ] ||
     16|| JHC   || [ none ] ||
     17|| LHC   || [ full -fglasgow-exts ] ||
     18
     19Information from language documentation only. I haven't tried it on any of these systems.
    1820
    1921== Summary ==
     
    7779
    7880== References ==
    79 
    80  * [http://www.haskell.org/ghc/docs/latest/html/users_guide/type-extensions.html#nullary-types] GHC documentation.
     81 * [http://www.haskell.org/ghc/docs/latest/html/users_guide/data-type-extensions.html#nullary-types] GHC documentation.
    8182
    8283== Report Delta ==
    8384
    8485The changes to the report necessary to implement the proposal.  Required for a proposal to move to the "accepted" state.
     86
     87Replace the syntax in [http://www.haskell.org/onlinereport/decls.html] '''4 Declarations and Bindings''':
     88{{{
     89#!html
     90<div style="background: #fdd; border-color: #c00; border-style: solid; border-width: 1px">
     91}}}
     92 topdecl         ->     ...
     93                 |      data [context =>] simpletype = constrs [deriving]
     94{{{
     95#!html
     96</div>
     97}}}
     98
     99with
     100{{{
     101#!html
     102<div style="background: #dfd; border-color: #c00; border-style: solid; border-width: 1px">
     103}}}
     104 topdecl         ->      ...
     105                 |      data [context =>] simpletype [= constrs] [deriving]
     106                 
     107{{{
     108#!html
     109</div>
     110}}}
     111
     112Make the same change in the copy of the syntax at the top of 4.2.1 ''Algebraic Datatype Declarations''.
     113Also in that section, replace the sentence:
     114{{{
     115#!html
     116<div style="background: #fdd; border-color: #c00; border-style: solid; border-width: 1px">
     117}}}
     118 This declaration introduces a new type constructor T with one or more constituent data constructors K1, ..., Kn.
     119{{{
     120#!html
     121</div>
     122}}}
     123
     124with
     125{{{
     126#!html
     127<div style="background: #dfd; border-color: #c00; border-style: solid; border-width: 1px">
     128}}}
     129 This declaration introduces a new type constructor T with zero or more constituent data constructors K1, ..., Kn.
     130{{{
     131#!html
     132</div>
     133}}}