Added cardinality to type checking

2026-03-18 13:00:08 +00:00 · 2021-12-01 01:40:45 +01:00
parent 9210c78beb
commit a61d547278
1 changed files with 1 additions and 1 deletions
--- a/src/Semantic/ExpressionChecker.hs
+++ b/src/Semantic/ExpressionChecker.hs
@@ -94,7 +94,7 @@ checkExpression symbolMap (IfSimple cond ex)
            -- |The unbounded or semi-bounded cardinalities already have 0 included
            Right x -> Right x
            Left err -> Left err
-    | otherwise = Left $ IfConditionNotBoolean $ show condType ++ " | " ++ show (getVars symbolMap)
+    | otherwise = Left $ IfConditionNotBoolean $ show condType
    where 
        condType = checkExpression symbolMap cond
        checkedExp = checkExpression symbolMap ex