Commit 4297c94e authored by simonpj's avatar simonpj
Browse files

[project @ 2001-05-03 08:09:52 by simonpj]

More to allow infix exprssions on LHS of rule
parent 88afc54a
......@@ -838,6 +838,7 @@ not one of the @forall@'d variables.
validRuleLhs foralls lhs
= check lhs
where
check (OpApp _ op _ _) = check op
check (HsApp e1 e2) = check e1
check (HsVar v) | v `notElem` foralls = True
check other = False
......@@ -882,7 +883,7 @@ badRuleLhsErr name lhs
ptext SLIT("LHS must be of form (f e1 .. en) where f is not forall'd")
badRuleVar name var
= sep [ptext SLIT("Rule") <+> ptext name <> colon,
= sep [ptext SLIT("Rule") <+> doubleQuotes (ptext name) <> colon,
ptext SLIT("Forall'd variable") <+> quotes (ppr var) <+>
ptext SLIT("does not appear on left hand side")]
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment