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 | 4 |
2 files changed, 3 insertions, 3 deletions
diff --git a/stdlib/test/test/lux/type.lux b/stdlib/test/test/lux/type.lux index 617921e33..3953fcb5b 100644 --- a/stdlib/test/test/lux/type.lux +++ b/stdlib/test/test/lux/type.lux @@ -53,7 +53,7 @@ (test "Can apply quantified types (universal and existential quantification)." (and (maybe;default false (do maybe;Monad<Maybe> - [partial (&;apply (list Bool) Meta) + [partial (&;apply (list Bool) Ann) full (&;apply (list Int) partial)] (wrap (:: &;Eq<Type> = full (#;Product Bool Int))))) (|> (&;apply (list Bool) Text) diff --git a/stdlib/test/test/lux/type/check.lux b/stdlib/test/test/lux/type/check.lux index 938bb44b1..67000157d 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? (#;Apply data (#;Apply meta Meta)) + (and (@;checks? (|> Ann (#;Apply meta) (#;Apply data)) (type;tuple (list meta data))) (@;checks? (type;tuple (list meta data)) - (#;Apply data (#;Apply meta Meta)))))) + (|> Ann (#;Apply meta) (#;Apply data)))))) (context: "Host types" [nameL gen-name |