diff options
author | Eduardo Julian | 2020-05-17 20:10:42 -0400 |
---|---|---|
committer | Eduardo Julian | 2020-05-17 20:10:42 -0400 |
commit | d97f92842981501a8e0d95a1b4f1ba3d9e72f0d5 (patch) | |
tree | 3aa01a37da19e1e63bbf8cd204ae6743166e386a /new-luxc/source/luxc/lang/translation/jvm/reference.lux | |
parent | 9219da9a9bf29b3a2f7f10d4865b939ded28e003 (diff) |
Local binding names for (co|indexed-)?monads are now explicitly set.
Diffstat (limited to 'new-luxc/source/luxc/lang/translation/jvm/reference.lux')
-rw-r--r-- | new-luxc/source/luxc/lang/translation/jvm/reference.lux | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/new-luxc/source/luxc/lang/translation/jvm/reference.lux b/new-luxc/source/luxc/lang/translation/jvm/reference.lux index 4eafecec0..6bcf4a2e5 100644 --- a/new-luxc/source/luxc/lang/translation/jvm/reference.lux +++ b/new-luxc/source/luxc/lang/translation/jvm/reference.lux @@ -36,7 +36,7 @@ (def: (foreign archive variable) (-> Archive Register (Operation Inst)) - (do phase.monad + (do {@ phase.monad} [class-name (:: @ map //.class-name (generation.context archive))] (wrap (|>> (_.ALOAD 0) @@ -59,7 +59,7 @@ (def: #export (constant archive name) (-> Archive Name (Operation Inst)) - (do phase.monad + (do {@ phase.monad} [class-name (:: @ map //.class-name (generation.remember archive name))] (wrap (_.GETSTATIC (type.class class-name (list)) //.value-field //.$Value)))) |