diff options
| author | dos-reis <gdr@axiomatics.org> | 2008-04-19 18:27:43 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2008-04-19 18:27:43 +0000 |
| commit | 07d359345fe388c7126bcfd629ba19f3652e66c5 (patch) | |
| tree | 37e02d7eb13178cc3d9215d51a5dd485154682b0 /src/boot/ast.boot | |
| parent | 20b621ddcdf7dcd0c730ff5fc4a446ea1f829951 (diff) | |
| download | open-axiom-07d359345fe388c7126bcfd629ba19f3652e66c5.tar.gz | |
* boot/translator.boot: Cleanup.
Diffstat (limited to 'src/boot/ast.boot')
| -rw-r--r-- | src/boot/ast.boot | 25 |
1 files changed, 16 insertions, 9 deletions
diff --git a/src/boot/ast.boot b/src/boot/ast.boot index ab37de68..cf186896 100644 --- a/src/boot/ast.boot +++ b/src/boot/ast.boot @@ -48,28 +48,34 @@ import '"includer" ++ translated with the obvious semantics, e.g. no caching. $bfClamming := false -++ Basic types used in Boot codes. +--% Basic types used in Boot codes. + %Thing <=> true + %Boolean <=> BOOLEAN + %String <=> STRING + %Symbol <=> SYMBOL + %Short <=> FIXNUM -%List <=> LIST -%Vector <=> VECTOR -%Sequence <=> SEQUENCE ++ Ideally, we would like to say that a List T if either nil or a -++ cons of a T and List of T. However, we don't support parameterized -++ alias definitions yet. +++ cons of a T and List of T. %List <=> LIST +%Vector <=> VECTOR + +%Sequence <=> SEQUENCE + ++ Currently, the Boot processor uses Lisp symbol datatype for names. ++ That causes the BOOTTRAN package to contain more symbols than we would -++ like. In the future, we want want to intern `on demand'. How that +++ like. In the future, we want to intern `on demand'. How that ++ interacts with renaming is to be worked out. -structure Name == Name(%Symbol) +structure %Name == + %Name(%Symbol) -structure Ast == +structure %Ast == Command(%String) -- includer command Module(%String) -- module declaration Import(%String) -- import module @@ -121,6 +127,7 @@ structure Ast == $inDefIS := false +++ returns a `quote' ast for x. quote x == ["QUOTE",x] |