Re: infix functions with patterns

> (*adds cartesian coordinates*)
> infix CarcAdd
> fun (CarC(X(x1),Y(y1)) CarCAdd CarC(X(x2),Y(y2))) = CarC(X(x1+x2),Y(y1+y2))

You infix the identifier 'CarcAdd', but the function declaration uses the 
identifier 'CarCAdd'.  So, indeed, 'CarCAdd' is not infix.

-Matthew


------------------------------------------------------------------------------
Throughout its 18-year history, RSA Conference consistently attracts the
world's best and brightest in the field, creating opportunities for Conference
attendees to learn about information security's most important issues through
interactions with peers, luminaries and emerging and established companies.
http://p.sf.net/sfu/rsaconf-dev2dev