diff options
author | dos-reis <gdr@axiomatics.org> | 2008-11-29 09:09:06 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2008-11-29 09:09:06 +0000 |
commit | 23cd05760f795f58d2eafc56b93d0f7e22e89c9a (patch) | |
tree | 2585432df13508961944c11d5d77182600c6251e | |
parent | 36b22c4ce6b2f228f55dfe44c8d510cf8c7a941e (diff) | |
download | open-axiom-23cd05760f795f58d2eafc56b93d0f7e22e89c9a.tar.gz |
* interp/nruncomp.boot (genDeltaSpecialSig): Remove, as unused.
-rw-r--r-- | src/ChangeLog | 4 | ||||
-rw-r--r-- | src/interp/nruncomp.boot | 4 |
2 files changed, 4 insertions, 4 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index 59611be8..d4334bd9 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,5 +1,9 @@ 2008-11-29 Gabriel Dos Reis <gdr@cs.tamu.edu> + * interp/nruncomp.boot (genDeltaSpecialSig): Remove, as unused. + +2008-11-29 Gabriel Dos Reis <gdr@cs.tamu.edu> + * interp/nruncomp.boot (deltaTran): Don't encode signature again. (genDeltaEntry): Remove dead pattern match. diff --git a/src/interp/nruncomp.boot b/src/interp/nruncomp.boot index 0abae2c3..6a4329c3 100644 --- a/src/interp/nruncomp.boot +++ b/src/interp/nruncomp.boot @@ -220,10 +220,6 @@ genDeltaEntry opMmPair == 0 u -genDeltaSpecialSig x == - x is [":",y,z] => [":",y,NRTgetLocalIndex z] - NRTgetLocalIndex x - ++ Return the slot number (within the template vector of the functor ++ being compiled) of the domain or value referenced by the form `x'. ++ Otherwise, return nil this is the first time `x' is referenced, or |