Changed the syntax of do/be's (co)monad bindings.

7 files changed, 15 insertions, 15 deletions

diff --git a/lux-jvm/source/luxc/lang/translation/jvm/case.lux b/lux-jvm/source/luxc/lang/translation/jvm/case.lux
index 41511f300..33aa7f793 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/case.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/case.lux
@@ -130,7 +130,7 @@
 
     (^template [<tag> <unwrap> <dup> <pop> <test> <comparison> <if>]
       [(<tag> cons)
-       (do {@ phase.monad}
+       (do [@ phase.monad]
          [forkG (: (Operation Inst)
                    (monad.mix @ (function (_ [test thenP] elseG)
                                   (do @
diff --git a/lux-jvm/source/luxc/lang/translation/jvm/extension/common.lux b/lux-jvm/source/luxc/lang/translation/jvm/extension/common.lux
index 2d33970db..706c69c00 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/extension/common.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/extension/common.lux
@@ -95,7 +95,7 @@
              (function (_ extension_name phase archive [input else conditionals])
                (<| _.with_label (function (_ @end))
                    _.with_label (function (_ @else))
-                   (do {@ phase.monad}
+                   (do [@ phase.monad]
                      [inputG (phase archive input)
                       elseG (phase archive else)
                       conditionalsG+ (: (Operation (List [(List [Int Label])
diff --git a/lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux b/lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux
index 16ef783f2..802d13d3f 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux
@@ -733,7 +733,7 @@
   (..custom
    [($_ <>.and ..class <synthesis>.text ..return (<>.some ..input))
     (function (_ extension_name generate archive [class method outputT inputsTS])
-      (do {! phase.monad}
+      (do [! phase.monad]
         [inputsTI (monad.each ! (generate_input generate archive) inputsTS)]
         (in (|>> (_.fuse (list\each product.right inputsTI))
                  (_.INVOKESTATIC class method (type.method [(list) (list\each product.left inputsTI) outputT (list)]))
@@ -745,7 +745,7 @@
      (..custom
       [($_ <>.and ..class <synthesis>.text ..return <synthesis>.any (<>.some ..input))
        (function (_ extension_name generate archive [class method outputT objectS inputsTS])
-         (do {! phase.monad}
+         (do [! phase.monad]
            [objectI (generate archive objectS)
             inputsTI (monad.each ! (generate_input generate archive) inputsTS)]
            (in (|>> objectI
@@ -768,7 +768,7 @@
   (..custom
    [($_ <>.and ..class (<>.some ..input))
     (function (_ extension_name generate archive [class inputsTS])
-      (do {! phase.monad}
+      (do [! phase.monad]
         [inputsTI (monad.each ! (generate_input generate archive) inputsTS)]
         (in (|>> (_.NEW class)
                  _.DUP
@@ -989,7 +989,7 @@
 
 (def: (anonymous_instance generate archive class env)
   (-> Phase Archive (Type Class) (Environment Synthesis) (Operation Inst))
-  (do {! phase.monad}
+  (do [! phase.monad]
     [captureI+ (monad.each ! (generate archive) env)]
     (in (|>> (_.NEW class)
              _.DUP
@@ -1085,7 +1085,7 @@
                                                   super_interfaces
                                                   inputsTS
                                                   overriden_methods])
-      (do {! phase.monad}
+      (do [! phase.monad]
         [[context _] (generation.with_new_context archive (in []))
          .let [[module_id artifact_id] context
                anonymous_class_name (///.class_name context)
diff --git a/lux-jvm/source/luxc/lang/translation/jvm/function.lux b/lux-jvm/source/luxc/lang/translation/jvm/function.lux
index 69605bb8a..9cd5efdfb 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/function.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/function.lux
@@ -108,7 +108,7 @@
 
 (def: (instance generate archive class arity env)
   (-> Phase Archive (Type Class) Arity (Environment Synthesis) (Operation Inst))
-  (do {@ phase.monad}
+  (do [@ phase.monad]
     [captureI+ (monad.each @ (generate archive) env)
      .let [argsI (if (poly_arg? arity)
                    (|> (nullsI (-- arity))
@@ -305,7 +305,7 @@
 
 (def: .public (function' forced_context generate archive [env arity bodyS])
   (-> (Maybe Context) (Generator Abstraction))
-  (do {! phase.monad}
+  (do [! phase.monad]
     [@begin _.make_label
      [function_context bodyI] (case forced_context
                                 (#.Some function_context)
@@ -341,7 +341,7 @@
 
 (def: .public (call generate archive [functionS argsS])
   (Generator Apply)
-  (do {@ phase.monad}
+  (do [@ phase.monad]
     [functionI (generate archive functionS)
      argsI (monad.each @ (generate archive) argsS)
      .let [applyI (|> argsI
diff --git a/lux-jvm/source/luxc/lang/translation/jvm/loop.lux b/lux-jvm/source/luxc/lang/translation/jvm/loop.lux
index 260d14ca8..1583cbed3 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/loop.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/loop.lux
@@ -38,7 +38,7 @@
 
 (def: .public (recur translate archive argsS)
   (Generator (List Synthesis))
-  (do {@ phase.monad}
+  (do [@ phase.monad]
     [[@begin start] generation.anchor
      .let [pairs (|> argsS
                      list.enumeration
@@ -70,7 +70,7 @@
 
 (def: .public (scope translate archive [start initsS+ iterationS])
   (Generator [Nat (List Synthesis) Synthesis])
-  (do {@ phase.monad}
+  (do [@ phase.monad]
     [@begin _.make_label
      initsI+ (monad.each @ (translate archive) initsS+)
      iterationI (generation.with_anchor [@begin start]
diff --git a/lux-jvm/source/luxc/lang/translation/jvm/reference.lux b/lux-jvm/source/luxc/lang/translation/jvm/reference.lux
index 1adc46589..204fddfa8 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/reference.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/reference.lux
@@ -38,7 +38,7 @@
 
 (def: (foreign archive variable)
   (-> Archive Register (Operation Inst))
-  (do {@ phase.monad}
+  (do [@ phase.monad]
     [class_name (\ @ each //.class_name
                    (generation.context archive))]
     (in (|>> (_.ALOAD 0)
@@ -61,7 +61,7 @@
 
 (def: .public (constant archive name)
   (-> Archive Name (Operation Inst))
-  (do {@ phase.monad}
+  (do [@ phase.monad]
     [class_name (\ @ each //.class_name
                    (generation.remember archive name))]
     (in (_.GETSTATIC (type.class class_name (list)) //.value_field //.$Value))))
diff --git a/lux-jvm/source/luxc/lang/translation/jvm/structure.lux b/lux-jvm/source/luxc/lang/translation/jvm/structure.lux
index 109c44b22..8e4e309de 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/structure.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/structure.lux
@@ -44,7 +44,7 @@
 
 (def: .public (tuple generate archive members)
   (Generator (List Synthesis))
-  (do {@ phase.monad}
+  (do [@ phase.monad]
     [.let [size (list.size members)]
      _ (phase.assertion ..not_a_tuple size
                         (n.>= 2 size))