Fixed the indentation of variants.

1 files changed, 35 insertions, 35 deletions

diff --git a/lux-jvm/source/program.lux b/lux-jvm/source/program.lux
index e3244f410..7ae009ad4 100644
--- a/lux-jvm/source/program.lux
+++ b/lux-jvm/source/program.lux
@@ -153,59 +153,59 @@
         write! (: (-> Text Nat Synthesis Synthesis Synthesis)
                   (function (_ element_class index value array)
                     ({#$.Extension "jvm array write object"
-                      (list (jvm_type (jvm/type.array (jvm/type.class element_class (list))))
-                            (literal_nat index)
-                            value
-                            array)})))
+                                   (list (jvm_type (jvm/type.array (jvm/type.class element_class (list))))
+                                         (literal_nat index)
+                                         value
+                                         array)})))
         object_array (: (-> Text Nat Synthesis)
                         (function (_ class_name size)
                           {#$.Extension "jvm array new object"
-                           (list (class_type class_name)
-                                 (literal_nat size))}))
+                                        (list (class_type class_name)
+                                              (literal_nat size))}))
         class_of (: (-> Synthesis Synthesis)
                     (function (_ object)
                       {#$.Extension "jvm member invoke virtual"
-                       (list& (class_type "java.lang.Object")
-                              ($.text "getClass")
-                              (class_type "java.lang.Class")
-                              object
-                              (list))}))
+                                    (list& (class_type "java.lang.Object")
+                                           ($.text "getClass")
+                                           (class_type "java.lang.Class")
+                                           object
+                                           (list))}))
         input (: (All (_ c) (-> (jvm/type.Type c) Synthesis Synthesis))
                  (function (_ value_type value)
                    ($.tuple (list (jvm_type value_type) value))))
         
         example_object {#$.Extension "jvm member invoke constructor"
-                        (list& (class_type "java.lang.Object")
-                               (list))}
+                                     (list& (class_type "java.lang.Object")
+                                            (list))}
         phase_arity 3
         $phase ($.variable/local 1)
         $archive ($.variable/local 2)
         $input ($.variable/local 3)
         $state ($.variable/local 4)
         apply_method {#$.Extension "jvm member invoke virtual"
-                      (list& (class_type "java.lang.Class")
-                             ($.text "getMethod")
-                             (class_type "java.lang.reflect.Method")
-                             (class_of $phase)
-                             (list (input java/lang/String
-                                          ($.text runtime.apply_method))
-                                   (input <java/lang/Class>
-                                          (|> (object_array "java.lang.Class" phase_arity)
-                                              (write! "java.lang.Class" 0 (class_of example_object))
-                                              (write! "java.lang.Class" 1 (class_of example_object))
-                                              (write! "java.lang.Class" 2 (class_of example_object))))))}]
+                                   (list& (class_type "java.lang.Class")
+                                          ($.text "getMethod")
+                                          (class_type "java.lang.reflect.Method")
+                                          (class_of $phase)
+                                          (list (input java/lang/String
+                                                       ($.text runtime.apply_method))
+                                                (input <java/lang/Class>
+                                                       (|> (object_array "java.lang.Class" phase_arity)
+                                                           (write! "java.lang.Class" 0 (class_of example_object))
+                                                           (write! "java.lang.Class" 1 (class_of example_object))
+                                                           (write! "java.lang.Class" 2 (class_of example_object))))))}]
     {#$.Extension "jvm member invoke virtual"
-     (list& (class_type "java.lang.reflect.Method")
-            ($.text "invoke")
-            (class_type "java.lang.Object")
-            apply_method
-            (list (input java/lang/Object
-                         $phase)
-                  (input <java/lang/Object>
-                         (|> (object_array "java.lang.Object" phase_arity)
-                             (write! "java.lang.Object" 0 $archive)
-                             (write! "java.lang.Object" 1 $input)
-                             (write! "java.lang.Object" 2 $state)))))}))
+                  (list& (class_type "java.lang.reflect.Method")
+                         ($.text "invoke")
+                         (class_type "java.lang.Object")
+                         apply_method
+                         (list (input java/lang/Object
+                                      $phase)
+                               (input <java/lang/Object>
+                                      (|> (object_array "java.lang.Object" phase_arity)
+                                          (write! "java.lang.Object" 0 $archive)
+                                          (write! "java.lang.Object" 1 $input)
+                                          (write! "java.lang.Object" 2 $state)))))}))
 
 (def: (phase_wrapper archive)
   (-> Archive (generation.Operation _.Anchor _.Inst _.Definition phase.Wrapper))