aboutsummaryrefslogtreecommitdiff
path: root/src/interp/i-util.boot.pamphlet
diff options
context:
space:
mode:
Diffstat (limited to 'src/interp/i-util.boot.pamphlet')
-rw-r--r--src/interp/i-util.boot.pamphlet39
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
-
-
-