aboutsummaryrefslogtreecommitdiff
path: root/new-luxc/source/luxc/synthesizer/function.lux
diff options
context:
space:
mode:
Diffstat (limited to 'new-luxc/source/luxc/synthesizer/function.lux')
-rw-r--r--new-luxc/source/luxc/synthesizer/function.lux18
1 files changed, 9 insertions, 9 deletions
diff --git a/new-luxc/source/luxc/synthesizer/function.lux b/new-luxc/source/luxc/synthesizer/function.lux
index e8b2a7ec4..4d9970a3f 100644
--- a/new-luxc/source/luxc/synthesizer/function.lux
+++ b/new-luxc/source/luxc/synthesizer/function.lux
@@ -1,6 +1,6 @@
(;module:
lux
- (lux (data (coll [list "L/" Functor<List> Fold<List>])))
+ (lux (data (coll [list "list/" Functor<List>])))
(luxc (lang ["la" analysis]
["ls" synthesis])))
@@ -8,14 +8,14 @@
(-> Scope (List ls;Variable))
(|> scope
(get@ [#;captured #;mappings])
- (L/map (function [[_ _ ref]]
- (case ref
- (#;Local idx)
- (nat-to-int idx)
-
- (#;Captured idx)
- (|> idx n.inc nat-to-int (i.* -1))
- )))))
+ (list/map (function [[_ _ ref]]
+ (case ref
+ (#;Local idx)
+ (nat-to-int idx)
+
+ (#;Captured idx)
+ (|> idx n.inc nat-to-int (i.* -1))
+ )))))
(do-template [<name> <comp>]
[(def: #export (<name> var)