From b216900093c905b3b20dd45c69e577b192e2f7a3 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Wed, 25 Aug 2021 16:47:50 -0400 Subject: Updates to the Lua compiler. --- stdlib/source/test/aedifex/cli.lux | 10 ++++++---- stdlib/source/test/aedifex/input.lux | 2 +- stdlib/source/test/aedifex/project.lux | 10 +++++----- 3 files changed, 12 insertions(+), 10 deletions(-) (limited to 'stdlib/source/test/aedifex') diff --git a/stdlib/source/test/aedifex/cli.lux b/stdlib/source/test/aedifex/cli.lux index 45ec92f4e..9712d8a93 100644 --- a/stdlib/source/test/aedifex/cli.lux +++ b/stdlib/source/test/aedifex/cli.lux @@ -12,7 +12,9 @@ [parser ["." cli]]] [data - ["." text ("#\." equivalence)]] + ["." text] + [collection + ["." list]]] [math ["." random (#+ Random) ("#\." monad)]]]] [\\program @@ -74,8 +76,8 @@ (|> expected ..format (cli.result /.command) - (case> (#try.Success [name actual]) - (and (text\= //.default name) + (case> (#try.Success [names actual]) + (and (\ (list.equivalence text.equivalence) = (list //.default) names) (\ /.equivalence = expected actual)) (#try.Failure error) @@ -92,7 +94,7 @@ (list& "with" expected_profile) (cli.result /.command) (case> (#try.Success [actual_profile actual_command]) - (and (text\= expected_profile actual_profile) + (and (\ (list.equivalence text.equivalence) = (list expected_profile //.default) actual_profile) (\ /.equivalence = expected_command actual_command)) (#try.Failure error) diff --git a/stdlib/source/test/aedifex/input.lux b/stdlib/source/test/aedifex/input.lux index 993e67088..905075adc 100644 --- a/stdlib/source/test/aedifex/input.lux +++ b/stdlib/source/test/aedifex/input.lux @@ -56,7 +56,7 @@ (\ utf8.codec encoded))] _ (\ fs write profile //project.file) actual (: (Async (Try Profile)) - (/.read async.monad fs //.default))] + (/.read async.monad fs (list //.default)))] (in (\ //.equivalence = (|> expected (revised@ #//.sources ..with_default_source) diff --git a/stdlib/source/test/aedifex/project.lux b/stdlib/source/test/aedifex/project.lux index ebf37db81..c11444355 100644 --- a/stdlib/source/test/aedifex/project.lux +++ b/stdlib/source/test/aedifex/project.lux @@ -73,24 +73,24 @@ (/.project sub_name (with@ #//.parents (list super_name) sub_profile)))]] ($_ _.and (_.cover [/.profile] - (and (|> (/.profile super_name project) + (and (|> (/.profile project super_name) (try\each (\ //.equivalence = super_profile)) (try.else false)) - (|> (/.profile dummy_name project) + (|> (/.profile project dummy_name) (try\each (\ //.equivalence = dummy_profile)) (try.else false)) - (|> (/.profile sub_name project) + (|> (/.profile project sub_name) (try\each (\ //.equivalence = (\ //.monoid composite sub_profile super_profile))) (try.else false)))) (_.cover [/.unknown_profile] - (case (/.profile fake_name project) + (case (/.profile project fake_name) (#try.Success _) false (#try.Failure error) (exception.match? /.unknown_profile error))) (_.cover [/.circular_dependency] - (case (/.profile sub_name circular) + (case (/.profile circular sub_name) (#try.Success _) false -- cgit v1.2.3