aboutsummaryrefslogtreecommitdiff
path: root/src/interp/sys-utility.boot
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2008-03-18 20:40:17 +0000
committerdos-reis <gdr@axiomatics.org>2008-03-18 20:40:17 +0000
commitf23893b83a0450f8729579f74758e212bf3543b7 (patch)
tree161b297bee2a977590e6ee48036d579eeff25040 /src/interp/sys-utility.boot
parent10baedf8aa83e58aacc8dd830774c37b60ab11a3 (diff)
downloadopen-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.boot10
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