From a8ac885a008f519816d747eca0f894ec9794e938 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Tue, 4 Aug 2015 19:40:58 -0400
Subject: - Renamed the Syntax type to AST. - Created the lux/meta/ast module.

---
 src/lux/type.clj | 30 +++++++++++++++---------------
 1 file changed, 15 insertions(+), 15 deletions(-)

(limited to 'src')

diff --git a/src/lux/type.clj b/src/lux/type.clj
index f40996d7e..18f618b43 100644
--- a/src/lux/type.clj
+++ b/src/lux/type.clj
@@ -91,12 +91,12 @@
 
 (def Ident (&/V "lux;TupleT" (&/|list Text Text)))
 
-(def Syntax*
-  (let [Syntax* (&/V "lux;AppT" (&/T (&/V "lux;BoundT" "w")
-                                     (&/V "lux;AppT" (&/T (&/V "lux;BoundT" "lux;Syntax'")
+(def AST*
+  (let [AST* (&/V "lux;AppT" (&/T (&/V "lux;BoundT" "w")
+                                     (&/V "lux;AppT" (&/T (&/V "lux;BoundT" "lux;AST'")
                                                           (&/V "lux;BoundT" "w")))))
-        Syntax*List (&/V "lux;AppT" (&/T List Syntax*))]
-    (fAll "lux;Syntax'" "w"
+        AST*List (&/V "lux;AppT" (&/T List AST*))]
+    (fAll "lux;AST'" "w"
           (&/V "lux;VariantT" (&/|list (&/T "lux;BoolS" Bool)
                                        (&/T "lux;IntS" Int)
                                        (&/T "lux;RealS" Real)
@@ -104,16 +104,16 @@
                                        (&/T "lux;TextS" Text)
                                        (&/T "lux;SymbolS" Ident)
                                        (&/T "lux;TagS" Ident)
-                                       (&/T "lux;FormS" Syntax*List)
-                                       (&/T "lux;TupleS" Syntax*List)
-                                       (&/T "lux;RecordS" (&/V "lux;AppT" (&/T List (&/V "lux;TupleT" (&/|list Syntax* Syntax*))))))
+                                       (&/T "lux;FormS" AST*List)
+                                       (&/T "lux;TupleS" AST*List)
+                                       (&/T "lux;RecordS" (&/V "lux;AppT" (&/T List (&/V "lux;TupleT" (&/|list AST* AST*))))))
                ))))
 
-(def Syntax
+(def AST
   (let [w (&/V "lux;AppT" (&/T Meta Cursor))]
-    (&/V "lux;AppT" (&/T w (&/V "lux;AppT" (&/T Syntax* w))))))
+    (&/V "lux;AppT" (&/T w (&/V "lux;AppT" (&/T AST* w))))))
 
-(def ^:private SyntaxList (&/V "lux;AppT" (&/T List Syntax)))
+(def ^:private ASTList (&/V "lux;AppT" (&/T List AST)))
 
 (def Either
   (fAll "lux;Either" "l"
@@ -159,9 +159,9 @@
                                                                      (&/|list Text
                                                                               (&/V "lux;TupleT" (&/|list Bool
                                                                                                          (&/V "lux;AppT" (&/T DefData*
-                                                                                                                              (&/V "lux;LambdaT" (&/T SyntaxList
+                                                                                                                              (&/V "lux;LambdaT" (&/T ASTList
                                                                                                                                                       (&/V "lux;AppT" (&/T (&/V "lux;AppT" (&/T StateE (&/V "lux;BoundT" "Compiler")))
-                                                                                                                                                                           SyntaxList)))))))))))))
+                                                                                                                                                                           ASTList)))))))))))))
                       (&/T "lux;imports" (&/V "lux;AppT" (&/T List Text)))))))
 
 (def $Compiler
@@ -183,9 +183,9 @@
                        $Void)))
 
 (def Macro
-  (&/V "lux;LambdaT" (&/T SyntaxList
+  (&/V "lux;LambdaT" (&/T ASTList
                           (&/V "lux;AppT" (&/T (&/V "lux;AppT" (&/T StateE $Compiler))
-                                               SyntaxList)))))
+                                               ASTList)))))
 
 (defn bound? [id]
   (fn [state]
-- 
cgit v1.2.3