Changes between Version 6 and Version 7 of EmptyDataDecls

Timestamp:

07/24/09 08:04:59 (4 years ago)

Author:

sweirich

Comment:

--

EmptyDataDecls

@@ -4 +4 @@
 
 || Ticket       || #25 ||
-|| Dependencies || names of other proposals on which this one depends   ||
+|| Dependencies || none   ||
 || Related      ||  [[TicketQuery(description~=KindInference)]]      [[TicketQuery(description~=KindAnnotations)]]      [[TicketQuery(description~=InfixTypeConstructors)]] ||
                 
@@ -10 +10 @@
 == Compiler support ==
 
-|| GHC   || [ full (flagname) | partial (flagname) (comments) | none ] ||
-|| nhc98 || [ full (flagname) | partial (flagname) (comments) | none ] ||
-|| Hugs  || [ full (flagname) | partial (flagname) (comments) | none ] ||
-|| UHC   || [ full (flagname) | partial (flagname) (comments) | none ] ||
-|| JHC   || [ full (flagname) | partial (flagname) (comments) | none ] ||
-|| LHC   || [ full (flagname) | partial (flagname) (comments) | none ] ||
+|| GHC   || [ full -fglasgow-exts ] ||
+|| nhc98 || [ none ] ||
+|| Hugs  || [ none ] ||
+|| UHC   || [ none ] ||
+|| JHC   || [ none ] ||
+|| LHC   || [ full -fglasgow-exts ] ||
+
+Information from language documentation only. I haven't tried it on any of these systems.
 
 == Summary ==
@@ -77 +79 @@
 
 == References ==
-
- * [http://www.haskell.org/ghc/docs/latest/html/users_guide/type-extensions.html#nullary-types] GHC documentation.
+ * [http://www.haskell.org/ghc/docs/latest/html/users_guide/data-type-extensions.html#nullary-types] GHC documentation.
 
 == Report Delta ==
 
 The changes to the report necessary to implement the proposal.  Required for a proposal to move to the "accepted" state.
+
+Replace the syntax in [http://www.haskell.org/onlinereport/decls.html] '''4 Declarations and Bindings''':
+{{{
+#!html
+<div style="background: #fdd; border-color: #c00; border-style: solid; border-width: 1px">
+}}}
+ topdecl         ->     ...
+                 |      data [context =>] simpletype = constrs [deriving] 
+{{{
+#!html
+</div>
+}}}
+
+with 
+{{{
+#!html
+<div style="background: #dfd; border-color: #c00; border-style: solid; border-width: 1px">
+}}}
+ topdecl         ->      ...
+                 |      data [context =>] simpletype [= constrs] [deriving] 
+                 
+{{{
+#!html
+</div>
+}}}
+
+Make the same change in the copy of the syntax at the top of 4.2.1 ''Algebraic Datatype Declarations''.
+Also in that section, replace the sentence:
+{{{
+#!html
+<div style="background: #fdd; border-color: #c00; border-style: solid; border-width: 1px">
+}}}
+ This declaration introduces a new type constructor T with one or more constituent data constructors K1, ..., Kn.
+{{{
+#!html
+</div>
+}}}
+
+with 
+{{{
+#!html
+<div style="background: #dfd; border-color: #c00; border-style: solid; border-width: 1px">
+}}}
+ This declaration introduces a new type constructor T with zero or more constituent data constructors K1, ..., Kn.
+{{{
+#!html
+</div>
+}}}