diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/lux/abstract/comonad.lux | 8 | ||||
| -rw-r--r-- | stdlib/source/lux/abstract/monad.lux | 8 |
2 files changed, 10 insertions, 6 deletions
diff --git a/stdlib/source/lux/abstract/comonad.lux b/stdlib/source/lux/abstract/comonad.lux index 14515da25..0722d7a1b 100644 --- a/stdlib/source/lux/abstract/comonad.lux +++ b/stdlib/source/lux/abstract/comonad.lux @@ -4,7 +4,9 @@ [number ["n" nat]] [collection - ["." list ("#@." fold)]]]] + ["." list ("#@." fold)]]] + [meta + ["." location]]] [// [functor (#+ Functor)]]) @@ -44,7 +46,7 @@ (if (|> bindings list.size (n.% 2) (n.= 0)) (let [[module short] (name-of ..be) gensym (: (-> Text Code) - (|>> ($_ "lux text concat" module " " short " ") [""] #.Identifier [.dummy-location])) + (|>> ($_ "lux text concat" module " " short " ") [""] #.Identifier [location.dummy])) g!_ (gensym "_") g!map (gensym "map") g!split (gensym "split") @@ -62,7 +64,7 @@ (list.reverse (list.as-pairs bindings)))] (#.Right [state (list (case ?name (#.Some name) - (let [name [.dummy-location (#.Identifier ["" name])]] + (let [name [location.dummy (#.Identifier ["" name])]] (` ({(~ name) ({[(~ g!map) (~' unwrap) (~ g!split)] (~ body')} diff --git a/stdlib/source/lux/abstract/monad.lux b/stdlib/source/lux/abstract/monad.lux index c2b19362d..7cc5ae263 100644 --- a/stdlib/source/lux/abstract/monad.lux +++ b/stdlib/source/lux/abstract/monad.lux @@ -1,5 +1,7 @@ (.module: - [lux #*] + [lux #* + [meta + ["." location]]] [// [functor (#+ Functor)]]) @@ -70,7 +72,7 @@ (if (|> bindings list@size .int ("lux i64 %" +2) ("lux i64 =" +0)) (let [[module short] (name-of ..do) gensym (: (-> Text Code) - (|>> ($_ "lux text concat" module " " short " ") [""] #.Identifier [.dummy-location])) + (|>> ($_ "lux text concat" module " " short " ") [""] #.Identifier [location.dummy])) g!_ (gensym "_") g!map (gensym "map") g!join (gensym "join") @@ -88,7 +90,7 @@ (reverse (as-pairs bindings)))] (#.Right [state (list (case ?name (#.Some name) - (let [name [.dummy-location (#.Identifier ["" name])]] + (let [name [location.dummy (#.Identifier ["" name])]] (` ({(~ name) ({[(~ g!map) (~' wrap) (~ g!join)] (~ body')} |