Changes between Version 8 and Version 9 of InfixTypeConstructors
- Timestamp:
- 10/09/08 00:57:54 (5 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
InfixTypeConstructors
v8 v9 79 79 == Cons == 80 80 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. 82 82 {{{ 83 83 data T (~>) = MkT (Int ~> Int)
