diff options
| author | dos-reis <gdr@axiomatics.org> | 2009-08-16 14:17:40 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2009-08-16 14:17:40 +0000 |
| commit | ab480e7c03c9f3ab95856eaff6e6493882ff0c36 (patch) | |
| tree | bba846f3e063f72834df5121dfff6d68ad7f4f91 /src/interp/i-map.boot | |
| parent | d2afe2366c2c592327cd0eb6593a3536a6eff54d (diff) | |
| download | open-axiom-ab480e7c03c9f3ab95856eaff6e6493882ff0c36.tar.gz | |
* interp/i-map.boot (addMap): Fix typo from last commit.
* interp/compiler.boot (compElt): Fix thinko, one more time.
* interp/nruncomp.boot (optDeltaEntry): Don't overquote VM forms
for constants.
* algebra/algext.spad.pamphlet: Call niladic functions with empty
argument lists.
* algebra/ddfact.spad.pamphlet: Likewise.
* algebra/gpgcd.spad.pamphlet: Likewise.
* algebra/modmon.spad.pamphlet: Likewise.
* algebra/pf.spad.pamphlet: Likewise.
* algebra/polycat.spad.pamphlet: Likewise.
* algebra/twofact.spad.pamphlet: Likewise.
* algebra/list.spad.pamphlet: "nil" is now a ocnstant.
* algebra/string.spad.pamphlet: "space", "quote", "escape" are now
constants.
Diffstat (limited to 'src/interp/i-map.boot')
| -rw-r--r-- | src/interp/i-map.boot | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/interp/i-map.boot b/src/interp/i-map.boot index 74829990..1fdc5b8f 100644 --- a/src/interp/i-map.boot +++ b/src/interp/i-map.boot @@ -162,6 +162,7 @@ addDefMap(['DEF,lhs,mapsig,.,rhs],pred) == addMap(lhs,rhs,pred) == [op,:argl] := lhs $sl: local:= nil + predList := nil formalArgList:= [mkFormalArg(makeArgumentIntoNumber x,s) for x in argl for s in $FormalMapVariableList] argList:= @@ -173,7 +174,7 @@ addMap(lhs,rhs,pred) == argPredList:= NREVERSE predList finalPred := -- handle g(a,T)==a+T confusion between pred=T and T variable - MKPF((pred and (pred = 'T) => [:argPredList,SUBLISNQ($sl,pred)]; argPredList),"and") + MKPF((pred and (pred ~= 'T) => [:argPredList,SUBLISNQ($sl,pred)]; argPredList),"and") body:= SUBLISNQ($sl,rhs) oldMap := (obj := get(op,'value,$InteractiveFrame)) => objVal obj |