diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/library/lux/meta/type/check.lux | 12 |
1 files changed, 9 insertions, 3 deletions
diff --git a/stdlib/source/library/lux/meta/type/check.lux b/stdlib/source/library/lux/meta/type/check.lux index 718f27931..b36b2b112 100644 --- a/stdlib/source/library/lux/meta/type/check.lux +++ b/stdlib/source/library/lux/meta/type/check.lux @@ -784,7 +784,9 @@ (monad.each ..monad (clean aliases)) (check#each (|>> {.#Primitive name}))) - (^.or {.#Parameter _} {.#Ex _} {.#Named _}) + (^.or {.#Parameter _} + {.#Ex _} + {.#Named _}) (check#in inputT) (^.with_template [<tag>] @@ -793,7 +795,10 @@ [leftT' (clean aliases leftT)] (|> (clean aliases rightT) (check#each (|>> {<tag> leftT'}))))]) - ([.#Sum] [.#Product] [.#Function] [.#Apply]) + ([.#Sum] + [.#Product] + [.#Function] + [.#Apply]) {.#Var @it} (when aliases @@ -828,5 +833,6 @@ [envT+' (monad.each ! (clean aliases) envT+) unquantifiedT' (clean aliases unquantifiedT)] (in {<tag> envT+' unquantifiedT'}))]) - ([.#UnivQ] [.#ExQ]) + ([.#UnivQ] + [.#ExQ]) )) |