diff options
Diffstat (limited to 'stdlib/source/lux/type/implicit.lux')
-rw-r--r-- | stdlib/source/lux/type/implicit.lux | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/source/lux/type/implicit.lux b/stdlib/source/lux/type/implicit.lux index e1d3a21f7..8e1c92f84 100644 --- a/stdlib/source/lux/type/implicit.lux +++ b/stdlib/source/lux/type/implicit.lux @@ -210,7 +210,7 @@ [[tvars alt-type] (concrete-type alt-type) #let [[deps alt-type] (type.flatten-function alt-type)] _ (tc.check dep alt-type) - context' tc.get-context + context' tc.context =deps (monad.map @ (provision compiler context') deps)] (wrap =deps))) (#.Left error) @@ -261,7 +261,7 @@ _ (tc.check alt-type sig-type) member-type (find-member-type member-idx alt-type) _ (check-apply member-type input-types output-type) - context' tc.get-context + context' tc.context =deps (monad.map @ (provision compiler context') deps)] (wrap =deps))) (#.Left error) |