Infix type and function definitions
simonpj at microsoft.com
Fri Apr 18 10:49:24 EDT 2008
| Just to clarify, issues of what names can be used for
| type constructors aside, are you proposing dropping
| infix syntax for defining functions, but retaining infix
| syntax for defining types (and type families etc.)?
| Or would the last example have to be written
| data (+) a b = Left a | Right b
I *am* proposing that varsyms become type *constructors* not type *variables*.
I can see arguments both ways for allowing definitions in infix form, and I don't have a strong position either way.
More information about the Haskell-prime