diff options
author | dos-reis <gdr@axiomatics.org> | 2008-03-18 20:40:17 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2008-03-18 20:40:17 +0000 |
commit | f23893b83a0450f8729579f74758e212bf3543b7 (patch) | |
tree | 161b297bee2a977590e6ee48036d579eeff25040 /src/interp/sys-utility.boot | |
parent | 10baedf8aa83e58aacc8dd830774c37b60ab11a3 (diff) | |
download | open-axiom-f23893b83a0450f8729579f74758e212bf3543b7.tar.gz |
* interp/sys-utility.boot: Define more type abbreviations.
* interp/apply.boot: Adjust signature declarations.
* interp/compiler.boot: Likewise.
Diffstat (limited to 'src/interp/sys-utility.boot')
-rw-r--r-- | src/interp/sys-utility.boot | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/src/interp/sys-utility.boot b/src/interp/sys-utility.boot index 07dba9f5..3b119a65 100644 --- a/src/interp/sys-utility.boot +++ b/src/interp/sys-utility.boot @@ -46,6 +46,16 @@ import '"vmlisp" %List <=> LIST %Vector <=> VECTOR %Thing <=> true +%Sequence <=> SEQUENCE + +--% Data structures for the compiler +%Form <=> NUMBER or %Symbol or %String or CONS -- input syntax form +%Env <=> %List -- compiling env +%Mode <=> %Symbol or %String or %List -- type of forms +%Code <=> %Form -- generated code +%Triple <=> %List -- form + type + env + +%Modemap <=> %List -- modemap ++ returns true if `f' is bound to a macro. macrop: %Thing -> %Boolean |