From db697bb636e2341d26bb188cc1b9981a1ab505d7 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sun, 7 May 2017 14:30:48 -0400
Subject: - Changed the name of "let%" to "with-expansions".

---
 .../source/luxc/module/descriptor/annotation.lux   |  7 +-
 new-luxc/source/luxc/module/descriptor/type.lux    | 75 +++++++++++-----------
 2 files changed, 42 insertions(+), 40 deletions(-)

(limited to 'new-luxc/source/luxc/module')

diff --git a/new-luxc/source/luxc/module/descriptor/annotation.lux b/new-luxc/source/luxc/module/descriptor/annotation.lux
index 9a687e02a..d5e0d8000 100644
--- a/new-luxc/source/luxc/module/descriptor/annotation.lux
+++ b/new-luxc/source/luxc/module/descriptor/annotation.lux
@@ -64,9 +64,10 @@
 
 (def: ann-value-decoder
   (l;Lexer Ann-Value)
-  (let% [<simple> (do-template [<tag> <lexer> <signal>]
-                    [(do l;Monad<Lexer>
-                       [])])]
+  (with-expansions
+    [<simple> (do-template [<tag> <lexer> <signal>]
+                [(do l;Monad<Lexer>
+                   [])])]
     ($_ l;either
         <simple>
         (|> ... (l;after (l;text bool-signal)))
diff --git a/new-luxc/source/luxc/module/descriptor/type.lux b/new-luxc/source/luxc/module/descriptor/type.lux
index d9079e893..d661aa385 100644
--- a/new-luxc/source/luxc/module/descriptor/type.lux
+++ b/new-luxc/source/luxc/module/descriptor/type.lux
@@ -76,43 +76,44 @@
   (l;Lexer Type)
   (l;rec
    (function [type-decoder]
-     (let% [<simple> (do-template [<type> <signal>]
-                       [(|> (l/wrap <type>) (l;after (l;text <signal>)))]
-
-                       [Type    type-signal]
-                       [#;Void void-signal]
-                       [#;Unit unit-signal])
-            <combinators> (do-template [<tag> <prefix>]
-                            [(do l;Monad<Lexer>
-                               [_ (l;text <prefix>)
-                                left type-decoder
-                                right type-decoder]
-                               (wrap (<tag> left right)))]
-
-                            [#;Product     product-signal]
-                            [#;Sum      sum-signal]
-                            [#;Function function-signal]
-                            [#;App      application-signal])
-            <abstractions> (do-template [<tag> <prefix>]
-                             [(do l;Monad<Lexer>
-                                [_ (l;text <prefix>)
-                                 env (&;decode-list type-decoder)
-                                 body type-decoder]
-                                (wrap (<tag> env body)))]
-
-                             [#;UnivQ uq-signal]
-                             [#;ExQ   eq-signal])
-            <wildcards> (do-template [<tag> <prefix>]
-                          [(do l;Monad<Lexer>
-                             [_ (l;text <prefix>)
-                              id (l;codec number;Codec<Text,Int>
-                                          (l;some' l;digit))
-                              _ (l;text &;stop-signal)]
-                             (wrap (<tag> (int-to-nat id))))]
-
-                          [#;Bound bound-signal]
-                          [#;Ex    ex-signal]
-                          [#;Var   var-signal])]
+     (with-expansions
+       [<simple> (do-template [<type> <signal>]
+                   [(|> (l/wrap <type>) (l;after (l;text <signal>)))]
+
+                   [Type    type-signal]
+                   [#;Void void-signal]
+                   [#;Unit unit-signal])
+        <combinators> (do-template [<tag> <prefix>]
+                        [(do l;Monad<Lexer>
+                           [_ (l;text <prefix>)
+                            left type-decoder
+                            right type-decoder]
+                           (wrap (<tag> left right)))]
+
+                        [#;Product     product-signal]
+                        [#;Sum      sum-signal]
+                        [#;Function function-signal]
+                        [#;App      application-signal])
+        <abstractions> (do-template [<tag> <prefix>]
+                         [(do l;Monad<Lexer>
+                            [_ (l;text <prefix>)
+                             env (&;decode-list type-decoder)
+                             body type-decoder]
+                            (wrap (<tag> env body)))]
+
+                         [#;UnivQ uq-signal]
+                         [#;ExQ   eq-signal])
+        <wildcards> (do-template [<tag> <prefix>]
+                      [(do l;Monad<Lexer>
+                         [_ (l;text <prefix>)
+                          id (l;codec number;Codec<Text,Int>
+                                      (l;some' l;digit))
+                          _ (l;text &;stop-signal)]
+                         (wrap (<tag> (int-to-nat id))))]
+
+                      [#;Bound bound-signal]
+                      [#;Ex    ex-signal]
+                      [#;Var   var-signal])]
        ($_ l;either
            (do l;Monad<Lexer>
              [_ (l;text host-signal)
-- 
cgit v1.2.3