Permalink
Browse files

Remove $NRTderivedTargetIfTrue

It wasn't used in any meaningful way -- its value was always set to 'false'.
Furthermore, it didn't match documentation.
  • Loading branch information...
GabrielDosReis committed Feb 7, 2016
1 parent a7ca7ae commit 57c34813bfccfd58955608f9ec5e45f4523ef655
Showing with 1 addition and 8 deletions.
  1. +0 −1 src/interp/buildom.boot
  2. +0 −2 src/interp/compiler.boot
  3. +1 −5 src/interp/nruncomp.boot
View
@@ -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
View
@@ -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.
View
@@ -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,15 +564,14 @@ 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]
dbFormalSubst db
exports :=
transformOperationAlist applySubst(pairlis,categoryExports dbDomainShell db)
opList :=
$NRTderivedTargetIfTrue => 'derived
$insideCategoryPackageIfTrue => slot1Filter exports
exports
addList := applySubst(pairlis,$NRTaddForm)

0 comments on commit 57c3481

Please sign in to comment.