Changes between Version 8 and Version 9 of InfixTypeConstructors


Ignore:
Timestamp:
Oct 9, 2008 7:57:54 AM (6 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)