diff options
author | Eduardo Julian | 2021-09-14 02:01:49 -0400 |
---|---|---|
committer | Eduardo Julian | 2021-09-14 02:01:49 -0400 |
commit | 1c93f003f73116202b1f964b0d1b6d3f07b69fb0 (patch) | |
tree | 925f64cd59ab2ce48bccf6dd4df1142296d2094a /stdlib/source/test | |
parent | bca1a9cdcf837e184378d5e6339a969e40d1dbab (diff) |
No more "^slots".
Diffstat (limited to 'stdlib/source/test')
-rw-r--r-- | stdlib/source/test/lux.lux | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/stdlib/source/test/lux.lux b/stdlib/source/test/lux.lux index da7c16c26..c36f8b11f 100644 --- a/stdlib/source/test/lux.lux +++ b/stdlib/source/test/lux.lux @@ -949,11 +949,6 @@ (/.case expected_text (/.^or "+0.5" "+1.25") true _ false))) - (_.cover [/.^slots] - (/.case [#left expected_nat #right expected_int] - (/.^slots [#left #right]) - (and (/.same? expected_nat #left) - (/.same? expected_int #right)))) (_.cover [/.^] (/.case [#left expected_nat #right expected_int] (/.^ (!pair 0 +0)) true |