aboutsummaryrefslogtreecommitdiff
path: root/src/interp
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2010-02-14 15:33:14 +0000
committerdos-reis <gdr@axiomatics.org>2010-02-14 15:33:14 +0000
commitdbe91668915a487380cfbde6e0036264b5d766d6 (patch)
tree948be346855f226a6ccbe479c7494c1c57d690ed /src/interp
parent28d261c72d6347990c751e43e4fc5604716f301c (diff)
downloadopen-axiom-dbe91668915a487380cfbde6e0036264b5d766d6.tar.gz
Fix SF/2910351
* interp/nruncomp.boot (deltaTran): Avoid use of user-visible names for compiler internal tags. (genDeltaEntry): Likewise. (NRTassocIndex): Likewise. (NRTgetLocalIndex): Likewise. (NRTsubstDelta): Likewise. * interp/wi2.boot (genDeltaEntry): Likewise.
Diffstat (limited to 'src/interp')
-rw-r--r--src/interp/nruncomp.boot18
-rw-r--r--src/interp/wi2.boot6
2 files changed, 12 insertions, 12 deletions
diff --git a/src/interp/nruncomp.boot b/src/interp/nruncomp.boot
index c0fdeda4..1b969ae2 100644
--- a/src/interp/nruncomp.boot
+++ b/src/interp/nruncomp.boot
@@ -1,6 +1,6 @@
-- Copyright (c) 1991-2002, The Numerical Algorithms Group Ltd.
-- All rights reserved.
--- Copyright (C) 2007-2009, Gabriel Dos Reis.
+-- Copyright (C) 2007-2010, Gabriel Dos Reis.
-- All rights reserved.
--
-- Redistribution and use in source and binary forms, with or without
@@ -95,8 +95,8 @@ NRTaddDeltaCode() ==
nil
deltaTran(item,compItem) ==
- item is ['domain,lhs,:.] => NRTencode(lhs,compItem)
- --NOTE: all items but signatures are wrapped with domain forms
+ --NOTE: all items but signatures are wrapped with %domain forms
+ item is ["%domain",lhs,:.] => NRTencode(lhs,compItem)
[op,:modemap] := item
[dcSig,[.,[kind,:.]]] := modemap
[dc,:sig] := dcSig
@@ -203,8 +203,8 @@ genDeltaEntry opMmPair ==
[op,[dc,:[NRTgetLocalIndex x for x in nsig]],["T",cform]] -- force pred to T
if null NRTassocIndex dc and
(member(dc,$functorLocalParameters) or not atom dc) then
- --create "domain" entry to $NRTdeltaList
- $NRTdeltaList:= [['domain,NRTaddInner dc,:dc],:$NRTdeltaList]
+ --create "%domain" entry to $NRTdeltaList
+ $NRTdeltaList:= [["%domain",NRTaddInner dc,:dc],:$NRTdeltaList]
saveNRTdeltaListComp:= $NRTdeltaListComp:=[nil,:$NRTdeltaListComp]
$NRTdeltaLength := $NRTdeltaLength+1
compEntry:= (compOrCroak(odc,$EmptyMode,$e)).expr
@@ -229,7 +229,7 @@ NRTassocIndex x ==
null x => x
x = $NRTaddForm => 5
k := or/[i for i in 1.. for y in $NRTdeltaList
- | first y = "domain" and second y = x] =>
+ | first y = "%domain" and second y = x] =>
$NRTbase + $NRTdeltaLength - k
nil
@@ -243,7 +243,7 @@ NRTgetLocalIndex item ==
MEMQ(item,$formalArgList) => item
nil
atom item and null value => --give slots to atoms
- $NRTdeltaList:= [['domain,NRTaddInner item,:value],:$NRTdeltaList]
+ $NRTdeltaList:= [["%domain",NRTaddInner item,:value],:$NRTdeltaList]
$NRTdeltaListComp:=[item,:$NRTdeltaListComp]
index := $NRTbase + $NRTdeltaLength -- slot number to return
$NRTdeltaLength := $NRTdeltaLength+1
@@ -251,7 +251,7 @@ NRTgetLocalIndex item ==
-- when assigning slot to flag values, we don't really want to
-- compile them. Rather, we want to record them as if they were atoms.
flag := isQuasiquote item
- $NRTdeltaList:= [['domain, NRTaddInner item,:value], :$NRTdeltaList]
+ $NRTdeltaList:= [["%domain", NRTaddInner item,:value], :$NRTdeltaList]
-- remember the item's place in the `delta list' and its slot number
-- before the recursive call to the compiler, as that might generate
-- more references that would extend the `delta list'.
@@ -710,7 +710,7 @@ NRTsubstDelta(initSig) ==
t = 2 => '_$_$
t = 5 => $NRTaddForm
u:= $NRTdeltaList.($NRTdeltaLength+5-t)
- first u = 'domain => second u
+ first u = "%domain" => second u
error "bad $NRTdeltaList entry"
first t in '(Mapping Union Record _:) =>
[first t,:[replaceSlotTypes(x) for x in rest t]]
diff --git a/src/interp/wi2.boot b/src/interp/wi2.boot
index e3871acb..b4e4c7f5 100644
--- a/src/interp/wi2.boot
+++ b/src/interp/wi2.boot
@@ -1,6 +1,6 @@
-- Copyright (c) 1991-2002, The Numerical ALgorithms Group Ltd.
-- All rights reserved.
--- Copyright (C) 2007-2009, Gabriel Dos Reis.
+-- Copyright (C) 2007-2010, Gabriel Dos Reis.
-- All rights reserved.
--
-- Redistribution and use in source and binary forms, with or without
@@ -717,8 +717,8 @@ genDeltaEntry opMmPair ==
[op,[dc,:[genDeltaSig x for x in sig]],['T,cform]] -- force pred to T
if null NRTassocIndex dc and
(member(dc,$functorLocalParameters) or null atom dc) then
- --create "domain" entry to $NRTdeltaList
- $NRTdeltaList:= [['domain,NRTaddInner dc,:dc],:$NRTdeltaList]
+ --create "%domain" entry to $NRTdeltaList
+ $NRTdeltaList:= [["%domain",NRTaddInner dc,:dc],:$NRTdeltaList]
saveNRTdeltaListComp:= $NRTdeltaListComp:=[nil,:$NRTdeltaListComp]
$NRTdeltaLength := $NRTdeltaLength+1
compEntry:=