diff options
| author | Eduardo Julian | 2017-06-21 23:33:01 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2017-06-21 23:33:01 -0400 |
| commit | 1a7aa7e3ed6fae612d2b22eacc5805bd786efdd9 (patch) | |
| tree | d822cdbc8e0fd9f04ffa4732dc11fbb98941b4f5 /stdlib/test | |
| parent | d0ec271e90a2be17d2ad5f5e23b0bb3006602bc8 (diff) | |
- Renamed "App" to "Apply" and swapped the order of the arguments to it.
- Also did argument swapping for lux/type;application.
Diffstat (limited to 'stdlib/test')
| -rw-r--r-- | stdlib/test/test/lux/type.lux | 4 | ||||
| -rw-r--r-- | stdlib/test/test/lux/type/check.lux | 4 |
2 files changed, 4 insertions, 4 deletions
diff --git a/stdlib/test/test/lux/type.lux b/stdlib/test/test/lux/type.lux index 8adc9384e..a4c1019f3 100644 --- a/stdlib/test/test/lux/type.lux +++ b/stdlib/test/test/lux/type.lux @@ -113,7 +113,7 @@ extra (|> gen-type (R;filter (function [type] (case type - (^or (#;Function _) (#;App _)) + (^or (#;Function _) (#;Apply _)) false _ @@ -127,7 +127,7 @@ (&/= extra output)))) (test "Can build and tear-down application types." - (let [[tfunc tparams] (|> members (&;application extra) &;flatten-application)] + (let [[tfunc tparams] (|> extra (&;application members) &;flatten-application)] (n.= (list;size members) (list;size tparams)))) )) diff --git a/stdlib/test/test/lux/type/check.lux b/stdlib/test/test/lux/type/check.lux index 1c4767a15..703d89d11 100644 --- a/stdlib/test/test/lux/type/check.lux +++ b/stdlib/test/test/lux/type/check.lux @@ -123,10 +123,10 @@ [meta gen-type data gen-type] (test "Can type-check type application." - (and (&;checks? (#;App (#;App Meta meta) data) + (and (&;checks? (#;Apply data (#;Apply meta Meta)) (type;tuple (list meta data))) (&;checks? (type;tuple (list meta data)) - (#;App (#;App Meta meta) data))))) + (#;Apply data (#;Apply meta Meta)))))) (context: "Host types" [nameL gen-name |