5 Apr
2001
5 Apr
'01
11:28 a.m.
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