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}}}