Clean up before merge

SophieBosio · Apr 9, 2024 · 3378632 · 3378632
1 parent b7e2c7a
commit 3378632
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 3 deletions.
diff --git a/examples/simple/variousTerms.con b/examples/simple/variousTerms.con
@@ -45,7 +45,6 @@ and True  True  = True  .
 and True  False = False .
 and False True  = False .
 and False False = False .
-and x     y     = False .
 
 or False False = False .
 or x     y     = True  .
@@ -60,7 +59,6 @@ caseOfADT x = case x of
   ; (D {w, z}) -> and w z
   ; u          -> True .
 
-
 numIntoADT :: Integer -> Example .
 numIntoADT x = C {x} .
 

diff --git a/src/Semantics/PartialEvaluator.hs b/src/Semantics/PartialEvaluator.hs
@@ -212,7 +212,7 @@ function :: Show a => Term a -> PartialState (Term a -> Term a)
 function (Lambda p t _) =
   do notAtTopLevel p
      return $ substitute p t
-function t = error $ "expected a function, but got " ++ show t
+function t = error $ "Expected a function, but got the term '" ++ show t ++ "'"
 
 notAtTopLevel :: Pattern a -> PartialState ()
 notAtTopLevel (Variable x _) =