Changes between Version 8 and Version 9 of InfixTypeConstructors


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

--

Legend:

Unmodified
Added
Removed
Modified
  • InfixTypeConstructors

    v8 v9  
    7979== Cons ==
    8080
    81 * If operators are type constructors, they can't also be type variables.  I know one place where people use a type variable that is an operator. Something like this.
     81 * If operators are type constructors, they can't also be type variables.  I know one place where people use a type variable that is an operator. Something like this.
    8282{{{
    8383        data T (~>) = MkT (Int ~> Int)