diff options
| author | dos-reis <gdr@axiomatics.org> | 2010-12-29 15:17:00 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2010-12-29 15:17:00 +0000 |
| commit | d6e1db9b19a58fd6298e3d37eb6ec25f34ff191a (patch) | |
| tree | c7b7eba9c36bd249d019d6457abad148d051a8d7 /src/boot | |
| parent | 9c532285f28b723a3f70fc4eba19e3856ecbd3dd (diff) | |
| download | open-axiom-d6e1db9b19a58fd6298e3d37eb6ec25f34ff191a.tar.gz | |
Diffstat (limited to 'src/boot')
| -rw-r--r-- | src/boot/ast.boot | 4 | ||||
| -rw-r--r-- | src/boot/initial-env.lisp | 5 |
2 files changed, 3 insertions, 6 deletions
diff --git a/src/boot/ast.boot b/src/boot/ast.boot index c8f52c79..46d5a589 100644 --- a/src/boot/ast.boot +++ b/src/boot/ast.boot @@ -751,7 +751,8 @@ bfSmintable x== integer? x or cons? x and first x in '(SIZE LENGTH QENUM) bfString? x == - string? x or cons? x and first x in '(charString symbolName toString) + string? x + or cons? x and first x in '(charString symbolName toString subString) bfQ(l,r)== bfChar? l or bfChar? r => ["CHAR=",l,r] @@ -767,6 +768,7 @@ bfLessp(l,r)== l = 0 => ["PLUSP",r] r = 0 => ["MINUSP", l] bfChar? l or bfChar? r => ["CHAR<",l,r] + bfString? l or bfString? r => ["STRING<",l,r] ["<",l,r] bfLambda(vars,body) == diff --git a/src/boot/initial-env.lisp b/src/boot/initial-env.lisp index b5e9d869..5a1041cb 100644 --- a/src/boot/initial-env.lisp +++ b/src/boot/initial-env.lisp @@ -119,11 +119,6 @@ (defun |shoePLACEP| (item) (eq item nil)) -(defun substring (cvec start length) - (if length - (subseq cvec start (+ start length)) - (subseq cvec start))) - (defun MAKE-HASHTABLE (id1) (let ((test (case id1 ((EQ ID) #'eq) |