diff --git a/src/Eval.hs b/src/Eval.hs
index 660b69a08..6dcf42d7c 100644
--- 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))
diff --git a/test/output/test/test-for-errors/nested-empty-list.carp.output.expected b/test/output/test/test-for-errors/nested-empty-list.carp.output.expected
new file mode 100644
index 000000000..091f8fd94
--- /dev/null
+++ b/test/output/test/test-for-errors/nested-empty-list.carp.output.expected
@@ -0,0 +1 @@
+nested-empty-list.carp:2:1 [ERROR] The form: (()) is malformed
diff --git a/test/test-for-errors/nested-empty-list.carp b/test/test-for-errors/nested-empty-list.carp
new file mode 100644
index 000000000..19357e5ef
--- /dev/null
+++ b/test/test-for-errors/nested-empty-list.carp
@@ -0,0 +1,2 @@
+(Project.config "file-path-print-length" "short")
+(())
\ No newline at end of file