aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/test
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/test')
-rw-r--r--stdlib/source/test/lux/control/parser/xml.lux22
-rw-r--r--stdlib/source/test/lux/data/collection/dictionary/ordered.lux6
-rw-r--r--stdlib/source/test/lux/data/collection/tree.lux6
-rw-r--r--stdlib/source/test/lux/data/format/json.lux10
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/case.lux4
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/phase/extension/analysis/lux.lux4
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/case.lux6
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/function.lux86
-rw-r--r--stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/variable.lux30
-rw-r--r--stdlib/source/test/lux/type/check.lux2
10 files changed, 88 insertions, 88 deletions
diff --git a/stdlib/source/test/lux/control/parser/xml.lux b/stdlib/source/test/lux/control/parser/xml.lux
index 15c1fdd88..511f56e78 100644
--- a/stdlib/source/test/lux/control/parser/xml.lux
+++ b/stdlib/source/test/lux/control/parser/xml.lux
@@ -101,16 +101,16 @@
(//.after (/.attribute expected_attribute))
(//\in []))
(list {#xml.Node expected_tag
- (|> (dictionary.empty name.hash)
- (dictionary.has expected_attribute expected_value))
- (list)}))
+ (|> (dictionary.empty name.hash)
+ (dictionary.has expected_attribute expected_value))
+ (list)}))
(!expect {#try.Success []}))))
(!failure /.unknown_attribute
[[(/.attribute ["" expected])
{#xml.Node [expected expected]
- (|> (dictionary.empty name.hash)
- (dictionary.has [expected ""] expected))
- (list)}]])
+ (|> (dictionary.empty name.hash)
+ (dictionary.has [expected ""] expected))
+ (list)}]])
(!failure /.empty_input
[[(do //.monad
[_ /.any]
@@ -125,16 +125,16 @@
(/.node [expected expected]
(//\in [])))
{#xml.Node [expected expected]
- (dictionary.empty name.hash)
- (list)}]
+ (dictionary.empty name.hash)
+ (list)}]
[(do //.monad
[_ /.any]
(/.node [expected expected]
(/.attribute [expected expected])))
{#xml.Node [expected expected]
- (|> (dictionary.empty name.hash)
- (dictionary.has [expected expected] expected))
- (list)}]])
+ (|> (dictionary.empty name.hash)
+ (dictionary.has [expected expected] expected))
+ (list)}]])
(!failure /.unexpected_input
[[/.text
{#xml.Node [expected expected] (dictionary.empty name.hash) (list)}]
diff --git a/stdlib/source/test/lux/data/collection/dictionary/ordered.lux b/stdlib/source/test/lux/data/collection/dictionary/ordered.lux
index 94dd0e61d..004b8e608 100644
--- a/stdlib/source/test/lux/data/collection/dictionary/ordered.lux
+++ b/stdlib/source/test/lux/data/collection/dictionary/ordered.lux
@@ -58,9 +58,9 @@
pairs)
sorted_values (list\each product.right sorted_pairs)
(^open "list\[0]") (list.equivalence (: (Equivalence [Nat Nat])
- (function (_ [kr vr] [ks vs])
- (and (n.= kr ks)
- (n.= vr vs)))))
+ (function (_ [kr vr] [ks vs])
+ (and (n.= kr ks)
+ (n.= vr vs)))))
(^open "/\[0]") (/.equivalence n.equivalence)]]
($_ _.and
(_.for [/.equivalence]
diff --git a/stdlib/source/test/lux/data/collection/tree.lux b/stdlib/source/test/lux/data/collection/tree.lux
index 38320588c..0e18e595e 100644
--- a/stdlib/source/test/lux/data/collection/tree.lux
+++ b/stdlib/source/test/lux/data/collection/tree.lux
@@ -79,13 +79,13 @@
(list expected/0 expected/1 expected/2)
(/.flat (/.tree expected/0
{expected/1 {}
- expected/2 {}})))
+ expected/2 {}})))
(\ (list.equivalence n.equivalence) =
(list expected/0 expected/1 expected/2
expected/3 expected/4 expected/5)
(/.flat (/.tree expected/0
{expected/1 {}
- expected/2 {expected/3 {}
- expected/4 {expected/5 {}}}})))
+ expected/2 {expected/3 {}
+ expected/4 {expected/5 {}}}})))
)))
)))
diff --git a/stdlib/source/test/lux/data/format/json.lux b/stdlib/source/test/lux/data/format/json.lux
index 1e5015f46..0b6a33e05 100644
--- a/stdlib/source/test/lux/data/format/json.lux
+++ b/stdlib/source/test/lux/data/format/json.lux
@@ -175,11 +175,11 @@
))
(\= {#/.Array <array_row>} (/.json [#null <boolean> <number> <string>]))
(let [object (/.json {<key0> #null
- <key1> <boolean>
- <key2> <number>
- <key3> <string>
- <key4> [#null <boolean> <number> <string>]
- <key5> {<key6> <number>}})]
+ <key1> <boolean>
+ <key2> <number>
+ <key3> <string>
+ <key4> [#null <boolean> <number> <string>]
+ <key5> {<key6> <number>}})]
(<| (try.else false)
(do try.monad
[value0 (/.field <key0> object)
diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/case.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/case.lux
index c152bb5c2..481f8a73e 100644
--- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/case.lux
+++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/analysis/case.lux
@@ -164,10 +164,10 @@
(do phase.monad
[_ (//module.declare_tags variant_tags false
{#.Named [module_name variant_name]
- (type.variant primitivesT)})
+ (type.variant primitivesT)})
_ (//module.declare_tags record_tags false
{#.Named [module_name record_name]
- (type.tuple primitivesT)})])
+ (type.tuple primitivesT)})])
(//module.with_module 0 module_name)))]
exhaustive_patterns (exhaustive_branches true variantTC inputC)
.let [exhaustive_branchesC (list\each (branch outputC)
diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/extension/analysis/lux.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/extension/analysis/lux.lux
index aaf4f1ae6..166aa24f6 100644
--- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/extension/analysis/lux.lux
+++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/extension/analysis/lux.lux
@@ -36,8 +36,8 @@
[(def: (<name> procedure params output_type)
(-> Text (List Code) Type Bit)
(|> (////scope.with_scope ""
- (////type.with_type output_type
- (_primitive.phase archive.empty (` ((~ (code.text procedure)) (~+ params))))))
+ (////type.with_type output_type
+ (_primitive.phase archive.empty (` ((~ (code.text procedure)) (~+ params))))))
(phase.result _primitive.state)
(case> {#try.Success _}
<success>
diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/case.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/case.lux
index 881c2f678..2c59172e6 100644
--- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/case.lux
+++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/case.lux
@@ -172,9 +172,9 @@
then random.nat
else random.nat]
(in [{#synthesis.Alt {#synthesis.Seq (synthesis.path/bit test)
- {#synthesis.Then (synthesis.i64 (.i64 then))}}
- {#synthesis.Seq (synthesis.path/bit (not test))
- {#synthesis.Then (synthesis.i64 (.i64 else))}}}
+ {#synthesis.Then (synthesis.i64 (.i64 then))}}
+ {#synthesis.Seq (synthesis.path/bit (not test))
+ {#synthesis.Then (synthesis.i64 (.i64 else))}}}
[[#analysis.when (analysis.pattern/bit test)
#analysis.then (analysis.nat then)]
(list [#analysis.when (analysis.pattern/bit (not test))
diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/function.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/function.lux
index 5396c5b9c..687fc849c 100644
--- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/function.lux
+++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/function.lux
@@ -57,7 +57,7 @@
(list\each (|>> #variable.Foreign)
(list.indices arity_1))
(list {#variable.Local 1}))
- body}))
+ body}))
body
(list.reversed (list.indices arity))))
@@ -212,29 +212,29 @@
synthesis.path/pop
(synthesis.path/then expected_output))))])
{#analysis.Case actual_input
- [[#analysis.when (analysis.pattern/unit)
- #analysis.then actual_output]
- (list [#analysis.when (analysis.pattern/bit bit_test)
- #analysis.then actual_output]
- [#analysis.when (analysis.pattern/nat (.nat i64_test))
- #analysis.then actual_output]
- [#analysis.when (analysis.pattern/frac f64_test)
- #analysis.then actual_output]
- [#analysis.when (analysis.pattern/text text_test)
- #analysis.then actual_output]
- [#analysis.when {#analysis.Bind 2}
- #analysis.then actual_output]
- [#analysis.when (analysis.pattern/variant
- [#analysis.lefts lefts
- #analysis.right? right?
- #analysis.value {#analysis.Bind 2}])
- #analysis.then actual_output]
- [#analysis.when (analysis.pattern/tuple
- (list\composite (list.repeated lefts (analysis.pattern/unit))
- (if right?
- (list (analysis.pattern/unit) {#analysis.Bind 2})
- (list {#analysis.Bind 2} (analysis.pattern/unit)))))
- #analysis.then actual_output])]}])))
+ [[#analysis.when (analysis.pattern/unit)
+ #analysis.then actual_output]
+ (list [#analysis.when (analysis.pattern/bit bit_test)
+ #analysis.then actual_output]
+ [#analysis.when (analysis.pattern/nat (.nat i64_test))
+ #analysis.then actual_output]
+ [#analysis.when (analysis.pattern/frac f64_test)
+ #analysis.then actual_output]
+ [#analysis.when (analysis.pattern/text text_test)
+ #analysis.then actual_output]
+ [#analysis.when {#analysis.Bind 2}
+ #analysis.then actual_output]
+ [#analysis.when (analysis.pattern/variant
+ [#analysis.lefts lefts
+ #analysis.right? right?
+ #analysis.value {#analysis.Bind 2}])
+ #analysis.then actual_output]
+ [#analysis.when (analysis.pattern/tuple
+ (list\composite (list.repeated lefts (analysis.pattern/unit))
+ (if right?
+ (list (analysis.pattern/unit) {#analysis.Bind 2})
+ (list {#analysis.Bind 2} (analysis.pattern/unit)))))
+ #analysis.then actual_output])]}])))
(def: (random_let arity random_value output?)
(-> Arity Scenario Scenario)
@@ -247,9 +247,9 @@
(++ arity)
expected_output])
{#analysis.Case actual_input
- [[#analysis.when {#analysis.Bind 2}
- #analysis.then actual_output]
- (list)]}])))
+ [[#analysis.when {#analysis.Bind 2}
+ #analysis.then actual_output]
+ (list)]}])))
(def: (random_if random_value output?)
(-> Scenario Scenario)
@@ -266,15 +266,15 @@
expected_else])
(if flip?
{#analysis.Case actual_test
- [[#analysis.when (analysis.pattern/bit false)
- #analysis.then actual_else]
- (list [#analysis.when (analysis.pattern/bit true)
- #analysis.then actual_then])]}
+ [[#analysis.when (analysis.pattern/bit false)
+ #analysis.then actual_else]
+ (list [#analysis.when (analysis.pattern/bit true)
+ #analysis.then actual_then])]}
{#analysis.Case actual_test
- [[#analysis.when (analysis.pattern/bit true)
- #analysis.then actual_then]
- (list [#analysis.when (analysis.pattern/bit false)
- #analysis.then actual_else])]})])))
+ [[#analysis.when (analysis.pattern/bit true)
+ #analysis.then actual_then]
+ (list [#analysis.when (analysis.pattern/bit false)
+ #analysis.then actual_else])]})])))
(def: (random_get random_value output?)
(-> Scenario Scenario)
@@ -288,13 +288,13 @@
{#.Left lefts}))
expected_record])
{#analysis.Case actual_record
- [[#analysis.when (analysis.pattern/tuple
- (list\composite (list.repeated lefts (analysis.pattern/unit))
- (if right?
- (list (analysis.pattern/unit) {#analysis.Bind 2})
- (list {#analysis.Bind 2} (analysis.pattern/unit)))))
- #analysis.then {#analysis.Reference (reference.local 2)}]
- (list)]}])))
+ [[#analysis.when (analysis.pattern/tuple
+ (list\composite (list.repeated lefts (analysis.pattern/unit))
+ (if right?
+ (list (analysis.pattern/unit) {#analysis.Bind 2})
+ (list {#analysis.Bind 2} (analysis.pattern/unit)))))
+ #analysis.then {#analysis.Reference (reference.local 2)}]
+ (list)]}])))
(def: (random_branch arity random_value output?)
(-> Arity Scenario Scenario)
@@ -357,7 +357,7 @@
#synthesis.inits (list)
#synthesis.iteration expected_output])])
{#analysis.Function environment
- actual_output}])))
+ actual_output}])))
(def: (random_apply random_value output?)
(-> Scenario Scenario)
diff --git a/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/variable.lux b/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/variable.lux
index b7713c5bd..85fef40c0 100644
--- a/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/variable.lux
+++ b/stdlib/source/test/lux/tool/compiler/language/lux/phase/synthesis/variable.lux
@@ -75,13 +75,13 @@
[expected_output actual_output] (scenario (revised@ #redundants ++ context))]
(in [(synthesis.branch/case [expected_input
{#synthesis.Seq #synthesis.Pop
- {#synthesis.Then expected_output}}])
+ {#synthesis.Then expected_output}}])
(if let?
(synthesis.branch/let [actual_input fake_register actual_output])
(synthesis.branch/case [actual_input
{#synthesis.Seq {#synthesis.Bind fake_register}
- {#synthesis.Seq #synthesis.Pop
- {#synthesis.Then actual_output}}}]))]))
+ {#synthesis.Seq #synthesis.Pop
+ {#synthesis.Then actual_output}}}]))]))
(scenario context))))
(def: (variant_scenario scenario context)
@@ -161,9 +161,9 @@
[_ (in [])
[expected_then actual_then] (scenario context)]
(in [{#synthesis.Seq #synthesis.Pop
- {#synthesis.Then expected_then}}
+ {#synthesis.Then expected_then}}
{#synthesis.Seq #synthesis.Pop
- {#synthesis.Then actual_then}}]))
+ {#synthesis.Then actual_then}}]))
(do [! random.monad]
[_ (in [])
.let [real_register (dictionary.size (value@ #necessary context))
@@ -171,20 +171,20 @@
(dictionary.size (value@ #necessary context)))]
[expected_then actual_then] (scenario (revised@ #necessary (dictionary.has real_register fake_register) context))]
(in [{#synthesis.Seq {#synthesis.Bind real_register}
- {#synthesis.Seq #synthesis.Pop
- {#synthesis.Then expected_then}}}
+ {#synthesis.Seq #synthesis.Pop
+ {#synthesis.Then expected_then}}}
{#synthesis.Seq {#synthesis.Bind fake_register}
- {#synthesis.Seq #synthesis.Pop
- {#synthesis.Then actual_then}}}])))
+ {#synthesis.Seq #synthesis.Pop
+ {#synthesis.Then actual_then}}}])))
($_ random.either
(~~ (template [<tag> <random>]
[(do [! random.monad]
[test <random>
[expected_then actual_then] (scenario context)]
(in [{#synthesis.Seq {#synthesis.Test {<tag> test}}
- {#synthesis.Then expected_then}}
+ {#synthesis.Then expected_then}}
{#synthesis.Seq {#synthesis.Test {<tag> test}}
- {#synthesis.Then actual_then}}]))]
+ {#synthesis.Then actual_then}}]))]
[#synthesis.Bit random.bit]
[#synthesis.I64 (\ ! each .i64 random.nat)]
@@ -196,16 +196,16 @@
[side ..random_side
[expected_next actual_next] (path_scenario scenario context)]
(in [{#synthesis.Seq {#synthesis.Access {#synthesis.Side side}}
- expected_next}
+ expected_next}
{#synthesis.Seq {#synthesis.Access {#synthesis.Side side}}
- actual_next}]))
+ actual_next}]))
(do [! random.monad]
[member ..random_member
[expected_next actual_next] (path_scenario scenario context)]
(in [{#synthesis.Seq {#synthesis.Access {#synthesis.Member member}}
- expected_next}
+ expected_next}
{#synthesis.Seq {#synthesis.Access {#synthesis.Member member}}
- actual_next}])))
+ actual_next}])))
(do [! random.monad]
[_ (in [])
[expected_left actual_left] (path_scenario scenario context)
diff --git a/stdlib/source/test/lux/type/check.lux b/stdlib/source/test/lux/type/check.lux
index 1f5c396e6..ed52a7d78 100644
--- a/stdlib/source/test/lux/type/check.lux
+++ b/stdlib/source/test/lux/type/check.lux
@@ -670,7 +670,7 @@
body random.nat]
(in (function (_ holeT)
{<tag> (list (funcT holeT) (argT holeT))
- {#.Parameter body}})))]
+ {#.Parameter body}})))]
[#.UnivQ]
[#.ExQ]