diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/library/lux/type/check.lux | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/source/library/lux/type/check.lux b/stdlib/source/library/lux/type/check.lux index a42a519df..ed8afab5b 100644 --- a/stdlib/source/library/lux/type/check.lux +++ b/stdlib/source/library/lux/type/check.lux @@ -323,9 +323,9 @@ (def: .public fresh_context Type_Context - {#.var_counter 0 + [#.var_counter 0 #.ex_counter 0 - #.var_bindings (list)}) + #.var_bindings (list)]) (def: (attempt op) (All (_ a) (-> (Check a) (Check (Maybe a)))) |