diff options
| author | dos-reis <gdr@axiomatics.org> | 2008-05-07 15:17:39 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2008-05-07 15:17:39 +0000 |
| commit | 30e90e4c85eb1fb101ed06b22802d36dbc0df2d2 (patch) | |
| tree | e5d4d8871981196f85a1038491a3a62372630a96 /src/interp | |
| parent | 64dee33447f6db28cfe4d6abe92e51bf4e70a2c6 (diff) | |
| download | open-axiom-30e90e4c85eb1fb101ed06b22802d36dbc0df2d2.tar.gz | |
* interp/types.boot (%Integer): Alias for Lisp INTEGER class.
* interp/sys-utility.boot (getVMType): Integer is represented by
%Integer.
* interp/postpar.boot (postSignature): Don't ignore constants.
Diffstat (limited to 'src/interp')
| -rw-r--r-- | src/interp/postpar.boot | 1 | ||||
| -rw-r--r-- | src/interp/sys-utility.boot | 3 | ||||
| -rw-r--r-- | src/interp/types.boot | 5 |
3 files changed, 6 insertions, 3 deletions
diff --git a/src/interp/postpar.boot b/src/interp/postpar.boot index afb39ff7..15b43600 100644 --- a/src/interp/postpar.boot +++ b/src/interp/postpar.boot @@ -505,6 +505,7 @@ postSignature t == sig1:= postType sig op:= postAtom (STRINGP op => INTERN op; op) ["SIGNATURE",op,:removeSuperfluousMapping killColons sig1] + ["SIGNATURE",postAtom op,:postType ["->","constant",sig]] killColons: %ParseTree -> %ParseForm killColons x == diff --git a/src/interp/sys-utility.boot b/src/interp/sys-utility.boot index fa14650e..0c1d62e0 100644 --- a/src/interp/sys-utility.boot +++ b/src/interp/sys-utility.boot @@ -51,7 +51,7 @@ getVMType d == Byte => "%Byte" Character => "%Char" SingleInteger => "%Short" --- Integer => "%Bignum" + Integer => "%Integer" String => "%String" List => "%List" Vector => ["%Vector",getVMType second d'] @@ -59,7 +59,6 @@ getVMType d == Pair => "%Pair" otherwise => "%Thing" -- good enough, for now. - --% setDynamicBinding: (%Symbol,%Thing) -> %Thing diff --git a/src/interp/types.boot b/src/interp/types.boot index 06b8b9b8..72db77ab 100644 --- a/src/interp/types.boot +++ b/src/interp/types.boot @@ -60,6 +60,9 @@ import boot_-pkg %Bignum <=> BIGNUM +%Integer <=> + INTEGER + ++ Type of single precision floating point numbers. Most of the ++ time, this is a 32-bit datatype. %SingleFloat <=> @@ -114,7 +117,7 @@ import boot_-pkg cons(%Code,cons(%Mode,cons(%Env,null))) %Signature -- signature - <=> cons + <=> %Symbol or cons %Modemap <=> %List -- modemap |