diff options
author | dos-reis <gdr@axiomatics.org> | 2008-04-14 16:51:37 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2008-04-14 16:51:37 +0000 |
commit | 144847152d5a5e764f66d42e3fed6f64c3da6c0c (patch) | |
tree | c691004b286e736b8017ea42db45e8a636011883 /src/interp/types.boot | |
parent | d04a3262a6f4493bd65c45ff73b4d1b8243f47a0 (diff) | |
download | open-axiom-144847152d5a5e764f66d42e3fed6f64c3da6c0c.tar.gz |
* boot/tokens.boot: Don't rename NOT.
* interp/define.boot: Add declarations.
* interp/types.boot (%Signature): New.
Diffstat (limited to 'src/interp/types.boot')
-rw-r--r-- | src/interp/types.boot | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/interp/types.boot b/src/interp/types.boot index 2f680568..a52a5c25 100644 --- a/src/interp/types.boot +++ b/src/interp/types.boot @@ -59,6 +59,9 @@ import '"boot-pkg" %Triple <=> -- form + type + env cons(%Code,cons(%Mode,cons(%Env,null))) +%Signature -- signature + <=> cons + %Modemap <=> %List -- modemap %ConstructorKind <=> -- kind of ctor instances |