From b470f6e697d62ac77ea6c880d7199de801988ba7 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Thu, 18 Sep 2008 03:16:31 +0000
Subject: 	* interp/g-util.boot (getTypeOfSyntax): Infer more syntax
 domains. 	* algebra/syntax.spad.pamphlet: Add more syntax domains. 
 * algebra/exposed.lsp.pamphlet: Expose more syntax object domains. 	*
 algebra/Makefile.pamphlet (axiom_algebra_layer_user): Add more 	syntax
 object files.

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

(limited to 'src/interp')

diff --git a/src/interp/g-util.boot b/src/interp/g-util.boot
index 6d3fe39f..220518ee 100644
--- a/src/interp/g-util.boot
+++ b/src/interp/g-util.boot
@@ -145,6 +145,16 @@ getTypeOfSyntax t ==
   op = "::" => '(CoerceAst)
   op = "@" => '(RestrictAst)
   op = "%LET" => '(LetAst)
+  op = "|" => '(SuchThatAst)
+  op = ":" => '(ColonAst)
+  op = "CAPSULE" => '(CapsuleAst)
+  op = "case" => '(CaseAst)
+  op = "has" => '(HasAst)
+  op = "is" => '(IsAst)
+  op = "CATEGORY" => '(CategoryAst)
+  op = "DEF" => '(DefinitionAst)
+  op = "MDEF" => '(MacroAst)
+  op in '(ATTRIBUTE %Attribute) => '(AttributeAst)
   $Syntax
 
 --%
-- 
cgit v1.2.3