From 616ce8051f59f956fedc57780f5a8fefa16dd61d Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Sun, 12 Jun 2022 14:19:07 -0400 Subject: Re-named "partial_list" to "list.partial". --- stdlib/source/test/lux.lux | 12 +----------- 1 file changed, 1 insertion(+), 11 deletions(-) (limited to 'stdlib/source/test/lux.lux') diff --git a/stdlib/source/test/lux.lux b/stdlib/source/test/lux.lux index 0d282e16f..68235d16c 100644 --- a/stdlib/source/test/lux.lux +++ b/stdlib/source/test/lux.lux @@ -176,16 +176,6 @@ (and (n.= e/0 a/0) (n.= e/1 a/1)) - _ - false)) - (_.coverage [/.partial_list] - (case (/.partial_list e/0 e/1 (/.list e/2 e/3)) - (pattern (/.partial_list a/0 a/1 (/.list a/2 a/3))) - (and (n.= e/0 a/0) - (n.= e/1 a/1) - (n.= e/2 a/2) - (n.= e/3 a/3)) - _ false)) ))) @@ -1114,7 +1104,7 @@ let/3 .local]) (in (list (code.bit (case (the .#scopes lux_state) - (pattern (partial_list scope/2 _)) + (pattern (list.partial scope/2 _)) (let [locals/2 (the .#locals scope/2) expected_locals/2 (set.of_list text.hash (list fn/2 var/2 let/2 let/3)) -- cgit v1.2.3