Changes between Version 7 and Version 8 of InfixTypeConstructors


Ignore:
Timestamp:
Oct 9, 2008 7:57:39 AM (6 years ago)
Author:
simonpj@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • InfixTypeConstructors

    v7 v8  
    1717        data a :+ b = Left a | Right b 
    1818}}} 
    19 Yuk. '''So I propose that varsyms can be used as type constructors, and not as type variables.''' 
     19Yuk. So I propose that varsyms can be used as type constructors, and not as type variables. 
    2020 
    2121Changes to the syntax may depend on whether CompositionAsDot is adopted, but roughly speaking we add