I am trying Rules with ghc-CVS-June-end-1999:
module T where
{-# RULES "T" forall x. (True || x) = True #-}
f = True || False
ghc -c -O -fglasgow-exts t.hs
yields
Rule T: Illegal left-hand side: (True || x)
LHS must be of form (f e1 .. en) where f is not forall'd
I could not invent any simplest Rule to pass the compilation.
------------------
Sergey Mechveliani
[EMAIL PROTECTED]
