aboutsummaryrefslogtreecommitdiff
path: root/stdlib/test
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/test')
-rw-r--r--stdlib/test/test/lux/type.lux2
-rw-r--r--stdlib/test/test/lux/type/check.lux10
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"