Improved isEqual semantics

1fae3284 · pm3g19 · 3f39c806 · 1fae3284
Commit 1fae3284 authored Apr 29, 2021 by pm3g19
Hide whitespace changes
Inline Side-by-side

Showing with 3 additions and 2 deletions

Eval.hs Eval.hs +3 -2

No files found.
--- a/Eval.hs
+++ b/Eval.hs
@@ -26,8 +26,9 @@ eval env expr = let (eval', evalFull') = (eval env, evalFull env) in case expr o
                ([Set records], [lambda]) -> Set (map (\record -> eval' $ FuncCall lambda [] [record]) records)
                _ -> error "Map argument error"

-            IsEqual -> let (e1:e2:_) = args' in -- TODO not sufficent.
-                Boolean (e1 == e2)
+            IsEqual -> case args' of -- TODO not sufficent.
+                [e1, e2] -> Boolean (e1 == e2)
+                _ -> "isEqual argument error"
            
            XProduct -> case inputSets' of
                [(Set l1), (Set l2)] -> Set $ [ x `concatRecord` y | x <- l1, y <- l2]