@@ -375,7 +375,7 @@ pSyntaxRule syn
375 when (length ns /= length (nub ns))
375 when (length ns /= length (nub ns))
376 $ fail "Repeated variable in syntax rule"
376 $ fail "Repeated variable in syntax rule"
377 lchar '='
377 lchar '='
378− tm <- pExpr syn
378+ tm <- pExpr (impOK syn)
379 pTerminator
379 pTerminator
380 return (Rule (mkSimple syms) tm sty)
380 return (Rule (mkSimple syms) tm sty)