diff options
| author | dos-reis <gdr@axiomatics.org> | 2007-10-28 10:43:54 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2007-10-28 10:43:54 +0000 |
| commit | 7b0b25d63ed483cc9ccd9525b5904feda65dc807 (patch) | |
| tree | fd2d98a0ead1cd14865a6e065bcefb93775de970 /src/interp/i-util.boot.pamphlet | |
| parent | 471d0186fa938e05f69b26dd209544de721de94d (diff) | |
| download | open-axiom-7b0b25d63ed483cc9ccd9525b5904feda65dc807.tar.gz | |
* Makefile.pamphlet (category.$(FASLEXT)): New rule.
(<<category.clisp>>): Remove.
* category.boot.pamphlet: Push into package "BOOT".
Replace ASSOC with assoc throughout.
(mkCategory): Fix syntax.
* i-coerce.boot.pamphlet (stripUnionTags): Move to g-util.boot.
(isTaggeUnion): Likewise.
(getUnionOrRecordTags): Likewise.
* i-util.boot.pamphlet (wrap): Move to i-object.boot.
(isWrapped): Likewise.
(unwrap): Likewise.
(wrapped2Quote): Likewise.
(quote2Wrapped): Likewise.
(removeQuote): Likewise.
(TruthP): Move to g-util.boot.
Diffstat (limited to 'src/interp/i-util.boot.pamphlet')
| -rw-r--r-- | src/interp/i-util.boot.pamphlet | 39 |
1 files changed, 0 insertions, 39 deletions
diff --git a/src/interp/i-util.boot.pamphlet b/src/interp/i-util.boot.pamphlet index 54cf2874..c0d785da 100644 --- a/src/interp/i-util.boot.pamphlet +++ b/src/interp/i-util.boot.pamphlet @@ -58,35 +58,6 @@ lisp code is unwrapped. <<*>>= <<license>> ---% Utility Functions Used Only by the Intepreter - -wrap x == - isWrapped x => x - ['WRAPPED,:x] - -isWrapped x == x is ['WRAPPED,:.] or NUMBERP x or FLOATP x or CVECP x - -unwrap x == - NUMBERP x or FLOATP x or CVECP x => x - x is ["WRAPPED",:y] => y - x - -wrapped2Quote x == - x is ["WRAPPED",:y] => MKQ y - x - -quote2Wrapped x == - x is ['QUOTE,y] => wrap y - x - -removeQuote x == - x is ["QUOTE",y] => y - x - --- addQuote x == --- NUMBERP x => x --- ['QUOTE,x] - --% The function for making prompts spadPrompt() == @@ -287,16 +258,6 @@ mkPredList listOfEntries == [u,:tagPredList]:= tagPredList u predList - -TruthP x == - --True if x is a predicate that's always true - x is nil => nil - x=true => true - x is ['QUOTE,:.] => true - nil - - - |