From d97f92842981501a8e0d95a1b4f1ba3d9e72f0d5 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sun, 17 May 2020 20:10:42 -0400
Subject: Local binding names for (co|indexed-)?monads are now explicitly set.
---
new-luxc/source/luxc/lang/translation/r/structure.jvm.lux | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
(limited to 'new-luxc/source/luxc/lang/translation/r/structure.jvm.lux')
diff --git a/new-luxc/source/luxc/lang/translation/r/structure.jvm.lux b/new-luxc/source/luxc/lang/translation/r/structure.jvm.lux
index e9a528d2b..cea8fcd59 100644
--- a/new-luxc/source/luxc/lang/translation/r/structure.jvm.lux
+++ b/new-luxc/source/luxc/lang/translation/r/structure.jvm.lux
@@ -20,7 +20,7 @@
(translate singletonS)
_
- (do macro.Monad
+ (do {@ macro.Monad}
[elemsT+ (monad.map @ translate elemsS+)]
(wrap (r.list elemsT+)))))
--
cgit v1.2.3