Fix most build errors

This commit is contained in:
Andreas Källberg
2020-08-05 17:29:10 +02:00
parent b8812b54b2
commit 0581d6827e
10 changed files with 20 additions and 8 deletions

View File

@@ -237,7 +237,7 @@ isPredefConstant t = case t of
Q (mod,_) | mod == cPredef || mod == cPredefAbs -> True
_ -> False
checkPredefError :: Monad m => Term -> m Term
checkPredefError :: MonadFail m => Term -> m Term
checkPredefError t =
case t of
Error s -> fail ("Error: "++s)