From 74a835634fc9ee5457f3cc7109af069dad9f2d2f Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Wed, 11 Oct 2017 18:57:44 -0400
Subject: - Migrated new-luxc to latest version of stdlib. - Some refactoring.

---
 new-luxc/source/luxc/generator/procedure.jvm.lux | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

(limited to 'new-luxc/source/luxc/generator/procedure.jvm.lux')

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