X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=sem.icl;h=8dff5482cedf75798d1dc64054076ce438fcf45f;hb=eebf260cfb0f6fa5c97250dabd50e7b98281a381;hp=0335e74d763e3cf2575046282805c6d8da310791;hpb=b6c2892b454651c4f3b2412d5b36f273ef6a3128;p=cc1516.git

diff --git a/sem.icl b/sem.icl
index 0335e74..8dff548 100644
--- a/sem.icl
+++ b/sem.icl
@@ -118,9 +118,6 @@ checkStmt t r=:(FunStmt (FunCall f es)) = typeFun f es >>| pure r
 checkStmt VoidType r=:(ReturnStmt Nothing) = pure r
 checkStmt t r=:(ReturnStmt (Just e)) = unify t e >>| pure r
 
-all :: [Bool] -> Bool
-all as = foldr (&&) True as
-
 typeExpr :: Expr -> Env Type
 typeExpr (IntExpr _ _) = pure IntType
 typeExpr (CharExpr _ _) = pure CharType