diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/test/test/lux/type.lux | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/stdlib/test/test/lux/type.lux b/stdlib/test/test/lux/type.lux index a4c1019f3..3896d6fcc 100644 --- a/stdlib/test/test/lux/type.lux +++ b/stdlib/test/test/lux/type.lux @@ -53,10 +53,10 @@ (test "Can apply quantified types (universal and existential quantification)." (and (default false (do Monad<Maybe> - [partial (&;apply-type Meta Bool) - full (&;apply-type partial Int)] + [partial (&;apply (list Bool) Meta) + full (&;apply (list Int) partial)] (wrap (:: &;Eq<Type> = full (#;Product Bool Int))))) - (|> (&;apply-type Text Bool) + (|> (&;apply (list Bool) Text) (case> #;None true _ false))))) (context: "Naming" |