diff options
| author | dos-reis <gdr@axiomatics.org> | 2011-07-13 08:02:02 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2011-07-13 08:02:02 +0000 |
| commit | fafd79de190f215a8f1767631b4792ada11518ef (patch) | |
| tree | eb6aa053dde33bc6c459f7cc02ecf0d243618eca /src/interp | |
| parent | e69eb5b6621cadee088a0d621cb61b16676acd91 (diff) | |
| download | open-axiom-fafd79de190f215a8f1767631b4792ada11518ef.tar.gz | |
* interp/category.boot: Remove dead codes.
* interp/define.boot (hasFullSignature): Tidy.
Diffstat (limited to 'src/interp')
| -rw-r--r-- | src/interp/category.boot | 8 | ||||
| -rw-r--r-- | src/interp/define.boot | 11 |
2 files changed, 6 insertions, 13 deletions
diff --git a/src/interp/category.boot b/src/interp/category.boot index 11abb5c3..9ce65944 100644 --- a/src/interp/category.boot +++ b/src/interp/category.boot @@ -216,7 +216,6 @@ mkOr(a,b) == a=true => true b=true => true b=a => a ---PRETTYPRINT ("Condition merging",a,b) l:= a is ["OR",:a'] => (b is ["OR",:b'] => union(a',b'); mkOr2(b,a') ) @@ -252,7 +251,6 @@ mkAnd(a,b) == a=true => b b=true => a b=a => a - --PRETTYPRINT ("Condition merging",a,b) l:= a is ["AND",:a'] => (b is ["AND",:b'] => union(a',b'); mkAnd2(b,a') ) @@ -360,12 +358,6 @@ CatEval x == $e compMakeCategoryObject(x,e).expr ---RemovePrinAncs(l,leaves) == --- l=nil => nil --- leaves:= [first y for y in leaves] --- --remove the slot pointers --- [x for x in l | not AncestorP(x.0,leaves)] - AncestorP: (%Form, %List %Instantiation) -> %Form AncestorP(xname,leaves) == -- checks for being a principal ancestor of one of the leaves diff --git a/src/interp/define.boot b/src/interp/define.boot index 955d3ea8..50911353 100644 --- a/src/interp/define.boot +++ b/src/interp/define.boot @@ -586,8 +586,10 @@ compDefineAddSignature([op,:argl],signature,e) == hasFullSignature(argl,[target,:ml],e) == target => - u:= [m or get(x,"mode",e) or return 'failed for x in argl for m in ml] - u~='failed => [target,:u] + u := [m or get(x,"mode",e) or return 'failed for x in argl for m in ml] + u is 'failed => nil + [target,:u] + nil addEmptyCapsuleIfNecessary: (%Form,%Form) -> %Form addEmptyCapsuleIfNecessary(target,rhs) == @@ -1065,8 +1067,7 @@ reportOnFunctorCompilation() == displayWarnings() $functorStats:= addStats($functorStats,$functionStats) [byteCount,elapsedSeconds] := $functorStats - sayBrightly ['%l,:bright '" Cumulative Statistics for Constructor", - $op] + sayBrightly ['%l,:bright '" Cumulative Statistics for Constructor",$op] timeString := normalizeStatAndStringify elapsedSeconds sayBrightly ['" Time:",:bright timeString,'"seconds"] sayBrightly '" " @@ -1852,7 +1853,7 @@ doItIf(item is [.,p,x,y],$predl,$e) == compSingleCapsuleItem(y,[["not",p],:$predl],getInverseEnvironment(p,olde)) y':=localExtras(oldFLP) item.op := '%when - item.rest := [[p',x,:x'],['%otherwise,y,:y']] + item.args := [[p',x,:x'],['%otherwise,y,:y']] where localExtras(oldFLP) == sameObject?(oldFLP,$functorLocalParameters) => nil flp1:=$functorLocalParameters |