Add examples with polymorphic vectors

CQCL · Oct 14, 2024 · 46bb285 · 46bb285
1 parent 69db9f9
commit 46bb285
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/brat/examples/fanout.brat b/brat/examples/fanout.brat
@@ -22,3 +22,9 @@ ext "" f :: { Vec(Qubit, 2) -o Bit }
 
 g(Qubit, Qubit) -o Bit
 g = [\/]; f
+
+poly(X :: *) -> { Vec(X, 3) -> X, X, X }
+poly(_) = { [/\] }
+
+poly2(X :: $) -> { X, X, X -o Vec(X, 3) }
+poly2(_) = { [\/] }