diff options
| author | dos-reis <gdr@axiomatics.org> | 2008-09-19 23:02:13 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2008-09-19 23:02:13 +0000 |
| commit | 75cc0a4b26fd4d3f896677f792f47659430e9824 (patch) | |
| tree | 8e3aa2f51841813f5af09bab168193c480a1a327 /src/interp | |
| parent | 8796a8c7a9b8991befb18c39e826d7b29a342c13 (diff) | |
| download | open-axiom-75cc0a4b26fd4d3f896677f792f47659430e9824.tar.gz | |
* 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.
Diffstat (limited to 'src/interp')
| -rw-r--r-- | src/interp/g-util.boot | 16 |
1 files changed, 10 insertions, 6 deletions
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 --% |