aboutsummaryrefslogtreecommitdiff
path: root/stdlib
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib')
-rw-r--r--stdlib/source/lux/language/type/check.lux10
-rw-r--r--stdlib/source/lux/type/implicit.lux4
2 files changed, 7 insertions, 7 deletions
diff --git a/stdlib/source/lux/language/type/check.lux b/stdlib/source/lux/language/type/check.lux
index a85480074..60864008f 100644
--- a/stdlib/source/lux/language/type/check.lux
+++ b/stdlib/source/lux/language/type/check.lux
@@ -203,7 +203,7 @@
#.None
(ex.throw unknown-type-var id))))
-(def: #export (write type id)
+(def: #export (bind type id)
(-> Type Var (Check Any))
(function (_ context)
(case (|> context (get@ #.var-bindings) (var::get id))
@@ -354,7 +354,7 @@
(Check a)))
($_ either
(do Monad<Check>
- [_ (write type id)]
+ [_ (..bind type id)]
then)
(do Monad<Check>
[ring (ring id)
@@ -368,8 +368,8 @@
(def: (link-2 left right)
(-> Var Var (Check Any))
(do Monad<Check>
- [_ (write (#.Var right) left)]
- (write (#.Var left) right)))
+ [_ (..bind (#.Var right) left)]
+ (..bind (#.Var left) right)))
(def: (link-3 interpose to from)
(-> Var Var Var (Check Any))
@@ -641,7 +641,7 @@
(#e.Success _)
true))
-(def: #export get-context
+(def: #export context
(Check Type-Context)
(function (_ context)
(#e.Success [context context])))
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)