diff options
| author | Eduardo Julian | 2017-04-10 23:21:35 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2017-04-10 23:21:35 -0400 |
| commit | a1b2a8120921ccca79e95b8bd35b475b34dd9780 (patch) | |
| tree | 721634e556f66d3d8afcae181320c503c3b708df /stdlib/test | |
| parent | 6066515f7a9736210a04652636a634179939d185 (diff) | |
- Renamed "LambdaT" to "FunctionT".
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" |