From 1c93f003f73116202b1f964b0d1b6d3f07b69fb0 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Tue, 14 Sep 2021 02:01:49 -0400 Subject: No more "^slots". --- stdlib/source/test/lux.lux | 5 ----- 1 file changed, 5 deletions(-) (limited to 'stdlib/source/test/lux.lux') 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 -- cgit v1.2.3