About rules

Josef Svenningsson josefs@cs.chalmers.se
Thu, 5 Apr 2001 17:28:40 +0200 (MET DST)

Hi all!

I've been playing around with the rules facility a bit. There is a boring
shortcoming when working with infix operators. It seems that the rule
parser doesn't like them at all. The following example gives syntax error:

    "plus/mult" forall p . p + p = 2 * p

whereas the following is allright:

    "plus/mult" forall p . (+) p p = (*) 2 p

It's not a big problem, but it's rather inconvenient and ugly. Is it easy
to fix?