diff options
| author | dos-reis <gdr@axiomatics.org> | 2009-05-28 15:31:02 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2009-05-28 15:31:02 +0000 |
| commit | e03459fc5fc739a3bfc612a32c041d052c68d063 (patch) | |
| tree | baf3e859112cffec14012bd3ef8d4c109e80a523 | |
| parent | 7419778f059a3a44bd3b0ec23facd7f27a479324 (diff) | |
| download | open-axiom-e03459fc5fc739a3bfc612a32c041d052c68d063.tar.gz | |
Fix formatting
| -rw-r--r-- | src/interp/compiler.boot | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/src/interp/compiler.boot b/src/interp/compiler.boot index e51da828..03846461 100644 --- a/src/interp/compiler.boot +++ b/src/interp/compiler.boot @@ -1241,11 +1241,11 @@ compPredicate(p,E) == getSuccessEnvironment(a,e) == a is ["is",id,m] => IDENTP id and isDomainForm(m,$EmptyEnvironment) => - e:=put(id,"specialCase",m,e) - currentProplist:= getProplist(id,e) - [.,.,e] := T := comp(m,$EmptyMode,e) or return nil -- duplicates compIs - newProplist:= consProplistOf(id,currentProplist,"value",[m,:rest removeEnv T]) - addBinding(id,newProplist,e) + e:=put(id,"specialCase",m,e) + currentProplist:= getProplist(id,e) + [.,.,e] := T := comp(m,$EmptyMode,e) or return nil -- duplicates compIs + newProplist:= consProplistOf(id,currentProplist,"value",[m,:rest removeEnv T]) + addBinding(id,newProplist,e) e a is ["case",x,m] and IDENTP x => put(x,"condition",[a,:get(x,"condition",e)],e) @@ -1253,8 +1253,8 @@ getSuccessEnvironment(a,e) == getInverseEnvironment(a,E) == a is ["case",x,m] and IDENTP x => - --the next two lines are necessary to get 3-branched Unions to work - -- old-style unions, that is + --the next two lines are necessary to get 3-branched Unions to work + -- old-style unions, that is (get(x,"condition",E) is [["OR",:oldpred]]) and member(a,oldpred) => put(x,"condition",LIST MKPF(delete(a,oldpred),"OR"),E) getUnionMode(x,E) is ["Union",:l] |