Add builtin byte test for Rust backend

anoma · Aug 1, 2024 · 7332b98 · 7332b98
1 parent 8c4a1e1
commit 7332b98
Show file tree

Hide file tree

Showing 3 changed files with 14 additions and 2 deletions.
diff --git a/test/Rust/Compilation/Positive.hs b/test/Rust/Compilation/Positive.hs
@@ -344,5 +344,10 @@ tests =
         "Test073: Import and use a syntax alias"
         $(mkRelDir "test073")
         $(mkRelFile "test073.juvix")
-        $(mkRelFile "out/test073.out")
+        $(mkRelFile "out/test073.out"),
+      posTest
+        "Test074: Builtin Byte"
+        $(mkRelDir ".")
+        $(mkRelFile "test074.juvix")
+        $(mkRelFile "out/test074.out")
     ]
diff --git a/tests/Rust/Compilation/positive/out/test074.out b/tests/Rust/Compilation/positive/out/test074.out
@@ -1 +1 @@
--1085550836599839364109196834928521031686932164599479009991927616840761606155
+2
diff --git a/tests/Rust/Compilation/positive/test074.juvix b/tests/Rust/Compilation/positive/test074.juvix
@@ -0,0 +1,7 @@
+module test074;
+
+import Stdlib.Prelude open;
+
+n1 : Byte := Byte.fromNat 0xff;
+
+main : Byte := Byte.fromNat (Byte.toNat 0x103 + Byte.toNat n1);
Original file line number	Diff line number	Diff line change
		@@ -1 +1 @@
		-1085550836599839364109196834928521031686932164599479009991927616840761606155
		2