Handle qualified constructors in patterns

2019-12-11 09:02:32 +01:00
parent b9f585ebaf
commit d4f291f252
4 changed files with 21 additions and 14 deletions
@@ -0,0 +1,8 @@
+namespace Foo =
+  datatype x = A | B(int)
+
+contract Bar =
+  entrypoint f(a : Foo.x) =
+    switch(a)
+      Foo.A     => 0
+      Foo.B(n)  => n