Properly handle type errors during desugar

2021-01-25 21:24:08 +01:00
parent f1d95484a5
commit 22aaeceba8
3 changed files with 14 additions and 1 deletions
@@ -0,0 +1,5 @@
+contract C =
+  record state = { foo : int }
+  entrypoint init(i : int) =
+    state{ foo = i,
+           foo = 42 }