About rules

[Josef Svenningsson]

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:

{-# RULES
    "plus/mult" forall p . p + p = 2 * p
#-}

whereas the following is allright:

{-# RULES
    "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?

Cheers,
	/Josef