diff options
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 |