compiler: another file demo'ing #22 that's not fixed?

au-ts · Mar 6, 2018 · 2a348d5 · 2a348d5
1 parent d2a210a
commit 2a348d5
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/cogent/tests/pass_subtyping-member.cogent b/cogent/tests/pass_subtyping-member.cogent
@@ -0,0 +1,9 @@
+type A = {f1 : U32, f2 : Bool}
+type S
+
+free : (S, A take (..)) -> S
+
+foo : (S, A) -> S
+foo (s,a) = let x = a.f1 !a
+            and y = a.f2 !a
+            in free (s,a)