diff options
author | dos-reis <gdr@axiomatics.org> | 2009-04-28 10:45:27 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2009-04-28 10:45:27 +0000 |
commit | 68f86316038d1b98eca653f0e4cd97d44455b290 (patch) | |
tree | c8fa8f1d39a5d132a7d20a0b508702bbc3c2a001 /src/interp | |
parent | 44bee051936ea5f058e32be9c722b433686b8a4a (diff) | |
download | open-axiom-68f86316038d1b98eca653f0e4cd97d44455b290.tar.gz |
* interp/define.boot (canCacheLocalDomain): Remove dead code.
Diffstat (limited to 'src/interp')
-rw-r--r-- | src/interp/define.boot | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/src/interp/define.boot b/src/interp/define.boot index d0a14673..8cbc7ce9 100644 --- a/src/interp/define.boot +++ b/src/interp/define.boot @@ -1188,21 +1188,6 @@ putInLocalDomainReferences (def := [opName,[lam,varl,body]]) == def -canCacheLocalDomain(dom,elt)== - dom is [op,'_$,n] and MEMQ(op,'(getShellEntry ELT QREFELT)) => nil - domargsglobal(dom) => - $functorLocalParameters:= [:$functorLocalParameters,dom] - PUSH([dom,GENVAR(),[elt,$selector,$funcLocLen]],$usedDomList) - $funcLocLen:= $funcLocLen+1 - nil - where - domargsglobal(dom) == - dom='_$ => true - IDENTP dom => MEMQ(dom,$functorLocalParameters) - ATOM dom => true - and/[domargsglobal(arg) for arg in rest dom] - - $savableItems := nil compile u == |