aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/library/lux/control/function/polymorphism/context.lux
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/library/lux/control/function/polymorphism/context.lux')
-rw-r--r--stdlib/source/library/lux/control/function/polymorphism/context.lux6
1 files changed, 3 insertions, 3 deletions
diff --git a/stdlib/source/library/lux/control/function/polymorphism/context.lux b/stdlib/source/library/lux/control/function/polymorphism/context.lux
index 576d44cf1..14ed33b80 100644
--- a/stdlib/source/library/lux/control/function/polymorphism/context.lux
+++ b/stdlib/source/library/lux/control/function/polymorphism/context.lux
@@ -56,7 +56,7 @@
(.def .public empty
Context
- (set.empty (at hash.functor each (|>> representation) symbol.hash)))
+ (set.empty (of hash.functor each (|>> representation) symbol.hash)))
))
(with_template [<name> <change>]
@@ -146,10 +146,10 @@
(do meta.monad
[[(, g!_) (, g!_) (, g!_) (, g!_) (, g!_) (, g!_) (, g!_) (, g!scenarios)]
(context.search' (|>> product.left
- (at text.equivalence (,' =) (, (code.text (the #name signature)))))
+ (of text.equivalence (,' =) (, (code.text (the #name signature)))))
[(.in_module# (, (code.text @)) ..stack)
(symbol ..stack)])]
- (at meta.monad (,' in)
+ (of meta.monad (,' in)
(list (` (.def (, export_policy) (, name)
(, (quoted (` (<| (,* quantifications)
(-> (,* inputs) (Reader (, context) (, output)))))))