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/program/aedifex/input.lux | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'stdlib/source/program/aedifex/input.lux') diff --git a/stdlib/source/program/aedifex/input.lux b/stdlib/source/program/aedifex/input.lux index c85970a5b..13d7159ba 100644 --- a/stdlib/source/program/aedifex/input.lux +++ b/stdlib/source/program/aedifex/input.lux @@ -58,5 +58,5 @@ (do [! try.monad] [it it it (..project_parser it) - it (monad.each ! (//project.profile it) (partial_list //profile.default profiles))] + it (monad.each ! (//project.profile it) (list.partial //profile.default profiles))] (in (mix.with_monoid //profile.monoid list.mix it))))))) -- cgit v1.2.3