diff options
| author | dos-reis <gdr@axiomatics.org> | 2009-02-23 02:37:02 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2009-02-23 02:37:02 +0000 |
| commit | a6352a4428911afca91d6e672dc540146c99d415 (patch) | |
| tree | 06187908fd9d5d1cafee90fdd70a2f60a73532b5 /src/interp | |
| parent | 1ac4b5f9c27b171e6a49b986e42a8d8e29ea3be6 (diff) | |
| download | open-axiom-a6352a4428911afca91d6e672dc540146c99d415.tar.gz | |
* interp/compiler.boot (compAtom): Don't interpret 'nil' as empty
vector.
(compSymbol): Don't interpret 'true' and 'false' as Boolean
constants if domain Boolean is not in scope.
* algebra/any.spad.pamphlet (Property): Tidy.
* algebra/asp.spad.pamphlet (Asp34): Likewise.
* algebra/functions.spad.pamphlet (BasicFunctions): Likewise.
* algebra/lodop.spad.pamphlet (OppositeMonogenicLinearOperator):
Likewise.
* algebra/groebsol.spad.pamphlet: Import Boolean.
Diffstat (limited to 'src/interp')
| -rw-r--r-- | src/interp/compiler.boot | 13 |
1 files changed, 4 insertions, 9 deletions
diff --git a/src/interp/compiler.boot b/src/interp/compiler.boot index 06f7c318..ae68d089 100644 --- a/src/interp/compiler.boot +++ b/src/interp/compiler.boot @@ -375,7 +375,6 @@ compAtomWithModemap(x,m,e,v) == --accept only monadic operators T:= or/[t for (t:= [.,target,.]) in Tl | modeEqual(m,target)] => T 1=#(Tl:= [y for t in Tl | (y:= convert(t,m))]) => first Tl - 0<#Tl and m=$NoValueMode => first Tl nil transImplementation(op,map,fn) == @@ -387,12 +386,11 @@ compAtom(x,m,e) == T:= compAtomWithModemap(x,m,e,get(x,"modemap",e)) => T x="nil" => T:= - modeIsAggregateOf('List,m,e) is [.,R]=> compList(x,['List,R],e) - modeIsAggregateOf('Vector,m,e) is [.,R]=> compVector(x,['Vector,R],e) - T => convert(T,m) + modeIsAggregateOf('List,m,e) is [.,R] => compList(x,['List,R],e) + return nil + convert(T,m) t:= - isSymbol x => - compSymbol(x,m,e) or return nil + isSymbol x => compSymbol(x,m,e) or return nil m = $OutputForm and primitiveType x => [x,m,e] STRINGP x => [x,x,e] [x,primitiveType x or return nil,e] @@ -411,11 +409,8 @@ primitiveType x == compSymbol(s,m,e) == s="$NoValue" => ["$NoValue",$NoValueMode,e] isFluid s => [s,getmode(s,e) or return nil,e] - s="true" => ['(QUOTE T),$Boolean,e] - s="false" => [false,$Boolean,e] s=m or isLiteral(s,e) => [["QUOTE",s],s,e] v := get(s,"value",e) => ---+ MEMQ(s,$functorLocalParameters) => NRTgetLocalIndex s [s,v.mode,e] --s will be replaced by an ELT form in beforeCompile |