syntactical operator tests

tests/compiler/integers/i128/and.leo

@@ -0,0 +1,9 @@
+/*
+namespace: Compile
+expectation: Pass
+input_file: inputs/add.in
+*/
+
+function main(a: i128, b: i128, c: i128) -> bool {
+    return a & b == c;
+}

tests/compiler/integers/i128/or.leo

@@ -0,0 +1,9 @@
+/*
+namespace: Compile
+expectation: Pass
+input_file: inputs/add.in
+*/
+
+function main(a: i128, b: i128, c: i128) -> bool {
+    return a | b == c;
+}

tests/compiler/integers/i128/pow.leo

@@ -1,9 +1,9 @@
 /*
 namespace: Compile
-expectation: Fail
+expectation: Pass
 input_file: inputs/pow.in
 */
 
 function main(a: i128, b: i128, c: i128) -> bool {
-    return a ** b == c;
+    return a ** 2u8 == a ** 2u16 && a ** 2u32 == c;
 }

tests/compiler/integers/i128/shl.leo

@@ -0,0 +1,9 @@
+/*
+namespace: Compile
+expectation: Pass
+input_file: inputs/add.in
+*/
+
+function main(a: i128, b: i128, c: i128) -> bool {
+    return a << 2u8 == a << 2u16 && a << 2u32 == c;
+}

tests/compiler/integers/i128/shr.leo

@@ -0,0 +1,9 @@
+/*
+namespace: Compile
+expectation: Pass
+input_file: inputs/add.in
+*/
+
+function main(a: i128, b: i128, c: i128) -> bool {
+    return a >> 2u8 == a >> 2u16 && a >> 2u32 == c;
+}

tests/compiler/integers/i128/xor.leo

@@ -0,0 +1,9 @@
+/*
+namespace: Compile
+expectation: Pass
+input_file: inputs/add.in
+*/
+
+function main(a: i128, b: i128, c: i128) -> bool {
+    return a ^ 2u8 == a ^ 2u16 && a ^ 2u32 == c;
+}

tests/compiler/integers/i16/and.leo

@@ -0,0 +1,9 @@
+/*
+namespace: Compile
+expectation: Pass
+input_file: inputs/add.in
+*/
+
+function main(a: i16, b: i16, c: i16) -> bool {
+    return a & b == c;
+}

tests/compiler/integers/i16/or.leo

@@ -0,0 +1,9 @@
+/*
+namespace: Compile
+expectation: Pass
+input_file: inputs/add.in
+*/
+
+function main(a: i16, b: i16, c: i16) -> bool {
+    return a | b == c;
+}

tests/compiler/integers/i16/pow.leo

@@ -1,9 +1,9 @@
 /*
 namespace: Compile
-expectation: Fail
+expectation: Pass
 input_file: inputs/pow.in
 */
 
 function main(a: i16, b: i16, c: i16) -> bool {
-    return a ** b == c;
+    return a ** 2u8 == a ** 2u16 && a ** 2u32 == c;
 }

tests/compiler/integers/i16/shl.leo

@@ -0,0 +1,9 @@
+/*
+namespace: Compile
+expectation: Pass
+input_file: inputs/add.in
+*/
+
+function main(a: i16, b: i16, c: i16) -> bool {
+    return a << 2u8 == a << 2u16 && a << 2u32 == c;
+}

tests/compiler/integers/i16/shr.leo

@@ -0,0 +1,9 @@
+/*
+namespace: Compile
+expectation: Pass
+input_file: inputs/add.in
+*/
+
+function main(a: i16, b: i16, c: i16) -> bool {
+    return a >> 2u8 == a >> 2u16 && a >> 2u32 == c;
+}

tests/compiler/integers/i16/xor.leo

@@ -0,0 +1,9 @@
+/*
+namespace: Compile
+expectation: Pass
+input_file: inputs/add.in
+*/
+
+function main(a: i16, b: i16, c: i16) -> bool {
+    return a ^ 2u8 == a ^ 2u16 && a ^ 2u32 == c;
+}

tests/compiler/integers/i32/and.leo

@@ -0,0 +1,9 @@
+/*
+namespace: Compile
+expectation: Pass
+input_file: inputs/add.in
+*/
+
+function main(a: i32, b: i32, c: i32) -> bool {
+    return a & b == c;
+}

tests/compiler/integers/i32/or.leo

@@ -0,0 +1,9 @@
+/*
+namespace: Compile
+expectation: Pass
+input_file: inputs/add.in
+*/
+
+function main(a: i32, b: i32, c: i32) -> bool {
+    return a | b == c;
+}

tests/compiler/integers/i32/pow.leo

@@ -1,9 +1,9 @@
 /*
 namespace: Compile
-expectation: Fail
+expectation: Pass
 input_file: inputs/pow.in
 */
 
 function main(a: i32, b: i32, c: i32) -> bool {
-    return a ** b == c;
+    return a ** 2u8 == a ** 2u16 && a ** 2u32 == c;
 }

tests/compiler/integers/i32/shl.leo

@@ -0,0 +1,9 @@
+/*
+namespace: Compile
+expectation: Pass
+input_file: inputs/add.in
+*/
+
+function main(a: i32, b: i32, c: i32) -> bool {
+    return a << 2u8 == a << 2u16 && a << 2u32 == c;
+}

tests/compiler/integers/i32/shr.leo

@@ -0,0 +1,9 @@
+/*
+namespace: Compile
+expectation: Pass
+input_file: inputs/add.in
+*/
+
+function main(a: i32, b: i32, c: i32) -> bool {
+    return a >> 2u8 == a >> 2u16 && a >> 2u32 == c;
+}

tests/compiler/integers/i32/xor.leo

@@ -0,0 +1,9 @@
+/*
+namespace: Compile
+expectation: Pass
+input_file: inputs/add.in
+*/
+
+function main(a: i32, b: i32, c: i32) -> bool {
+    return a ^ 2u8 == a ^ 2u16 && a ^ 2u32 == c;
+}

tests/compiler/integers/i64/and.leo

@@ -0,0 +1,9 @@
+/*
+namespace: Compile
+expectation: Pass
+input_file: inputs/add.in
+*/
+
+function main(a: i64, b: i64, c: i64) -> bool {
+    return a & b == c;
+}

tests/compiler/integers/i64/or.leo

@@ -0,0 +1,9 @@
+/*
+namespace: Compile
+expectation: Pass
+input_file: inputs/add.in
+*/
+
+function main(a: i64, b: i64, c: i64) -> bool {
+    return a | b == c;
+}

tests/compiler/integers/i64/pow.leo

@@ -1,9 +1,9 @@
 /*
 namespace: Compile
-expectation: Fail
+expectation: Pass
 input_file: inputs/pow.in
 */
 
 function main(a: i64, b: i64, c: i64) -> bool {
-    return a ** b == c;
+    return a ** 2u8 == a ** 2u16 && a ** 2u32 == c;
 }

tests/compiler/integers/i64/shl.leo

@@ -0,0 +1,9 @@
+/*
+namespace: Compile
+expectation: Pass
+input_file: inputs/add.in
+*/
+
+function main(a: i64, b: i64, c: i64) -> bool {
+    return a << 2u8 == a << 2u16 && a << 2u32 == c;
+}

tests/compiler/integers/i64/shr.leo

@@ -0,0 +1,9 @@
+/*
+namespace: Compile
+expectation: Pass
+input_file: inputs/add.in
+*/
+
+function main(a: i64, b: i64, c: i64) -> bool {
+    return a >> 2u8 == a >> 2u16 && a >> 2u32 == c;
+}

tests/compiler/integers/i64/xor.leo

@@ -0,0 +1,9 @@
+/*
+namespace: Compile
+expectation: Pass
+input_file: inputs/add.in
+*/
+
+function main(a: i64, b: i64, c: i64) -> bool {
+    return a ^ 2u8 == a ^ 2u16 && a ^ 2u32 == c;
+}

tests/compiler/integers/i8/and.leo

@@ -0,0 +1,9 @@
+/*
+namespace: Compile
+expectation: Pass
+input_file: inputs/add.in
+*/
+
+function main(a: i8, b: i8, c: i8) -> bool {
+    return a & b == c;
+}

tests/compiler/integers/i8/or.leo

@@ -0,0 +1,9 @@
+/*
+namespace: Compile
+expectation: Pass
+input_file: inputs/add.in
+*/
+
+function main(a: i8, b: i8, c: i8) -> bool {
+    return a | b == c;
+}

tests/compiler/integers/i8/pow.leo

@@ -1,9 +1,9 @@
 /*
 namespace: Compile
-expectation: Fail
+expectation: Pass
 input_file: inputs/pow.in
 */
 
 function main(a: i8, b: i8, c: i8) -> bool {
-    return a ** b == c;
+    return a ** 2u8 == a ** 2u16 && a ** 2u32 == c;
 }

tests/compiler/integers/i8/shl.leo

@@ -0,0 +1,9 @@
+/*
+namespace: Compile
+expectation: Pass
+input_file: inputs/add.in
+*/
+
+function main(a: i8, b: i8, c: i8) -> bool {
+    return a << 2u8 == a << 2u16 && a << 2u32 == c;
+}

tests/compiler/integers/i8/shr.leo

@@ -0,0 +1,9 @@
+/*
+namespace: Compile
+expectation: Pass
+input_file: inputs/add.in
+*/
+
+function main(a: i8, b: i8, c: i8) -> bool {
+    return a >> 2u8 == a >> 2u16 && a >> 2u32 == c;
+}

tests/compiler/integers/i8/xor.leo

@@ -0,0 +1,9 @@
+/*
+namespace: Compile
+expectation: Pass
+input_file: inputs/add.in
+*/
+
+function main(a: i8, b: i8, c: i8) -> bool {
+    return a ^ 2u8 == a ^ 2u16 && a ^ 2u32 == c;
+}

tests/compiler/integers/u128/and.leo

@@ -0,0 +1,9 @@
+/*
+namespace: Compile
+expectation: Pass
+input_file: inputs/add.in
+*/
+
+function main(a: u128, b: u128, c: u128) -> bool {
+    return a & b == c;
+}

tests/compiler/integers/u128/or.leo

@@ -0,0 +1,9 @@
+/*
+namespace: Compile
+expectation: Pass
+input_file: inputs/add.in
+*/
+
+function main(a: u128, b: u128, c: u128) -> bool {
+    return a | b == c;
+}

tests/compiler/integers/u128/pow.leo

@@ -1,10 +1,10 @@
 /*
 namespace: Compile
-expectation: Fail
+expectation: Pass
 
 # The exponent must be u8, u16, or u32
 */
 
 function main(a: u128, b: u128, c: u128) -> bool {
-    return a ** b == c;
+    return a ** 2u8 == a ** 2u16 && a ** 2u32 == c;
 }

tests/compiler/integers/u128/shl.leo

@@ -0,0 +1,9 @@
+/*
+namespace: Compile
+expectation: Pass
+input_file: inputs/add.in
+*/
+
+function main(a: u128, b: u128, c: u128) -> bool {
+    return a << 2u8 == a << 2u16 && a << 2u32 == c;
+}

tests/compiler/integers/u128/shr.leo

@@ -0,0 +1,9 @@
+/*
+namespace: Compile
+expectation: Pass
+input_file: inputs/add.in
+*/
+
+function main(a: u128, b: u128, c: u128) -> bool {
+    return a >> 2u8 == a >> 2u16 && a >> 2u32 == c;
+}

tests/compiler/integers/u128/xor.leo

@@ -0,0 +1,9 @@
+/*
+namespace: Compile
+expectation: Pass
+input_file: inputs/add.in
+*/
+
+function main(a: u128, b: u128, c: u128) -> bool {
+    return a ^ 2u8 == a ^ 2u16 && a ^ 2u32 == c;
+}

tests/compiler/integers/u16/and.leo

@@ -0,0 +1,9 @@
+/*
+namespace: Compile
+expectation: Pass
+input_file: inputs/add.in
+*/
+
+function main(a: u16, b: u16, c: u16) -> bool {
+    return a & b == c;
+}

tests/compiler/integers/u16/or.leo

@@ -0,0 +1,9 @@
+/*
+namespace: Compile
+expectation: Pass
+input_file: inputs/add.in
+*/
+
+function main(a: u16, b: u16, c: u16) -> bool {
+    return a | b == c;
+}

tests/compiler/integers/u16/pow.leo

@@ -5,5 +5,5 @@ input_file: inputs/pow.in
 */
 
 function main(a: u16, b: u16, c: u16) -> bool {
-    return a ** b == c;
+    return a ** 2u8 == a ** b && a ** 2u32 == c;
 }

tests/compiler/integers/u16/shl.leo

@@ -0,0 +1,9 @@
+/*
+namespace: Compile
+expectation: Pass
+input_file: inputs/add.in
+*/
+
+function main(a: u16, b: u16, c: u16) -> bool {
+    return a << 2u8 == a << b && a << 2u32 == c;
+}

tests/compiler/integers/u16/shr.leo

@@ -0,0 +1,9 @@
+/*
+namespace: Compile
+expectation: Pass
+input_file: inputs/add.in
+*/
+
+function main(a: u16, b: u16, c: u16) -> bool {
+    return a >> 2u8 == a >> b && a >> 2u32 == c;
+}

tests/compiler/integers/u16/xor.leo

@@ -0,0 +1,9 @@
+/*
+namespace: Compile
+expectation: Pass
+input_file: inputs/add.in
+*/
+
+function main(a: u16, b: u16, c: u16) -> bool {
+    return a ^ 2u8 == a ^ b && a ^ 2u32 == c;
+}

tests/compiler/integers/u32/and.leo

@@ -0,0 +1,9 @@
+/*
+namespace: Compile
+expectation: Pass
+input_file: inputs/add.in
+*/
+
+function main(a: u32, b: u32, c: u32) -> bool {
+    return a & b == c;
+}

tests/compiler/integers/u32/or.leo

@@ -0,0 +1,9 @@
+/*
+namespace: Compile
+expectation: Pass
+input_file: inputs/add.in
+*/
+
+function main(a: u32, b: u32, c: u32) -> bool {
+    return a | b == c;
+}

tests/compiler/integers/u32/pow.leo

@@ -8,5 +8,5 @@ input_file: inputs/pow.in
 */
 
 function main(a: u32, b: u32, c: u32) -> bool {
-    return a ** b == c;
+    return a ** 2u8 == a ** 2u16 && a ** b == c;
 }

tests/compiler/integers/u32/shl.leo

@@ -0,0 +1,9 @@
+/*
+namespace: Compile
+expectation: Pass
+input_file: inputs/add.in
+*/
+
+function main(a: u32, b: u32, c: u32) -> bool {
+    return a << 2u8 == a << 2u16 && a << b == c;
+}

tests/compiler/integers/u32/shr.leo

@@ -0,0 +1,9 @@
+/*
+namespace: Compile
+expectation: Pass
+input_file: inputs/add.in
+*/
+
+function main(a: u32, b: u32, c: u32) -> bool {
+    return a >> 2u8 == a >> 2u16 && a >> b == c;
+}

tests/compiler/integers/u32/xor.leo

@@ -0,0 +1,9 @@
+/*
+namespace: Compile
+expectation: Pass
+input_file: inputs/add.in
+*/
+
+function main(a: u32, b: u32, c: u32) -> bool {
+    return a ^ 2u8 == a ^ 2u16 && a ^ b == c;
+}

tests/compiler/integers/u64/and.leo

@@ -0,0 +1,9 @@
+/*
+namespace: Compile
+expectation: Pass
+input_file: inputs/add.in
+*/
+
+function main(a: u64, b: u64, c: u64) -> bool {
+    return a & b == c;
+}

tests/compiler/integers/u64/or.leo

@@ -0,0 +1,9 @@
+/*
+namespace: Compile
+expectation: Pass
+input_file: inputs/add.in
+*/
+
+function main(a: u64, b: u64, c: u64) -> bool {
+    return a | b == c;
+}

tests/compiler/integers/u64/pow.leo

@@ -1,11 +1,11 @@
 /*
 namespace: Compile
-expectation: Fail
+expectation: Pass
 input_file: inputs/pow.in
 
 # The exponent must be u8, u16, or u32
 */
 
 function main(a: u64, b: u64, c: u64) -> bool {
-    return a ** b == c;
+    return a ** 2u8 == a ** 2u16 && a ** 2u32 == c;
 }

tests/compiler/integers/u64/shl.leo

@@ -0,0 +1,9 @@
+/*
+namespace: Compile
+expectation: Pass
+input_file: inputs/add.in
+*/
+
+function main(a: u64, b: u64, c: u64) -> bool {
+    return a << 2u8 == a << 2u16 && a << 2u32 == c;
+}

tests/compiler/integers/u64/shr.leo

@@ -0,0 +1,9 @@
+/*
+namespace: Compile
+expectation: Pass
+input_file: inputs/add.in
+*/
+
+function main(a: u64, b: u64, c: u64) -> bool {
+    return a >> 2u8 == a >> 2u16 && a >> 2u32 == c;
+}

tests/compiler/integers/u64/xor.leo

@@ -0,0 +1,9 @@
+/*
+namespace: Compile
+expectation: Pass
+input_file: inputs/add.in
+*/
+
+function main(a: u64, b: u64, c: u64) -> bool {
+    return a ^ 2u8 == a ^ 2u16 && a ^ 2u32 == c;
+}

tests/compiler/integers/u8/and.leo

@@ -0,0 +1,9 @@
+/*
+namespace: Compile
+expectation: Pass
+input_file: inputs/add.in
+*/
+
+function main(a: u8, b: u8, c: u8) -> bool {
+    return a & b == c;
+}

tests/compiler/integers/u8/or.leo

@@ -0,0 +1,9 @@
+/*
+namespace: Compile
+expectation: Pass
+input_file: inputs/add.in
+*/
+
+function main(a: u8, b: u8, c: u8) -> bool {
+    return a | b == c;
+}

tests/compiler/integers/u8/pow.leo

@@ -5,5 +5,5 @@ input_file: inputs/pow.in
 */
 
 function main(a: u8, b: u8, c: u8) -> bool {
-    return a ** b == c;
+    return a ** b == a ** 2u16 && a ** 2u32 == c;
 }

tests/compiler/integers/u8/shl.leo

@@ -0,0 +1,9 @@
+/*
+namespace: Compile
+expectation: Pass
+input_file: inputs/add.in
+*/
+
+function main(a: u8, b: u8, c: u8) -> bool {
+    return a << b == a << 2u16 && a << 2u32 == c;
+}

tests/compiler/integers/u8/shr.leo

@@ -0,0 +1,9 @@
+/*
+namespace: Compile
+expectation: Pass
+input_file: inputs/add.in
+*/
+
+function main(a: u8, b: u8, c: u8) -> bool {
+    return a >> b == a >> 2u16 && a >> 2u32 == c;
+}

tests/compiler/integers/u8/xor.leo

@@ -0,0 +1,9 @@
+/*
+namespace: Compile
+expectation: Pass
+input_file: inputs/add.in
+*/
+
+function main(a: u8, b: u8, c: u8) -> bool {
+    return a ^ b == a ^ 2u16 && a ^ 2u32 == c;
+}

tests/expectations/compiler/compiler/integers/i128/and.out

@@ -0,0 +1,8 @@
+---
+namespace: Compile
+expectation: Pass
+outputs:
+  - output:
+      - initial_input_ast: bc7b8f4d7b989dc43d4fd55b9682cc77d2984e841678f57fdf605ff2c168861e
+    initial_ast: 450cc900f6e9eef41b1741df98fc054828c502dac596929453216866db96fbeb
+    symbol_table: a742e82f32759705a4d3a5c60b8e8301572b7a27ba98cabb65cf62ac928502f0

tests/expectations/compiler/compiler/integers/i128/or.out

@@ -0,0 +1,8 @@
+---
+namespace: Compile
+expectation: Pass
+outputs:
+  - output:
+      - initial_input_ast: bc7b8f4d7b989dc43d4fd55b9682cc77d2984e841678f57fdf605ff2c168861e
+    initial_ast: f3d11c5a46a8bf45a444c2b4b1ae07f00e587e796e56096dbb6ddb44dc0f47e4
+    symbol_table: fe91fa1a007ec9cd5db787e4678cf1aac51c6ac51b6ca6645534abde9273edb4

tests/expectations/compiler/compiler/integers/i128/pow.out

@@ -0,0 +1,8 @@
+---
+namespace: Compile
+expectation: Pass
+outputs:
+  - output:
+      - initial_input_ast: 2541083a0309b49344e174e6d28afa2addbd74bd9c8f4a2d3da6bea22d798fda
+    initial_ast: 7ac38cd9d05ed9470aaa67e54e8cd530ebdd7bea1585eccfbf784834cfddf35a
+    symbol_table: a9b558f0e2976996dd11291b7b0417e89ca69178d2d8e24986ce85017dcd989b

tests/expectations/compiler/compiler/integers/i128/shl.out

@@ -0,0 +1,8 @@
+---
+namespace: Compile
+expectation: Pass
+outputs:
+  - output:
+      - initial_input_ast: f2cac6fc26b770ccf03fdb678a381319df95ce9f5fc5f49fb829fd45d16ba5e5
+    initial_ast: 1edc82b528863126a57d114d4d4730db0a70e951ae35dcfb622363f2f2da94b7
+    symbol_table: a0949da0c6778c10242222140af0733f59e494055a5dc9b3aa6178ceae66956c

tests/expectations/compiler/compiler/integers/i128/shr.out

@@ -0,0 +1,8 @@
+---
+namespace: Compile
+expectation: Pass
+outputs:
+  - output:
+      - initial_input_ast: f2cac6fc26b770ccf03fdb678a381319df95ce9f5fc5f49fb829fd45d16ba5e5
+    initial_ast: 262eab5da95148f397cae30e591a7f2ade7bbbccc0edd4a6836aee48cc6e9c94
+    symbol_table: 0dd642732eec4756c401a3188bf743b6ad84f7591664c93c560e7b3757cb0b11

tests/expectations/compiler/compiler/integers/i128/xor.out

@@ -0,0 +1,8 @@
+---
+namespace: Compile
+expectation: Pass
+outputs:
+  - output:
+      - initial_input_ast: f014569ea5b8d40f24c94a0fa30a981445b6edeb8a3bac3f8792267a3c5d6f23
+    initial_ast: 87beac03eb700dfa7e9691cfdfdac1f2de19c22b671f9fc7b828e523ad3b9371
+    symbol_table: b49663ae6742a54b2adce3f351d27741a069818b5de03c406088b81922898595

tests/expectations/compiler/compiler/integers/i16/and.out

@@ -0,0 +1,8 @@
+---
+namespace: Compile
+expectation: Pass
+outputs:
+  - output:
+      - initial_input_ast: 8f8a36339feb052e94e5c5d0bc21e9591c972c331794a9b5ce050d66f9e8ac08
+    initial_ast: e00c1b86dd1385d05955956292cd0f0a0a3c93c57bb9ccef041fcda92c7cc426
+    symbol_table: bdb224fe4c5a6958985b649494b834a44ca9f6dfa500ff68490a0e710beb63ad

tests/expectations/compiler/compiler/integers/i16/or.out

@@ -0,0 +1,8 @@
+---
+namespace: Compile
+expectation: Pass
+outputs:
+  - output:
+      - initial_input_ast: 8f8a36339feb052e94e5c5d0bc21e9591c972c331794a9b5ce050d66f9e8ac08
+    initial_ast: 4e0f71760dbbc8009973ea49f6a535b87c57b62463aa6faffb79aedbd9e86b26
+    symbol_table: 4c080bfc407c55cf4496518c1d2fb958dc9ffbc0cb7d01b9960444c388715f85

tests/expectations/compiler/compiler/integers/i16/pow.out

@@ -0,0 +1,8 @@
+---
+namespace: Compile
+expectation: Pass
+outputs:
+  - output:
+      - initial_input_ast: bd8fd2a123ed9d64e1000b4702a82b198ff7e5ce984edebdb48c5f52f843fea1
+    initial_ast: 50b8f73867f4698df6bdde67f7b5e59e5dd535866c438e40fac59f5f4a595b9b
+    symbol_table: 5f363580c69b6f35f4460104e76b74cd57f75f5aa514d81cd8235883f790404c

tests/expectations/compiler/compiler/integers/i16/shl.out

@@ -0,0 +1,8 @@
+---
+namespace: Compile
+expectation: Pass
+outputs:
+  - output:
+      - initial_input_ast: 7423a113e495e28b919d241f3cf0630902e6b5db2dc26a6f64fdcd170d6daea9
+    initial_ast: f9a93bb7f2a15e8cb4302bf1fdcc4dfacbfe9205b43e59b70cd7125ce92db28c
+    symbol_table: 5574b67bf196f90fb3e7ce012c4320a543e9830f42b13de6f5e145e0e2b936db

tests/expectations/compiler/compiler/integers/i16/shr.out

@@ -0,0 +1,8 @@
+---
+namespace: Compile
+expectation: Pass
+outputs:
+  - output:
+      - initial_input_ast: 7423a113e495e28b919d241f3cf0630902e6b5db2dc26a6f64fdcd170d6daea9
+    initial_ast: e91f264554873db87b189ea04289d4a0130d4106e6c0aa07ea4c02491de3625b
+    symbol_table: efb3351576d42c09fb29e8c984728fd35ef8984702d7165b0ae3894da819370b

tests/expectations/compiler/compiler/integers/i16/xor.out

@@ -0,0 +1,8 @@
+---
+namespace: Compile
+expectation: Pass
+outputs:
+  - output:
+      - initial_input_ast: dce56a3bac1ab9f4672d8e43967ee56a1dd6fadf190428661cf70a34012858f5
+    initial_ast: 05c135c9b4c5111532cd1963eeffcc5f79162cb8bd54796c34299444e94d8ace
+    symbol_table: c2db740a844a64e84fadd06da77a78f0982571524f6840ef904d11c41fe2e4ee

tests/expectations/compiler/compiler/integers/i32/and.out

@@ -0,0 +1,8 @@
+---
+namespace: Compile
+expectation: Pass
+outputs:
+  - output:
+      - initial_input_ast: eb41a21f5a0b0cea9589243a858fdc66f91774a1e30f9769384c5ffcc82d3748
+    initial_ast: 9fb4dfbfe76c4f28406daa595941e6b05eee0f784e4ad1bbeafef2fed37000d1
+    symbol_table: 5945590d46e7452c54d441148a22fd5ee8cf29b01a147c0b9483e0c4d5c322fe

tests/expectations/compiler/compiler/integers/i32/or.out

@@ -0,0 +1,8 @@
+---
+namespace: Compile
+expectation: Pass
+outputs:
+  - output:
+      - initial_input_ast: eb41a21f5a0b0cea9589243a858fdc66f91774a1e30f9769384c5ffcc82d3748
+    initial_ast: 3a53d0ea28359810d92b883e43f6698767f8682633c46b4d9398a3764e05f8f7
+    symbol_table: 59b8df1d2b1c065535bb67a608b3b7eceed7a2491a7451bbe1c2177fb71f072b

tests/expectations/compiler/compiler/integers/i32/pow.out

@@ -0,0 +1,8 @@
+---
+namespace: Compile
+expectation: Pass
+outputs:
+  - output:
+      - initial_input_ast: a3d1612ebb16aed1d40ebaa5def6be231d1f583569276d2ae1420531cbbe44fa
+    initial_ast: 5958c92d9e329bd200c15b264fc65b98e9d65cf232bd9ff1ea4387b8e83e5aa2
+    symbol_table: 83972ea7ed0bfd3b836c5b53798fbc7c6d404e1121bd40a7db08f059a8e7d915

tests/expectations/compiler/compiler/integers/i32/shl.out

@@ -0,0 +1,8 @@
+---
+namespace: Compile
+expectation: Pass
+outputs:
+  - output:
+      - initial_input_ast: 100d7f81cba1cd3165089581885d76633e0022383d45da966eb2386c195c8a2a
+    initial_ast: 7146072c1304d65a353621ccce86c7e7d996fe476ffff17e75a45be19b2ebfcf
+    symbol_table: 607cd600389cd0202baa01e0998904f44134d7db10f64bd52ae584a11dddb83d

tests/expectations/compiler/compiler/integers/i32/shr.out

@@ -0,0 +1,8 @@
+---
+namespace: Compile
+expectation: Pass
+outputs:
+  - output:
+      - initial_input_ast: 100d7f81cba1cd3165089581885d76633e0022383d45da966eb2386c195c8a2a
+    initial_ast: ba59c370d502b70b4ec0ff2d305d7d246d62ddeacf21cc5d73c74802b7f91d6a
+    symbol_table: 62eec7410246d20c43271d5ba0c2031d0b08de9540ea4c3f159c5f26ad96b190

tests/expectations/compiler/compiler/integers/i32/xor.out

@@ -0,0 +1,8 @@
+---
+namespace: Compile
+expectation: Pass
+outputs:
+  - output:
+      - initial_input_ast: 15c7eaf593e6f0ac457dad948ba56c0c089685597763659745ee49a496554a12
+    initial_ast: d9462454f67aff69a7f5075c209bcee96435f8fb6f349d72549190de4851a985
+    symbol_table: 58d9e8a43638ca94e50faef51a13093beefe5de977bf76d703b3e1d8e7e758a2

tests/expectations/compiler/compiler/integers/i64/and.out

@@ -0,0 +1,8 @@
+---
+namespace: Compile
+expectation: Pass
+outputs:
+  - output:
+      - initial_input_ast: 6e966811e2bf235a62319227398ea147c7a5f92fbbf2bee2393d245e6567d269
+    initial_ast: 125679bd5bbf907b86d7ce10d4376e166aef87f9e64e27884baffc69ab2a3ec2
+    symbol_table: d423b9dc3ebe537a9188ce0da8d0c596bfb17824230173e9803e7a91948ea613

tests/expectations/compiler/compiler/integers/i64/or.out

@@ -0,0 +1,8 @@
+---
+namespace: Compile
+expectation: Pass
+outputs:
+  - output:
+      - initial_input_ast: 6e966811e2bf235a62319227398ea147c7a5f92fbbf2bee2393d245e6567d269
+    initial_ast: 51570a75927ea2a8613293ddcc883f58e0090310d9090f9add19d6a4f34a2822
+    symbol_table: ec1f05e4e4537931602996337765e494f0d466ac049d4ed7b475c5fa2ad2b978

tests/expectations/compiler/compiler/integers/i64/pow.out

@@ -0,0 +1,8 @@
+---
+namespace: Compile
+expectation: Pass
+outputs:
+  - output:
+      - initial_input_ast: 730ab4f25d09c3da598f4f1c1aa07b674ab0457bc05164ac9e6633b249f97e72
+    initial_ast: ac8361a75d105160fa27ff65295546fdc565748bfb0eef0f4941ac690df9a08c
+    symbol_table: 69ea41f99bf6d0d9f5cce394165ac417c9be15e48e398fd8a4d2d096ad517dc8

tests/expectations/compiler/compiler/integers/i64/shl.out

@@ -0,0 +1,8 @@
+---
+namespace: Compile
+expectation: Pass
+outputs:
+  - output:
+      - initial_input_ast: bc5acd37d5e0906b2d82691064f8e57584f8fbdd2594e112bb6a819856383320
+    initial_ast: ff646d148cf91d1d6dc96d30b5bd4dbe8d2b59d5361f8803e02ae23f8a9fb458
+    symbol_table: 4754d412e2e5773a714d1f940a2ac6d8bf11839dd42841fbd2d5e6d1155e6506

tests/expectations/compiler/compiler/integers/i64/shr.out

@@ -0,0 +1,8 @@
+---
+namespace: Compile
+expectation: Pass
+outputs:
+  - output:
+      - initial_input_ast: bc5acd37d5e0906b2d82691064f8e57584f8fbdd2594e112bb6a819856383320
+    initial_ast: 371ae7eb15412c06a39823e66ca5b6dd5b4f700d1ae579fa8ca9bd92cb091c95
+    symbol_table: 830c2a358e1b256afc5295b5145311b952811103ce18e402b6f171165317ee8a

tests/expectations/compiler/compiler/integers/i64/xor.out

@@ -0,0 +1,8 @@
+---
+namespace: Compile
+expectation: Pass
+outputs:
+  - output:
+      - initial_input_ast: 199be3d1b8ce7041809cb1c7e64ef28373855e97d82671ac3cd95c6323995586
+    initial_ast: f2ea27f47669521d68ea506d80a0b5375e5ff1023a96f3bb683a4c65da734d1f
+    symbol_table: 313c0f810508fdc05ed5b1a9c75ff06b932a71f64fd7887200b81c3c687afb70

tests/expectations/compiler/compiler/integers/i8/and.out

@@ -0,0 +1,8 @@
+---
+namespace: Compile
+expectation: Pass
+outputs:
+  - output:
+      - initial_input_ast: 0a6f670f5dabbe16296ccdfb83366c2ae59432059003c64d1e6141e658f49cc3
+    initial_ast: 8f04627dc2308360ed8984e6988c7f2fe420ae5a3dc6f2e22b677645031ebce5
+    symbol_table: b2781521776404f87ded730bffe858f59999b1bb841aef2e67f88a4ff9414ca5

tests/expectations/compiler/compiler/integers/i8/or.out

@@ -0,0 +1,8 @@
+---
+namespace: Compile
+expectation: Pass
+outputs:
+  - output:
+      - initial_input_ast: 0a6f670f5dabbe16296ccdfb83366c2ae59432059003c64d1e6141e658f49cc3
+    initial_ast: 8fe94c868abf11bcf80c6d0c4fce801fea31a55e8275b1a15df07c31c68a0359
+    symbol_table: 5266cce1cdf8224771fcdd2e36dfadd30d9f3f5bc9722db2316670a5ed83b0b1

tests/expectations/compiler/compiler/integers/i8/pow.out

@@ -0,0 +1,8 @@
+---
+namespace: Compile
+expectation: Pass
+outputs:
+  - output:
+      - initial_input_ast: 413e126974e63dfec28e4f1ec6071bd29d474f07c7a405230808acd58eda96a7
+    initial_ast: 80ecd281c6859c8400b1955ec42d24d1f49530bd3cb431a341d43ddaf43f7f8f
+    symbol_table: 9c77abb7b704660e85bd78e304db4d62efb80051fbd4e07c5a8afd72ddec24b4

tests/expectations/compiler/compiler/integers/i8/shl.out

@@ -0,0 +1,8 @@
+---
+namespace: Compile
+expectation: Pass
+outputs:
+  - output:
+      - initial_input_ast: 49cd0987e4ab36528e5152adaca808575cdb2402dc21c50356d949738870b530
+    initial_ast: 345d976afe23778c68b1591434df77fdeba8a5acd00db5fa7af78375e692f13d
+    symbol_table: 25693a7adb577f7419c27015fb097fc96fe95f71762343d9e8d7053422973a3e

tests/expectations/compiler/compiler/integers/i8/shr.out

@@ -0,0 +1,8 @@
+---
+namespace: Compile
+expectation: Pass
+outputs:
+  - output:
+      - initial_input_ast: 49cd0987e4ab36528e5152adaca808575cdb2402dc21c50356d949738870b530
+    initial_ast: dfea378c8415b5fa16446852fc9aab2e2229921e673d75be66f3ecfd8418e849
+    symbol_table: 33aea3edb28878ab9a2a87d0c534e7b8d89492d1f142321fa1b6d3aa089e075f

tests/expectations/compiler/compiler/integers/i8/xor.out

@@ -0,0 +1,8 @@
+---
+namespace: Compile
+expectation: Pass
+outputs:
+  - output:
+      - initial_input_ast: b4d08a13171c39f38e23d189530dcc25f769e097b226f48af75b7e8e86e6a228
+    initial_ast: f73d3338b1313fbf4a5ec010b0f7395c1b54685051860ca28d22484aed659669
+    symbol_table: 76e82cf351d3ca832c6a4feee4df18b1c01d445d5fd727f317199ea7e2cd172f

tests/expectations/compiler/compiler/integers/u128/and.out

@@ -0,0 +1,8 @@
+---
+namespace: Compile
+expectation: Pass
+outputs:
+  - output:
+      - initial_input_ast: bd72282f194aa1e65c9cdbd5d50e314383be002be40a8254a9c5c1a798f2d159
+    initial_ast: eb52bd84ede0640c592b6a733ff761910a0dbdc30a6fb7be7141ecad03e05a28
+    symbol_table: 8633b857bc63a9594822c85c3059ef6a3549c714292105afab1fd5bacc037704

tests/expectations/compiler/compiler/integers/u128/or.out

@@ -0,0 +1,8 @@
+---
+namespace: Compile
+expectation: Pass
+outputs:
+  - output:
+      - initial_input_ast: bd72282f194aa1e65c9cdbd5d50e314383be002be40a8254a9c5c1a798f2d159
+    initial_ast: 4fb08b22cade306ce4d591998e4275400857e7db1cd7c234b2f83d718d792f6d
+    symbol_table: c8842d9700fabf587fd28f5019bae7e5abf4e75bebeb57cdde89c43cb795da4a

tests/expectations/compiler/compiler/integers/u128/pow.out

@@ -1,5 +1,8 @@
 ---
 namespace: Compile
-expectation: Fail
+expectation: Pass
 outputs:
-  - "Error [ETYC0372008]: Expected one type from `u8,u16,u32,`, but got `u128`\n    --> compiler-test:4:17\n     |\n   4 |     return a ** b == c;\n     |                 ^\n"
+  - output:
+      - initial_input_ast: no input
+    initial_ast: abcb9b7e4c5706800b2599b81dadb2e25e2e46811b1c88683562e5a1aa45b087
+    symbol_table: 3369bb224fc76977901bd0c162932d08760213d30a0f1ccdf06fd25c45610ade

tests/expectations/compiler/compiler/integers/u128/shl.out

@@ -0,0 +1,8 @@
+---
+namespace: Compile
+expectation: Pass
+outputs:
+  - output:
+      - initial_input_ast: c6de099f1f55a87c32ef691862a36dcefe3351e6dc68b590265c37beaf65a681
+    initial_ast: f6f0fd1e36918f633e88b843493dfbb12b56a64614cf294809888f182f60e04e
+    symbol_table: 08a662c9b3bb0ca82bc79e01a43ac513e20b86c32051d8b14af5a715602f91d0

tests/expectations/compiler/compiler/integers/u128/shr.out

@@ -0,0 +1,8 @@
+---
+namespace: Compile
+expectation: Pass
+outputs:
+  - output:
+      - initial_input_ast: c6de099f1f55a87c32ef691862a36dcefe3351e6dc68b590265c37beaf65a681
+    initial_ast: 25cab8d8461814a5c55675b974577e310892a8c6780aebdd47611cf8318f0651
+    symbol_table: 2e776b56f9f9d121e5a78ae302c8990b1862c59a893d2302559673ca2f9a1abd

tests/expectations/compiler/compiler/integers/u128/xor.out

@@ -0,0 +1,8 @@
+---
+namespace: Compile
+expectation: Pass
+outputs:
+  - output:
+      - initial_input_ast: 6a9074c22d78138bf25ec1dd3e06de3570f0c0c8eddf07a1d3efb77d19cb8780
+    initial_ast: 62e6e46578438ec6eaf102d2653631f98440f6f2591ad9922e8ab7e4bf71adad
+    symbol_table: 7b8962271b265ff5b02b7fe8b0dbd12f483911779de605258ad1f31b56c56810

tests/expectations/compiler/compiler/integers/u16/and.out

@@ -0,0 +1,8 @@
+---
+namespace: Compile
+expectation: Pass
+outputs:
+  - output:
+      - initial_input_ast: 2c4fbe74ef1df386b47eaf5b4718c33fc6702684839494bec4c37df973c8842b
+    initial_ast: 9f2948b77b3b59312583ba4f42344b73ce517cd45d80f762bffe354b0bfc2427
+    symbol_table: 26a3b1e6e09b0ddd05be6ce9c92593f6721faaced757eb395fd0923516c652c4

tests/expectations/compiler/compiler/integers/u16/or.out

@@ -0,0 +1,8 @@
+---
+namespace: Compile
+expectation: Pass
+outputs:
+  - output:
+      - initial_input_ast: 2c4fbe74ef1df386b47eaf5b4718c33fc6702684839494bec4c37df973c8842b
+    initial_ast: 50b8b861c47bf276f1df2d4ffcac0971ccd4eb601fb9a67a16224a0a8c4baa68
+    symbol_table: 5c0ca24cef788d1986846c082bb05fe137660e3d0886fa56a6bbcef6f9c5adbe

tests/expectations/compiler/compiler/integers/u16/pow.out

@@ -3,6 +3,6 @@ namespace: Compile
 expectation: Pass
 outputs:
   - output:
-      - initial_input_ast: 0fc24d373b31b114b4798569c7cc9312cb7978ebb6520b4d1b53cd6e379ddca3
-    initial_ast: 8984990a951b4b733fa75f9b72a6d8c98bc211002d6ca2498f4a50a8964303d3
-    symbol_table: 395e10aaca24280476a805c4d4160422e77a230b3679ac74465fee5ffdd1a080
+      - initial_input_ast: 11821573c2c3f78e4a668ea098194ea4d73d7ab2cb8dc7fdf4c873db61889c35
+    initial_ast: 29e9389fe56e1bcd7f1d6370d66b6b2e40f76e1e1e020b1ff6c5b0d0ef049799
+    symbol_table: 768253f26147ac3a4f966c3264e1ce2c82170f332d5933f479a3fbbaace09ccf

tests/expectations/compiler/compiler/integers/u16/shl.out

@@ -0,0 +1,8 @@
+---
+namespace: Compile
+expectation: Pass
+outputs:
+  - output:
+      - initial_input_ast: 892045a2f7dfa644eb11f85e012f6192d858b6b617d6456c9f797839123e1588
+    initial_ast: cdb5216a1e862bc64b83ecf097be2f15e79f7e5c16fea63ebf84a7a4140c3113
+    symbol_table: e1d220cecf6e52f6d651bd26f9894a629d820aec555cf867610da5d80da9525c