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/function.lux | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

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

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