diff options
| author | Eduardo Julian | 2017-10-16 22:23:48 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2017-10-16 22:23:48 -0400 |
| commit | b5e5cceb9f985a31581a76d71301b393d88f34a8 (patch) | |
| tree | 9a0df0af18d6e026171bc224db0d36d67c790e39 /stdlib/test | |
| parent | 25609806f670b4e6a5ef0b132929c1f4f96ed100 (diff) | |
- Re-named "Meta" type to "Ann".
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 |