add missing operations

anoma · Sep 11, 2024 · f373cb7 · f373cb7
1 parent d7905b2
commit f373cb7
Show file tree

Hide file tree

Showing 3 changed files with 19 additions and 1 deletion.
diff --git a/src/Juvix/Compiler/Tree/Keywords.hs b/src/Juvix/Compiler/Tree/Keywords.hs
@@ -36,6 +36,8 @@ import Juvix.Data.Keyword.All
     kwFieldDiv,
     kwFieldMul,
     kwFieldSub,
+    kwFieldToInt,
+    kwIntToField,
     kwIntToUInt8,
     kwLe_,
     kwLt_,
@@ -49,6 +51,7 @@ import Juvix.Data.Keyword.All
     kwStrcat,
     kwSub_,
     kwTrace,
+    kwUInt8ToInt,
   )
 import Juvix.Prelude
 
@@ -98,5 +101,8 @@ allKeywords =
          kwRandomEcPoint,
          kwByteArrayLength,
          kwByteArrayFromListUInt8,
-         kwIntToUInt8
+         kwIntToUInt8,
+         kwUInt8ToInt,
+         kwIntToField,
+         kwFieldToInt
        ]
diff --git a/src/Juvix/Compiler/Tree/Translation/FromSource.hs b/src/Juvix/Compiler/Tree/Translation/FromSource.hs
@@ -110,6 +110,9 @@ parseUnop =
     <|> parseUnaryOp kwFail OpFail
     <|> parseUnaryOp kwArgsNum (PrimUnop OpArgsNum)
     <|> parseUnaryOp kwIntToUInt8 (PrimUnop OpIntToUInt8)
+    <|> parseUnaryOp kwUInt8ToInt (PrimUnop OpUInt8ToInt)
+    <|> parseUnaryOp kwIntToField (PrimUnop OpIntToField)
+    <|> parseUnaryOp kwFieldToInt (PrimUnop OpFieldToInt)
 
 parseUnaryOp ::
   (Members '[Reader ParserSig, InfoTableBuilder, State LocalParams] r) =>

diff --git a/src/Juvix/Data/Keyword/All.hs b/src/Juvix/Data/Keyword/All.hs
@@ -286,6 +286,15 @@ kwArgsNum = asciiKw Str.instrArgsNum
 kwIntToUInt8 :: Keyword
 kwIntToUInt8 = asciiKw Str.instrIntToUInt8
 
+kwUInt8ToInt :: Keyword
+kwUInt8ToInt = asciiKw Str.instrUInt8ToInt
+
+kwIntToField :: Keyword
+kwIntToField = asciiKw Str.instrIntToField
+
+kwFieldToInt :: Keyword
+kwFieldToInt = asciiKw Str.instrFieldToInt
+
 kwByteArrayFromListUInt8 :: Keyword
 kwByteArrayFromListUInt8 = asciiKw Str.instrByteArrayFromListUInt8