24 Dec
2004
24 Dec
'04
11:08 a.m.
On Fri, Dec 24, 2004 at 03:14:34PM +0000, Jules Bean wrote:
It's a data constructor, written infix. Infix constructors all begin with ':', I think.
Yes, but you can also use prefix, alphanumeric constructors as infix by placing them in backticks. This can be nice sometimes: data Expr = ... | Expr `In` [Expr] | Expr `And` Expr | Expr `Or` Expr ... case e of e1 `In` es -> ... Best regards, Tomasz