diff options
Diffstat (limited to 'stdlib/source/specification/compositor/generation/common.lux')
| -rw-r--r-- | stdlib/source/specification/compositor/generation/common.lux | 18 |
1 files changed, 12 insertions, 6 deletions
diff --git a/stdlib/source/specification/compositor/generation/common.lux b/stdlib/source/specification/compositor/generation/common.lux index c8dd72bf7..2db239415 100644 --- a/stdlib/source/specification/compositor/generation/common.lux +++ b/stdlib/source/specification/compositor/generation/common.lux @@ -235,7 +235,8 @@ (synthesis.i64 +0))) (run (..safe "lux text index")) (case> (^multi (#try.Success valueV) - {(:as (Maybe Nat) valueV) (#.Some valueV)}) + [(:as (Maybe Nat) valueV) + (#.Some valueV)]) (n.= 0 valueV) _ @@ -245,7 +246,8 @@ (synthesis.i64 +0))) (run (..safe "lux text index")) (case> (^multi (#try.Success valueV) - {(:as (Maybe Nat) valueV) (#.Some valueV)}) + [(:as (Maybe Nat) valueV) + (#.Some valueV)]) (n.= sample_size valueV) _ @@ -258,7 +260,8 @@ (synthesis.i64 length))) (run (..safe "lux text clip")) (case> (^multi (#try.Success valueV) - {(:as (Maybe Text) valueV) (#.Some valueV)}) + [(:as (Maybe Text) valueV) + (#.Some valueV)]) (text\= expected valueV) _ @@ -272,7 +275,8 @@ (synthesis.i64 char_idx))) (run (..safe "lux text char")) (case> (^multi (#try.Success valueV) - {(:as (Maybe Int) valueV) (#.Some valueV)}) + [(:as (Maybe Int) valueV) + (#.Some valueV)]) (text.contains? ("lux i64 char" valueV) sample_lower) @@ -303,7 +307,8 @@ (list (synthesis.text message)))]))) (run (..safe "lux try")) (case> (^multi (#try.Success valueV) - {(:as (Try Text) valueV) (#try.Failure error)}) + [(:as (Try Text) valueV) + (#try.Failure error)]) (text.contains? message error) _ @@ -315,7 +320,8 @@ #synthesis.body (synthesis.text message)]))) (run (..safe "lux try")) (case> (^multi (#try.Success valueV) - {(:as (Try Text) valueV) (#try.Success valueV)}) + [(:as (Try Text) valueV) + (#try.Success valueV)]) (text\= message valueV) _ |