diff options
author | dos-reis <gdr@axiomatics.org> | 2008-10-02 03:34:18 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2008-10-02 03:34:18 +0000 |
commit | 6d8d9ff0d92a31b78b03b669b5ad99ef0b2715f4 (patch) | |
tree | 3cbc7ea6690bced2ac4317a76ecf859e1dc300a2 /src/interp/i-spec1.boot | |
parent | 481e052609b1cbc9bfbc26bd35ffe99c937b6425 (diff) | |
download | open-axiom-6d8d9ff0d92a31b78b03b669b5ad99ef0b2715f4.tar.gz |
* interp/i-spec1.boot (upcase): Tidy.
* interp/i-spec2.boot (evalIsntPredicate): Likewise.
* interp/sys-utility.boot (existingFile?): Likewise.
Diffstat (limited to 'src/interp/i-spec1.boot')
-rw-r--r-- | src/interp/i-spec1.boot | 16 |
1 files changed, 8 insertions, 8 deletions
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]) |