Add anoma-verify-detached to tree parser

anoma · May 17, 2024 · 0e8e4cb · 0e8e4cb
1 parent 1d5e76c
commit 0e8e4cb
Show file tree

Hide file tree

Showing 5 changed files with 17 additions and 1 deletion.
diff --git a/src/Juvix/Compiler/Tree/Keywords.hs b/src/Juvix/Compiler/Tree/Keywords.hs
@@ -12,6 +12,7 @@ import Juvix.Data.Keyword.All
     kwAnomaDecode,
     kwAnomaEncode,
     kwAnomaGet,
+    kwAnomaVerifyDetached,
     kwArgsNum,
     kwAtoi,
     kwBr,
@@ -78,6 +79,7 @@ allKeywords =
          kwAnomaGet,
          kwAnomaDecode,
          kwAnomaEncode,
+         kwAnomaVerifyDetached,
          kwPoseidon,
          kwEcOp,
          kwRandomEcPoint

diff --git a/src/Juvix/Compiler/Tree/Translation/FromSource.hs b/src/Juvix/Compiler/Tree/Translation/FromSource.hs
@@ -126,6 +126,7 @@ parseAnoma =
   parseAnoma' kwAnomaGet OpAnomaGet
     <|> parseAnoma' kwAnomaDecode OpAnomaDecode
     <|> parseAnoma' kwAnomaEncode OpAnomaEncode
+    <|> parseAnoma' kwAnomaVerifyDetached OpAnomaVerifyDetached
 
 parseAnoma' ::
   (Members '[Reader ParserSig, InfoTableBuilder, State LocalParams] r) =>

diff --git a/src/Juvix/Data/Keyword/All.hs b/src/Juvix/Data/Keyword/All.hs
@@ -6,6 +6,7 @@ where
 
 import Juvix.Data.Keyword
 import Juvix.Extra.Strings qualified as Str
+import Juvix.Extra.Strings qualified as Std
 
 kwAs :: Keyword
 kwAs = asciiKw Str.as
@@ -451,6 +452,9 @@ kwAnomaDecode = asciiKw Str.anomaDecode
 kwAnomaEncode :: Keyword
 kwAnomaEncode = asciiKw Str.anomaEncode
 
+kwAnomaVerifyDetached :: Keyword
+kwAnomaVerifyDetached = asciiKw Std.anomaVerifyDetached
+
 delimBraceL :: Keyword
 delimBraceL = mkDelim Str.braceL
 

diff --git a/test/Tree/Transformation/CheckNoAnoma.hs b/test/Tree/Transformation/CheckNoAnoma.hs
@@ -71,5 +71,9 @@ tests =
     Eval.NegTest
       "anomaEncode"
       $(mkRelDir ".")
-      $(mkRelFile "test011.jvt")
+      $(mkRelFile "test011.jvt"),
+    Eval.NegTest
+      "anomaVerifyDetached"
+      $(mkRelDir ".")
+      $(mkRelFile "test012.jvt")
   ]
diff --git a/tests/Tree/negative/test012.jvt b/tests/Tree/negative/test012.jvt
@@ -0,0 +1,5 @@
+-- calling unsupported anoma-verify-detached
+
+function main() : * {
+  anoma-verify-detached(1,2,3)
+}