diff options
author | Eduardo Julian | 2016-12-15 00:36:58 -0400 |
---|---|---|
committer | Eduardo Julian | 2016-12-15 00:36:58 -0400 |
commit | 35832f8e115e087a949cc5c7b0832cdef43f2d41 (patch) | |
tree | b3b41e425aababdf78055c60277a30cb00a70446 /stdlib/source/lux.lux | |
parent | 70c30b91b83426c04ff3c5f1f54e2dde993f2302 (diff) |
- Updated tests for lux/type.
- Added tests for lux/type/check and lux/type/auto.
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/lux.lux | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/stdlib/source/lux.lux b/stdlib/source/lux.lux index de985db95..b834649e8 100644 --- a/stdlib/source/lux.lux +++ b/stdlib/source/lux.lux @@ -3254,8 +3254,8 @@ _ (list type)))] - [flatten-sum #;SumT] - [flatten-prod #;ProdT] + [flatten-variant #;SumT] + [flatten-tuple #;ProdT] [flatten-lambda #;LambdaT] [flatten-app #;AppT] ) @@ -3264,7 +3264,7 @@ (-> Type (Maybe (List Type))) (case type (#ProdT _) - (#Some (flatten-prod type)) + (#Some (flatten-tuple type)) (#AppT fun arg) (do Monad<Maybe> @@ -4059,10 +4059,10 @@ "Unit" (#SumT _) - ($_ Text/append "(| " (|> (flatten-sum type) (map Type/show) (interpose " ") reverse (fold Text/append "")) ")") + ($_ Text/append "(| " (|> (flatten-variant type) (map Type/show) (interpose " ") reverse (fold Text/append "")) ")") (#ProdT _) - ($_ Text/append "[" (|> (flatten-prod type) (map Type/show) (interpose " ") reverse (fold Text/append "")) "]") + ($_ Text/append "[" (|> (flatten-tuple type) (map Type/show) (interpose " ") reverse (fold Text/append "")) "]") (#LambdaT _) ($_ Text/append "(-> " (|> (flatten-lambda type) (map Type/show) (interpose " ") reverse (fold Text/append "")) ")") |