Changes between Version 6 and Version 7 of InfixTypeConstructors


Ignore:
Timestamp:
Oct 9, 2008 7:56:22 AM (7 years ago)
Author:
simonpj@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • InfixTypeConstructors

    v6 v7  
    3434(modulo FixityResolution).  Also, there are obvious changes to the grammar for {{{type}}}, {{{data}}}, and {{{newtype}}} declarations.
    3535
    36 Some people use  constructors (think of the type a+b).  Mirroring this in Haskell would make the transcription more elegantly direct.
    37 
    38 I can't think of any down-sides, except the slight loss of consistency ("the hobgoblin of tiny minds").
    3936
    4037== Observations ==