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 | |
parent | 44bee051936ea5f058e32be9c722b433686b8a4a (diff) | |
download | open-axiom-68f86316038d1b98eca653f0e4cd97d44455b290.tar.gz |
* interp/define.boot (canCacheLocalDomain): Remove dead code.
-rw-r--r-- | src/ChangeLog | 4 | ||||
-rw-r--r-- | src/interp/define.boot | 15 |
2 files changed, 4 insertions, 15 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index fe1a9a14..614d802a 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,5 +1,9 @@ 2009-04-28 Gabriel Dos Reis <gdr@cs.tamu.edu> + * interp/define.boot (canCacheLocalDomain): Remove dead code. + +2009-04-28 Gabriel Dos Reis <gdr@cs.tamu.edu> + * interp/compiler.boot (compComma): Supply element type for tuple construction. * interp/i-coerfn.boot (L2Tuple): Likewise. 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 == |