diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/library/lux/meta/type/poly.lux | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/stdlib/source/library/lux/meta/type/poly.lux b/stdlib/source/library/lux/meta/type/poly.lux index cccc9e518..a98fd211c 100644 --- a/stdlib/source/library/lux/meta/type/poly.lux +++ b/stdlib/source/library/lux/meta/type/poly.lux @@ -39,7 +39,7 @@ (, body))) (.as .Type (, g!type)))) {.#Right (, g!output)} - ((,' in) (.list (, g!output))) + (at ///.monad (,' in) (.list (, g!output))) {.#Left (, g!output)} (///.failure (, g!output)))))))))))) @@ -54,7 +54,8 @@ (^.with_template [<tag>] [{<tag> idx} (` {<tag> (, (code.nat idx))})]) - ([.#Var] [.#Ex]) + ([.#Var] + [.#Ex]) {.#Parameter idx} (let [idx (<//>.argument env idx)] @@ -72,7 +73,8 @@ [{<tag> left right} (` {<tag> (, (code env left)) (, (code env right))})]) - ([.#Function] [.#Apply]) + ([.#Function] + [.#Apply]) (^.with_template [<macro> <tag> <flattener>] [{<tag> left right} @@ -87,4 +89,5 @@ [{<tag> scope body} (` {<tag> (.list (,* (list#each (code env) scope))) (, (code env body))})]) - ([.#UnivQ] [.#ExQ]))) + ([.#UnivQ] + [.#ExQ]))) |