Increase AnomaLib Layer Depth for v0.30

Anoma v0.30 introduces new layers to the standard library. Therefore there is a need to increase the layer depth references for functions calls.
anoma · Jan 14, 2025 · c8447ec · c8447ec
1 parent f0454d6
commit c8447ec
Showing 1 changed file with 23 additions and 23 deletions.
diff --git a/src/Juvix/Compiler/Nockma/AnomaLib.hs b/src/Juvix/Compiler/Nockma/AnomaLib.hs
@@ -23,43 +23,43 @@ anomaLib =
 anomaLibPath :: AnomaLib -> Term Natural
 anomaLibPath = \case
   AnomaLibFunction (AnomaStdlibFunction f) -> case f of
-    StdlibDec -> [nock| [9 342 0 511] |]
-    StdlibAdd -> [nock| [9 20 0 511] |]
-    StdlibSub -> [nock| [9 47 0 511] |]
-    StdlibMul -> [nock| [9 4 0 511] |]
-    StdlibDiv -> [nock| [9 170 0 511] |]
-    StdlibMod -> [nock| [9 46 0 511] |]
-    StdlibLe -> [nock| [9 84 0 511] |]
-    StdlibLt -> [nock| [9 343 0 511] |]
+    StdlibDec -> [nock| [9 342 0 4.095] |]
+    StdlibAdd -> [nock| [9 20 0 4.095] |]
+    StdlibSub -> [nock| [9 47 0 4.095] |]
+    StdlibMul -> [nock| [9 4 0 4.095] |]
+    StdlibDiv -> [nock| [9 170 0 4.095] |]
+    StdlibMod -> [nock| [9 46 0 4.095] |]
+    StdlibLe -> [nock| [9 84 0 4.095] |]
+    StdlibLt -> [nock| [9 343 0 4.095] |]
     -- pow2 is called bex in hoon
-    StdlibPow2 -> [nock| [9 4 0 63] |]
+    StdlibPow2 -> [nock| [9 4 0 511] |]
     -- encode is called jam in hoon
-    StdlibEncode -> [nock| [9 22 0 31] |]
+    StdlibEncode -> [nock| [9 22 0 255] |]
     -- decode is called cue in hoon
-    StdlibDecode -> [nock| [9 94 0 31] |]
+    StdlibDecode -> [nock| [9 94 0 255] |]
     -- verifyDetached is called verify-detatched in hoon
-    StdlibVerifyDetached -> [nock| [9 22 0 15] |]
-    StdlibSign -> [nock| [9 10 0 15] |]
-    StdlibSignDetached -> [nock| [9 23 0 15] |]
-    StdlibVerify -> [nock| [9 4 0 15] |]
-    StdlibLengthList -> [nock| [9 1.406 0 255] |]
-    StdlibCurry -> [nock| [9 4 0 255] |]
+    StdlibVerifyDetached -> [nock| [9 22 0 127] |]
+    StdlibSign -> [nock| [9 10 0 127] |]
+    StdlibSignDetached -> [nock| [9 23 0 127] |]
+    StdlibVerify -> [nock| [9 4 0 127] |]
+    StdlibLengthList -> [nock| [9 1.406 0 2.047] |]
+    StdlibCurry -> [nock| [9 4 0 2.047] |]
     -- sha256 is called shax in hoon
-    StdlibSha256 -> [nock| [9 22 0 7] |]
+    StdlibSha256 -> [nock| [9 22 0 63] |]
     -- Obtained from the urbit dojo using:
     --
     -- =>  rm  !=(~(met block 3))
     --
     -- The `3` here is because we want to treat each atom as sequences of 2^3
     -- bits, i.e bytes.
-    StdlibLengthBytes -> [nock| [8 [9 10 0 63] 9 190 10 [6 7 [0 3] 1 3] 0 2] |]
+    StdlibLengthBytes -> [nock| [8 [9 10 0 511] 9 190 10 [6 7 [0 3] 1 3] 0 2] |]
     -- Obtained from the urbit dojo using:
     --
     -- =>  rm  !=(~(cat block 3))
     --
     -- The `3` here is because we want to treat each atom as sequences of 2^3
     -- bits, i.e bytes.
-    StdlibCatBytes -> [nock| [8 [9 10 0 63] 9 4 10 [6 7 [0 3] 1 3] 0 2] |]
+    StdlibCatBytes -> [nock| [8 [9 10 0 511] 9 4 10 [6 7 [0 3] 1 3] 0 2] |]
     -- Obtained from the urbit dojo using:
     --
     -- =>(rm !=(|=([l=(list @)] (foldr l |=([fst=@ snd=@] (add (~(lsh block 3) 1 snd) fst))))))
@@ -71,7 +71,7 @@ anomaLibPath = \case
                 [1 0]
                 [ 1
                   8
-                  [9 46 0 1.023]
+                  [9 46 0 8.191]
                   9
                   2
                   10
@@ -81,7 +81,7 @@ anomaLibPath = \case
                     [0 3]
                     8
                     [1 0 0]
-                    [1 8 [9 20 0 8.191] 9 2 10 [6 [7 [0 3] 8 [8 [9 10 0 1.023] 9 90 10 [6 7 [0 3] 1 3] 0 2] 9 2 10 [6 [7 [0 3] 1 1] 0 29] 0 2] 0 28] 0 2]
+                    [1 8 [9 20 0 65.535] 9 2 10 [6 [7 [0 3] 8 [8 [9 10 0 8.191] 9 90 10 [6 7 [0 3] 1 3] 0 2] 9 2 10 [6 [7 [0 3] 1 1] 0 29] 0 2] 0 28] 0 2]
                     0
                     1
                   ]
@@ -95,7 +95,7 @@ anomaLibPath = \case
     -- Obtained from the urbit dojo using:
     --
     -- =>  rm  !=  |=  [seed=@]  ~(. og seed)
-    StdlibRandomInitGen -> [nock| [8 [1 0] [1 8 [9 47 0 31] 10 [6 0 14] 0 2] 0 1] |]
+    StdlibRandomInitGen -> [nock| [8 [1 0] [1 8 [9 47 0 255] 10 [6 0 14] 0 2] 0 1] |]
     -- obtained from the urbit dojo using:
     --
     -- =>  rm  !=  |=  [rng=* width=@]   (raws:`_og`rng width)