aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--src/ChangeLog6
-rw-r--r--src/interp/i-spec1.boot16
-rw-r--r--src/interp/i-spec2.boot4
-rw-r--r--src/interp/sys-utility.boot3
4 files changed, 18 insertions, 11 deletions
diff --git a/src/ChangeLog b/src/ChangeLog
index 0fa263f7..70fc6021 100644
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,5 +1,11 @@
2008-10-01 Gabriel Dos Reis <gdr@cs.tamu.edu>
+ * interp/i-spec1.boot (upcase): Tidy.
+ * interp/i-spec2.boot (evalIsntPredicate): Likewise.
+ * interp/sys-utility.boot (existingFile?): Likewise.
+
+2008-10-01 Gabriel Dos Reis <gdr@cs.tamu.edu>
+
* algebra/outform.spad.pamphlet (doubleFloatFormat$OutputForm): Move
from DoubleFloat.
diff --git a/src/interp/i-spec1.boot b/src/interp/i-spec1.boot
index f8820697..c3690278 100644
--- a/src/interp/i-spec1.boot
+++ b/src/interp/i-spec1.boot
@@ -345,24 +345,24 @@ upcase t ==
if d is [":",=rhs,.] then rhstag := i
if NULL rhstag then error '"upcase: bad Union form"
$genValue =>
- rhstag = first unwrap objVal triple => code := wrap 'TRUE
- code := wrap NIL
+ rhstag = first unwrap objVal triple => code := wrap true
+ code := wrap false
code :=
["COND",
[["EQL",rhstag,["CAR",["unwrap",objVal triple]]],
- ''TRUE],
- [''T,NIL]]
+ true],
+ [''T,false]]
else
$genValue =>
t' := coerceUnion2Branch triple
- rhs = objMode t' => code := wrap 'TRUE
- code := wrap NIL
+ rhs = objMode t' => code := wrap true
+ code := wrap false
triple' := objNewCode(["wrap",objVal triple],objMode triple)
code :=
["COND",
[["EQUAL",MKQ rhs,["objMode",['coerceUnion2Branch,triple']]],
- ''TRUE],
- [''T,NIL]]
+ true],
+ [''T,false]]
putValue(op,objNew(code,$Boolean))
putModeSet(op,[$Boolean])
diff --git a/src/interp/i-spec2.boot b/src/interp/i-spec2.boot
index fb5079a6..22f97447 100644
--- a/src/interp/i-spec2.boot
+++ b/src/interp/i-spec2.boot
@@ -408,8 +408,8 @@ evalIsPredicate(value,pattern,mode) ==
false
evalIsntPredicate(value,pattern,mode) ==
- evalIsPredicate(value,pattern,mode) => NIL
- 'TRUE
+ evalIsPredicate(value,pattern,mode) => false
+ true
removeConstruct pat ==
-- removes the "construct" from the beginning of patterns
diff --git a/src/interp/sys-utility.boot b/src/interp/sys-utility.boot
index 441d356e..20e84c18 100644
--- a/src/interp/sys-utility.boot
+++ b/src/interp/sys-utility.boot
@@ -172,7 +172,8 @@ makeAbsoluteFilename name ==
++ returns true if `file' exists as a pathname.
existingFile? file ==
- PROBE_-FILE file
+ PROBE_-FILE file => true
+ false
++ original version returned 0 on success, and 1 on failure
++ ??? fix that to return -1 on failure.