diff options
author | dos-reis <gdr@axiomatics.org> | 2008-04-23 22:44:32 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2008-04-23 22:44:32 +0000 |
commit | 695a6c656681918abe4b20e04470dd266b4f6bbe (patch) | |
tree | e5efcaefebf2d89118a8a00a9e11ba5547826fe3 /src/interp/types.boot | |
parent | c3b3651a804ebbdf40b3b59490d62ac63e3bf233 (diff) | |
download | open-axiom-695a6c656681918abe4b20e04470dd266b4f6bbe.tar.gz |
* boot/ast.boot: Tidy.
* boot/includer.boot: Likewise.
* boot/parser.boot: Likewise.
* boot/pile.boot: Likewise.
* boot/scanner.boot: Likewise.
* boot/tokens.boot: Likewise.
* boot/translator.boot: Likewise.
* boot/strap: Update Lisp translation.
* lisp/core.lisp.in: Tidy.
Diffstat (limited to 'src/interp/types.boot')
-rw-r--r-- | src/interp/types.boot | 50 |
1 files changed, 41 insertions, 9 deletions
diff --git a/src/interp/types.boot b/src/interp/types.boot index 6061252e..06b8b9b8 100644 --- a/src/interp/types.boot +++ b/src/interp/types.boot @@ -31,35 +31,67 @@ -- -- -import '"boot-pkg" +import boot_-pkg )package "BOOT" --% Basic types used throughout Boot codes. -%Void <=> nil +++ Type of nothing. Bottom of the latting. +%Void <=> + nil -%Boolean <=> BOOLEAN +++ Type of truth values. +%Boolean <=> + BOOLEAN +++ Type of 8-bit sized unsigned integer values. %Byte <=> UNSIGNED_-BYTE 8 +++ Type of characters -- no distinction yet. %Char <=> CHARACTER -%Short <=> FIXNUM +++ Type of fixnums. +%Short <=> + FIXNUM -%Integer <=> BIGNUM +++ Type of unlimited precision integers. +%Bignum <=> + BIGNUM -%Number <=> NUMBER +++ Type of single precision floating point numbers. Most of the +++ time, this is a 32-bit datatype. +%SingleFloat <=> + SINGLE_-FLOAT -%Symbol <=> SYMBOL +++ Type of double precision floating point numbers. Most of the time, +++ this is a 64-bit sized datatype. +%DoubleFloat <=> + DOUBLE_-FLOAT -%String <=> STRING +++ General type for numbers. +%Number <=> + NUMBER +++ Type of identifiers. Ideally, we want actually want to exclude +++ Lisp oddities such as NIL and T. +%Symbol <=> + SYMBOL + +++ The type of literal strings +%String <=> + STRING + +++ Anything that is not a cons cell. %Atom <=> atom -%List <=> LIST +++ nil or a cons cell. Ideally, this should be parameterized, but +++ we cannot afford that luxury with Lisp. +%List <=> + LIST +++ The type of a linear homogeneous non-extensible array. %SimpleArray a <=> SIMPLE_-ARRAY a |