From 75cc0a4b26fd4d3f896677f792f47659430e9824 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Fri, 19 Sep 2008 23:02:13 +0000
Subject: 	* interp/g-util.boot (getTypeOfSyntax): Infer more syntax
 domains. 	* algebra/Makefile.pamphlet: Add dependency rules for syntax 
 domains. 	* algebra/exposed.lsp.pamphlet: Expose more syntax domains.

---
 src/interp/g-util.boot | 16 ++++++++++------
 1 file changed, 10 insertions(+), 6 deletions(-)

(limited to 'src/interp')

diff --git a/src/interp/g-util.boot b/src/interp/g-util.boot
index 220518ee..6786fa83 100644
--- a/src/interp/g-util.boot
+++ b/src/interp/g-util.boot
@@ -127,9 +127,6 @@ getTypeOfSyntax t ==
     $Syntax
   [op,:.] := t
   op = "Mapping" => '(MappingAst)
-  op = "Join" => '(JoinAst)
-  op in '(%Import import) => '(ImportAst)
-  op in '(%Signature SIGNATURE) => '(SignatureAst)
   op = "QUOTE" and #t = 2 and IDENTP second t => ["Literal",$Symbol]
   op = "IF" => '(IfAst)
   op = "REPEAT" => '(RepeatAst)
@@ -147,14 +144,21 @@ getTypeOfSyntax t ==
   op = "%LET" => '(LetAst)
   op = "|" => '(SuchThatAst)
   op = ":" => '(ColonAst)
-  op = "CAPSULE" => '(CapsuleAst)
+  op = ":=" => '(LetAst)
+  op = "%Comma" => '(CommaAst)
   op = "case" => '(CaseAst)
   op = "has" => '(HasAst)
   op = "is" => '(IsAst)
-  op = "CATEGORY" => '(CategoryAst)
   op = "DEF" => '(DefinitionAst)
-  op = "MDEF" => '(MacroAst)
+  op in '(MDEF %Macro) => '(MacroAst)
+  op = "where" => '(WhereAst)
   op in '(ATTRIBUTE %Attribute) => '(AttributeAst)
+  op = "Join" => '(JoinAst)
+  op = "CAPSULE" => '(CapsuleAst)
+  op in '(%Import import) => '(ImportAst)
+  op in '(%Signature SIGNATURE) => '(SignatureAst)
+  op = "CATEGORY" => '(CategoryAst)
+  op = "[||]" => '(QuasiquoteAst)
   $Syntax
 
 --%
-- 
cgit v1.2.3