aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGabriel Dos Reis <gdr@axiomatics.org>2016-02-07 15:19:35 -0800
committerGabriel Dos Reis <gdr@axiomatics.org>2016-02-07 15:19:35 -0800
commit57c34813bfccfd58955608f9ec5e45f4523ef655 (patch)
treeee70dde1b726d1f32d59915964bb5be987390fff
parenta7ca7aef072617deed7a33647094adc3071a2012 (diff)
downloadopen-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.boot1
-rw-r--r--src/interp/compiler.boot2
-rw-r--r--src/interp/nruncomp.boot6
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)