In some simple cases, the compiler could detect that the order of application matters for rule that will be applied. For example:

Foo: Int(…) -> 0
Foo : x -> …

If there is a where clause, or the term on the rhs or lhs contains term wraps, than there is not much the compiler can do. However, for simple cases this would still be nice to have.

Submitted on 2 November 2006 at 21:38