diff options
Diffstat (limited to 'stdlib/source/specification/compositor/generation')
| -rw-r--r-- | stdlib/source/specification/compositor/generation/common.lux | 42 |
1 files changed, 21 insertions, 21 deletions
diff --git a/stdlib/source/specification/compositor/generation/common.lux b/stdlib/source/specification/compositor/generation/common.lux index 9c03349f4..7aad9a7a7 100644 --- a/stdlib/source/specification/compositor/generation/common.lux +++ b/stdlib/source/specification/compositor/generation/common.lux @@ -59,8 +59,8 @@ <binary> (_.test "lux i64 arithmetic-right-shift" (|> {#synthesis.Extension "lux i64 arithmetic-right-shift" - (list (synthesis.i64 subject) - (synthesis.i64 param))} + (list (synthesis.i64 subject) + (synthesis.i64 param))} (run (..safe "lux i64 arithmetic-right-shift")) (case> {#try.Success valueT} ("lux i64 =" @@ -231,8 +231,8 @@ false))) (_.test "Can find index of sub-text." (and (|> {#synthesis.Extension "lux text index" - (list concatenatedS sample_lowerS - (synthesis.i64 +0))} + (list concatenatedS sample_lowerS + (synthesis.i64 +0))} (run (..safe "lux text index")) (case> (^multi {#try.Success valueV} [(:as (Maybe Nat) valueV) @@ -242,8 +242,8 @@ _ false)) (|> {#synthesis.Extension "lux text index" - (list concatenatedS sample_upperS - (synthesis.i64 +0))} + (list concatenatedS sample_upperS + (synthesis.i64 +0))} (run (..safe "lux text index")) (case> (^multi {#try.Success valueV} [(:as (Maybe Nat) valueV) @@ -255,9 +255,9 @@ (let [test_clip (: (-> (I64 Any) (I64 Any) Text Bit) (function (_ offset length expected) (|> {#synthesis.Extension "lux text clip" - (list concatenatedS - (synthesis.i64 offset) - (synthesis.i64 length))} + (list concatenatedS + (synthesis.i64 offset) + (synthesis.i64 length))} (run (..safe "lux text clip")) (case> (^multi {#try.Success valueV} [(:as (Maybe Text) valueV) @@ -271,8 +271,8 @@ (test_clip sample_size sample_size sample_upper)))) (_.test "Can extract individual characters from text." (|> {#synthesis.Extension "lux text char" - (list sample_lowerS - (synthesis.i64 char_idx))} + (list sample_lowerS + (synthesis.i64 char_idx))} (run (..safe "lux text char")) (case> (^multi {#try.Success valueV} [(:as (Maybe Int) valueV) @@ -291,7 +291,7 @@ ($_ _.and (_.test "Can log messages." (|> {#synthesis.Extension "lux io log" - (list (synthesis.text (format "LOG: " message)))} + (list (synthesis.text (format "LOG: " message)))} (run (..safe "lux io log")) (case> {#try.Success valueV} true @@ -300,11 +300,11 @@ false))) (_.test "Can throw runtime errors." (and (|> {#synthesis.Extension "lux try" - (list (synthesis.function/abstraction - [#synthesis.environment (list) - #synthesis.arity 1 - #synthesis.body {#synthesis.Extension "lux io error" - (list (synthesis.text message))}]))} + (list (synthesis.function/abstraction + [#synthesis.environment (list) + #synthesis.arity 1 + #synthesis.body {#synthesis.Extension "lux io error" + (list (synthesis.text message))}]))} (run (..safe "lux try")) (case> (^multi {#try.Success valueV} [(:as (Try Text) valueV) @@ -314,10 +314,10 @@ _ false)) (|> {#synthesis.Extension "lux try" - (list (synthesis.function/abstraction - [#synthesis.environment (list) - #synthesis.arity 1 - #synthesis.body (synthesis.text message)]))} + (list (synthesis.function/abstraction + [#synthesis.environment (list) + #synthesis.arity 1 + #synthesis.body (synthesis.text message)]))} (run (..safe "lux try")) (case> (^multi {#try.Success valueV} [(:as (Try Text) valueV) |