| ... | ... | @@ -56,14 +56,6 @@ And `type` gets an extra production: |
|
|
|
(modulo [FixityResolution](fixity-resolution)). Also, there are obvious changes to the grammar for `type`, `data`, and `newtype` declarations.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Some people use constructors (think of the type a+b). Mirroring this in Haskell would make the transcription more elegantly direct.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
I can't think of any down-sides, except the slight loss of consistency ("the hobgoblin of tiny minds").
|
|
|
|
|
|
|
|
|
|
|
|
## Observations
|
|
|
|
|
|
|
|
|
| ... | ... | |
