aboutsummaryrefslogtreecommitdiff
path: root/new-luxc/source/luxc/generator/procedure.jvm.lux
diff options
context:
space:
mode:
Diffstat (limited to 'new-luxc/source/luxc/generator/procedure.jvm.lux')
-rw-r--r--new-luxc/source/luxc/generator/procedure.jvm.lux12
1 files changed, 6 insertions, 6 deletions
diff --git a/new-luxc/source/luxc/generator/procedure.jvm.lux b/new-luxc/source/luxc/generator/procedure.jvm.lux
index 77828c952..524513eb5 100644
--- a/new-luxc/source/luxc/generator/procedure.jvm.lux
+++ b/new-luxc/source/luxc/generator/procedure.jvm.lux
@@ -2,8 +2,8 @@
(;module:
lux
(lux (control [monad #+ do])
- (data text/format
- [maybe]
+ (data [maybe]
+ text/format
(coll ["d" dict])))
(luxc ["&" base]
(lang ["ls" synthesis])
@@ -13,7 +13,7 @@
(def: #export (generate-procedure generate name args)
(-> (-> ls;Synthesis (Lux $;Inst)) Text (List ls;Synthesis)
(Lux $;Inst))
- (default (&;fail (format "Unknown procedure: " (%t name)))
- (do maybe;Monad<Maybe>
- [proc (d;get name &&common;procedures)]
- (wrap (proc generate args)))))
+ (<| (maybe;default (&;fail (format "Unknown procedure: " (%t name))))
+ (do maybe;Monad<Maybe>
+ [proc (d;get name &&common;procedures)]
+ (wrap (proc generate args)))))