add recursiveNatToString

Author: janmasrovira

Applib/Show.juvix

@@ -0,0 +1,25 @@
+module Applib.Show;
+
+import Stdlib.Prelude open;
+import Stdlib.Math open;
+
+--- non-builtin equivalent of ;natToString;
+terminating
+recursiveNatToString (n : Nat) : String :=
+  let
+    showDigit (d : Nat) : String :=
+      if
+        | d == 0 := "0"
+        | d == 1 := "1"
+        | d == 2 := "2"
+        | d == 3 := "3"
+        | d == 4 := "4"
+        | d == 5 := "5"
+        | d == 6 := "6"
+        | d == 7 := "7"
+        | d == 8 := "8"
+        | d == 9 := "9"
+        | else := "impossible";
+  in if
+    | n < 10 := showDigit n
+    | else := recursiveNatToString (div n 10) ++ showDigit (mod n 10);

BaseLayer/ResourceMachine.juvix

@@ -1,6 +1,7 @@
 module BaseLayer.ResourceMachine;
 
 import BaseLayer.AnomaAtom open public;
+import Applib.Show open;
 import Anoma.Encode open;
 import Stdlib.Debug open;
 import Anoma.Builtin.System open;
@@ -215,7 +216,10 @@ with
       | else :=
         trace "bytearraysize: "
           >-> trace (ByteArray.size b)
-          >-> failwith "Nonce.fromByteArray incorrect size";
+          >-> failwith
+            ("Nonce.fromByteArray incorrect size. Was passed a bytearray with size "
+              ++ recursiveNatToString (ByteArray.size b)
+              ++ ".");
 
   from32SizedByteArray : ByteArray -> Nonce := fromByteArray;