fix: Add error message for constant inside compound-expr.

TokTok · Jan 22, 2024 · c29231a · c29231a
1 parent 7102c95
commit c29231a
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 0 deletions.
diff --git a/src/Language/Cimple/DescribeAst.hs b/src/Language/Cimple/DescribeAst.hs
@@ -148,6 +148,7 @@ describeExpected options
     | wants ["ID_FUNC_TYPE", "non_null", "static", "'#include'"] = "top-level declaration or definition"
     | options == ["ID_STD_TYPE", "ID_SUE_TYPE", "struct", "void"] = "type specifier"
     | options == ["ID_STD_TYPE", "ID_SUE_TYPE", "const", "struct", "void"] = "type specifier"
+    | options == ["ID_CONST", "ID_VAR", "LIT_CHAR", "LIT_FALSE", "LIT_INTEGER", "'{'"] = "constant or literal"
     | ["ID_FUNC_TYPE", "ID_STD_TYPE", "ID_SUE_TYPE", "ID_VAR"] `isPrefixOf` options = "type specifier or variable name"
     | ["ID_FUNC_TYPE", "ID_STD_TYPE", "ID_SUE_TYPE", "const"] `isPrefixOf` options = "type specifier"
     | ["ID_CONST", "sizeof", "LIT_CHAR", "LIT_FALSE", "LIT_TRUE", "LIT_INTEGER"] `isPrefixOf` options = "constant expression"

diff --git a/test/Language/Cimple/DescribeAstSpec.hs b/test/Language/Cimple/DescribeAstSpec.hs
@@ -36,6 +36,9 @@ spec = do
             expected parseText "int a() { int }" `shouldBe`
                 "expected variable name"
 
+            expected parseStmt "(int){" `shouldBe`
+                "expected constant or literal"
+
         it "has suggestions for any sequence of tokens in top level" $ do
             property $ \tokens ->
                 expected parseText (Text.intercalate " " (map sampleToken tokens)) `shouldNotContain`