Add tests

brat/examples/fanout.brat

@@ -17,3 +17,8 @@ swap_vec(qs) = [\/](swap(Qubit, Qubit)([/\](qs)))
 
 pack_mid(Nat, Nat, Nat, Nat) -> Nat, Vec(Nat, 2), Nat
 pack_mid = { (x=>x), [\/], .. }
+
+ext "" f :: { Vec(Qubit, 2) -o Bit }
+
+g(Qubit, Qubit) -o Bit
+g = [\/]; f

brat/test/golden/error/fanin-diff-types.brat.golden

@@ -0,0 +1,9 @@
+Error in test/golden/error/fanin-diff-types.brat@FC {start = Pos {line = 2, col = 5}, end = Pos {line = 2, col = 13}}:
+f = { [\/] }
+    ^^^^^^^^
+
+  Type mismatch when checking [\/]
+Expected: Qubit
+But got:  Bit
+
+

brat/test/golden/error/fanin-dynamic-length.brat.golden

@@ -0,0 +1,6 @@
+Error in test/golden/error/fanin-dynamic-length.brat@FC {start = Pos {line = 2, col = 8}, end = Pos {line = 2, col = 16}}:
+f(n) = { [\/] }
+       ^^^^^^^^
+
+  Type error: Can't fanout a Vec with non-constant length: VPar Ex checking_check_defs_1_f_f.box_2_lambda_fake_source 0
+

brat/test/golden/error/fanin-list.brat

@@ -1,2 +1,2 @@
-f(Bool, Bool) -> List(Bool
+f(Bool, Bool) -> List(Bool)
 f = { [\/] }

brat/test/golden/error/fanin-list.brat.golden

@@ -0,0 +1,6 @@
+Error in test/golden/error/fanin-list.brat@FC {start = Pos {line = 2, col = 5}, end = Pos {line = 2, col = 13}}:
+f = { [\/] }
+    ^^^^^^^^
+
+  Type error: Fanin ([\/]) only applies to Vec
+

brat/test/golden/error/fanin-not-enough-overs.brat.golden

@@ -0,0 +1,6 @@
+Error in test/golden/error/fanin-not-enough-overs.brat@FC {start = Pos {line = 2, col = 5}, end = Pos {line = 2, col = 13}}:
+f = { [\/] }
+    ^^^^^^^^
+
+  Type error: Not enough inputs to make a vector of size 3
+

brat/test/golden/error/fanin-too-many-overs.brat.golden

@@ -0,0 +1,7 @@
+Error in test/golden/error/fanin-too-many-overs.brat@FC {start = Pos {line = 2, col = 5}, end = Pos {line = 2, col = 13}}:
+f = { [\/] }
+    ^^^^^^^^
+
+  Internal error: Expected empty thunk leftovers, got:
+  (z :: Nat)
+

brat/test/golden/error/fanout-diff-types.brat.golden

@@ -0,0 +1,9 @@
+Error in test/golden/error/fanout-diff-types.brat@FC {start = Pos {line = 2, col = 5}, end = Pos {line = 2, col = 13}}:
+f = { [/\] }
+    ^^^^^^^^
+
+  Type mismatch when checking [/\]
+Expected: (b1 :: Bit)
+But got:  (head :: Qubit)
+
+

brat/test/golden/error/fanout-dynamic-length.brat

@@ -1,2 +1,2 @@
-f(n :: #, Vec(Qubit, n)) -> { Qubit, Qubit }
+f(n :: #) -> { Vec(Qubit, n) -o Qubit, Qubit }
 f(n) = { [/\] }

brat/test/golden/error/fanout-dynamic-length.brat.golden

@@ -0,0 +1,6 @@
+Error in test/golden/error/fanout-dynamic-length.brat@FC {start = Pos {line = 2, col = 8}, end = Pos {line = 2, col = 16}}:
+f(n) = { [/\] }
+       ^^^^^^^^
+
+  Type error: Can't fanout a Vec with non-constant length: VPar Ex checking_check_defs_1_f_f.box_2_lambda_fake_source 0
+

brat/test/golden/error/fanout-list.brat.golden

@@ -0,0 +1,6 @@
+Error in test/golden/error/fanout-list.brat@FC {start = Pos {line = 2, col = 5}, end = Pos {line = 2, col = 13}}:
+f = { [/\] }
+    ^^^^^^^^
+
+  Type error: Fanout ([/\]) only applies to Vec
+

brat/test/golden/error/fanout-not-enough-overs.brat

@@ -1,2 +1,2 @@
-f(Vec(Nat, 2) -> Nat, Nat, Nat
+f(Vec(Nat, 2)) -> Nat, Nat, Nat
 f = { [/\] }

brat/test/golden/error/fanout-not-enough-overs.brat.golden

@@ -0,0 +1,7 @@
+Error in test/golden/error/fanout-not-enough-overs.brat@FC {start = Pos {line = 2, col = 5}, end = Pos {line = 2, col = 13}}:
+f = { [/\] }
+    ^^^^^^^^
+
+  Internal error: Expected empty thunk leftunders, got:
+  (c1 :: Nat)
+

brat/test/golden/error/fanout-too-many-overs.brat.golden

@@ -0,0 +1,6 @@
+Error in test/golden/error/fanout-too-many-overs.brat@FC {start = Pos {line = 2, col = 5}, end = Pos {line = 2, col = 13}}:
+f = { [/\] }
+    ^^^^^^^^
+
+  Type error: No unders but overs: (head :: Nat) for [/\]
+