From 132ffdae1add622c8a3c6065d7730a8fe8ea5e78 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sun, 5 Sep 2021 22:52:26 -0400
Subject: Changed the syntax of do/be's (co)monad bindings.

---
 lux-jvm/source/luxc/lang/translation/jvm/extension/common.lux |  2 +-
 lux-jvm/source/luxc/lang/translation/jvm/extension/host.lux   | 10 +++++-----
 2 files changed, 6 insertions(+), 6 deletions(-)

(limited to 'lux-jvm/source/luxc/lang/translation/jvm/extension')

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)
-- 
cgit v1.2.3