From 57c34813bfccfd58955608f9ec5e45f4523ef655 Mon Sep 17 00:00:00 2001
From: Gabriel Dos Reis <gdr@axiomatics.org>
Date: Sun, 7 Feb 2016 15:19:35 -0800
Subject: Remove $NRTderivedTargetIfTrue

It wasn't used in any meaningful way -- its value was always set to 'false'.
Furthermore, it didn't match documentation.
---
 src/interp/buildom.boot  | 1 -
 src/interp/compiler.boot | 2 --
 src/interp/nruncomp.boot | 6 +-----
 3 files changed, 1 insertion(+), 8 deletions(-)

(limited to 'src')

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)
-- 
cgit v1.2.3