Fixed the indentation of variants.

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]