... | ... | @@ -8,7 +8,7 @@ |
|
|
<th> [\#25](https://gitlab.haskell.org//haskell/prime/issues/25)
|
|
|
</th></tr>
|
|
|
<tr><th> Dependencies </th>
|
|
|
<th> names of other proposals on which this one depends
|
|
|
<th> none
|
|
|
</th></tr>
|
|
|
<tr><th> Related </th>
|
|
|
<th>
|
... | ... | @@ -39,25 +39,29 @@ |
|
|
|
|
|
|
|
|
<table><tr><th> GHC </th>
|
|
|
<th> \[ full (flagname) \| partial (flagname) (comments) \| none \]
|
|
|
<th> \[ full -fglasgow-exts \]
|
|
|
</th></tr>
|
|
|
<tr><th> nhc98 </th>
|
|
|
<th> \[ full (flagname) \| partial (flagname) (comments) \| none \]
|
|
|
<th> \[ none \]
|
|
|
</th></tr>
|
|
|
<tr><th> Hugs </th>
|
|
|
<th> \[ full (flagname) \| partial (flagname) (comments) \| none \]
|
|
|
<th> \[ none \]
|
|
|
</th></tr>
|
|
|
<tr><th> UHC </th>
|
|
|
<th> \[ full (flagname) \| partial (flagname) (comments) \| none \]
|
|
|
<th> \[ none \]
|
|
|
</th></tr>
|
|
|
<tr><th> JHC </th>
|
|
|
<th> \[ full (flagname) \| partial (flagname) (comments) \| none \]
|
|
|
<th> \[ none \]
|
|
|
</th></tr>
|
|
|
<tr><th> LHC </th>
|
|
|
<th> \[ full (flagname) \| partial (flagname) (comments) \| none \]
|
|
|
<th> \[ full -fglasgow-exts \]
|
|
|
</th></tr></table>
|
|
|
|
|
|
|
|
|
|
|
|
Information from language documentation only. I haven't tried it on any of these systems.
|
|
|
|
|
|
|
|
|
## Summary
|
|
|
|
|
|
|
... | ... | @@ -133,7 +137,7 @@ syntactically. But the point is that there is a choice. |
|
|
## References
|
|
|
|
|
|
|
|
|
- [ http://www.haskell.org/ghc/docs/latest/html/users_guide/type-extensions.html\#nullary-types](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](http://www.haskell.org/ghc/docs/latest/html/users_guide/data-type-extensions.html#nullary-types) GHC documentation.
|
|
|
|
|
|
## Report Delta
|
|
|
|
... | ... | @@ -142,3 +146,68 @@ syntactically. But the point is that there is a choice. |
|
|
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](http://www.haskell.org/onlinereport/decls.html) **4 Declarations and Bindings**:
|
|
|
|
|
|
|
|
|
|
|
|
>
|
|
|
>
|
|
|
> topdecl → …
|
|
|
>
|
|
|
>
|
|
|
> >
|
|
|
> >
|
|
|
> > \| data \[context ⇒\] simpletype = constrs \[deriving\]
|
|
|
> >
|
|
|
> >
|
|
|
> >
|
|
|
>
|
|
|
|
|
|
|
|
|
with
|
|
|
|
|
|
|
|
|
|
|
|
>
|
|
|
>
|
|
|
> topdecl → …
|
|
|
>
|
|
|
>
|
|
|
> >
|
|
|
> >
|
|
|
> > \| data \[context ⇒\] simpletype \[= constrs\] \[deriving\]
|
|
|
> >
|
|
|
> >
|
|
|
>
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
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:
|
|
|
|
|
|
|
|
|
|
|
|
>
|
|
|
>
|
|
|
> This declaration introduces a new type constructor T with one or more constituent data constructors K1, …, Kn.
|
|
|
>
|
|
|
>
|
|
|
>
|
|
|
|
|
|
|
|
|
with
|
|
|
|
|
|
|
|
|
|
|
|
>
|
|
|
>
|
|
|
> This declaration introduces a new type constructor T with zero or more constituent data constructors K1, …, Kn.
|
|
|
>
|
|
|
>
|
|
|
>
|
|
|
|