diff options
Diffstat (limited to 'stdlib/source/test/lux/data/collection/array.lux')
| -rw-r--r-- | stdlib/source/test/lux/data/collection/array.lux | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/stdlib/source/test/lux/data/collection/array.lux b/stdlib/source/test/lux/data/collection/array.lux index 78c933714..b2757b863 100644 --- a/stdlib/source/test/lux/data/collection/array.lux +++ b/stdlib/source/test/lux/data/collection/array.lux @@ -12,7 +12,6 @@ [data ["." bit] ["." maybe] - ["." text ("#\." equivalence)] [collection ["." list] ["." set]]] @@ -108,9 +107,9 @@ (n.= size (/.size (: (Array Nat) (/.new size))))) (_.cover [/.type_name] - (case (:of (/.new size)) - (^ (#.UnivQ _ (#.Apply _ (#.Named _ (#.UnivQ _ (#.Primitive nominal_type (list (#.Parameter 1)))))))) - (text\= /.type_name nominal_type) + (case /.Array + (^ (#.Named _ (#.UnivQ _ (#.Primitive nominal_type (list (#.Parameter 1)))))) + (is? /.type_name nominal_type) _ false)) |