v3

titzer · Oct 2, 2024 · 598f510 · 598f510
1 parent 766748d
commit 598f510
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/aeneas/src/v3/V3.v3 b/aeneas/src/v3/V3.v3
@@ -152,6 +152,14 @@ component V3 {
 			return buf;
 		}
 		match (val) {
+			x: Box<u1> => buf.putd(x.val);
+			x: Box<u2> => buf.putd(x.val);
+			x: Box<u3> => buf.putd(x.val);
+			x: Box<u4> => buf.putd(x.val);
+			x: Box<u5> => buf.putd(x.val);
+			x: Box<u6> => buf.putd(x.val);
+			x: Box<i12> => buf.putd(x.val);
+			x: Box<short> => buf.putd(x.val);
 			x: Box<int> => buf.putd(x.val);
 			x: Box<long> => buf.putd(x.val).putc('L');
 			x: Box<bool> => buf.putz(x.val);