aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/specification/compositor/generation
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/specification/compositor/generation')
-rw-r--r--stdlib/source/specification/compositor/generation/common.lux42
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)