diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/test/test/lux/type.lux | 2 | ||||
| -rw-r--r-- | stdlib/test/test/lux/type/check.lux | 10 |
2 files changed, 6 insertions, 6 deletions
diff --git a/stdlib/test/test/lux/type.lux b/stdlib/test/test/lux/type.lux index 0ebc23489..705306150 100644 --- a/stdlib/test/test/lux/type.lux +++ b/stdlib/test/test/lux/type.lux @@ -112,7 +112,7 @@ extra (|> gen-type (R;filter (function [type] (case type - (^or (#;LambdaT _) (#;AppT _)) + (^or (#;FunctionT _) (#;AppT _)) false _ diff --git a/stdlib/test/test/lux/type/check.lux b/stdlib/test/test/lux/type/check.lux index 8235ff808..b57bec8e8 100644 --- a/stdlib/test/test/lux/type/check.lux +++ b/stdlib/test/test/lux/type/check.lux @@ -55,7 +55,7 @@ (^template [<tag>] (<tag> left right) (and (valid-type? left) (valid-type? right))) - ([#;SumT] [#;ProdT] [#;LambdaT]) + ([#;SumT] [#;ProdT] [#;FunctionT]) (#;NamedT name type') (valid-type? type') @@ -113,10 +113,10 @@ (#;NamedT ["module" "name"] ex)))))) (assert "Can type-check functions." - (and (&;checks? (#;LambdaT Bottom Top) - (#;LambdaT Top Bottom)) - (not (&;checks? (#;LambdaT Top Bottom) - (#;LambdaT Bottom Top))))) + (and (&;checks? (#;FunctionT Bottom Top) + (#;FunctionT Top Bottom)) + (not (&;checks? (#;FunctionT Top Bottom) + (#;FunctionT Bottom Top))))) )) (test: "Type application" |