fix: Infinite loop when evaluating (()) (carp-lang#1427)

Evaluation of `(())` is treated as a malformed expression rather than causing an infinite loop
Gavinok · Feb 2, 2023 · 84bfdcf · 84bfdcf
1 parent ca5774b
commit 84bfdcf
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/Eval.hs b/src/Eval.hs
@@ -394,6 +394,7 @@ eval ctx xobj@(XObj o info ty) preference resolver =
     evaluateApp :: Evaluator
     evaluateApp (AppPat f' args) =
       case f' of
+        (ListPat []) -> pure (evalError ctx (format (GenericMalformed xobj)) (xobjInfo xobj))
         l@(ListPat _) -> go l ResolveLocal
         sym@(SymPat _ _) -> go sym resolver
         _ -> pure (evalError ctx (format (GenericMalformed xobj)) (xobjInfo xobj))