diff options
| author | Gabriel Dos Reis <gdr@axiomatics.org> | 2016-02-07 15:19:35 -0800 |
|---|---|---|
| committer | Gabriel Dos Reis <gdr@axiomatics.org> | 2016-02-07 15:19:35 -0800 |
| commit | 57c34813bfccfd58955608f9ec5e45f4523ef655 (patch) | |
| tree | ee70dde1b726d1f32d59915964bb5be987390fff | |
| parent | a7ca7aef072617deed7a33647094adc3071a2012 (diff) | |
| download | open-axiom-57c34813bfccfd58955608f9ec5e45f4523ef655.tar.gz | |
Remove $NRTderivedTargetIfTrue
It wasn't used in any meaningful way -- its value was always set to 'false'.
Furthermore, it didn't match documentation.
| -rw-r--r-- | src/interp/buildom.boot | 1 | ||||
| -rw-r--r-- | src/interp/compiler.boot | 2 | ||||
| -rw-r--r-- | src/interp/nruncomp.boot | 6 |
3 files changed, 1 insertions, 8 deletions
diff --git a/src/interp/buildom.boot b/src/interp/buildom.boot index e6c7c97d..7dec480d 100644 --- a/src/interp/buildom.boot +++ b/src/interp/buildom.boot @@ -275,7 +275,6 @@ lookupInAddChain(op,sig,addFormDomain,dollar) == -- Lookup Function in Slot 1 (via SPADCALL) --======================================================= lookupInTable(op,sig,dollar,[domain,table]) == - table is "derived" => lookupInAddChain(op,sig,domain,dollar) success := nil -- lookup result someMatch := false while not success for [sig1,:code] in symbolTarget(op,table) repeat diff --git a/src/interp/compiler.boot b/src/interp/compiler.boot index e369e1f9..3ddfb253 100644 --- a/src/interp/compiler.boot +++ b/src/interp/compiler.boot @@ -83,8 +83,6 @@ $IOFormDomains == compTopLevel: (%Form,%Mode,%Env) -> %Maybe %Triple compTopLevel(x,m,e) == - -- signals that target is derived from lhs-- see makeSlot1Info - $NRTderivedTargetIfTrue: local := false $currentFunction: local := nil $forceAdd: local:= false -- start with a base list of domains we may want to inline. diff --git a/src/interp/nruncomp.boot b/src/interp/nruncomp.boot index f982e494..7a09ff4f 100644 --- a/src/interp/nruncomp.boot +++ b/src/interp/nruncomp.boot @@ -58,9 +58,6 @@ $profileCompiler := false ++ $NRTaddForm := nil -++ -$NRTderivedTargetIfTrue := false - addDeltaCode db == --NOTES: This function is called from buildFunctor to initially -- fill slots in dbTemplate. The dbTemplate so created is stored in the @@ -567,7 +564,7 @@ makeSlot1Info db == -- a:T == b add c --- slot1 directory has #s for entries defined in c -- a:T == b --- slot1 has all slot #s = nil (see compFunctorBody) -- a == b add c --- not allowed (line 7 of getTargetFromRhs) --- a == b --- $NRTderivedTargetIfTrue = true; set directory to nil +-- a == b --- set directory to empty pairlis := $insideCategoryPackageIfTrue => [[first dbParameters db,:'_$],:dbFormalSubst db] @@ -575,7 +572,6 @@ makeSlot1Info db == exports := transformOperationAlist applySubst(pairlis,categoryExports dbDomainShell db) opList := - $NRTderivedTargetIfTrue => 'derived $insideCategoryPackageIfTrue => slot1Filter exports exports addList := applySubst(pairlis,$NRTaddForm) |