diff options
| author | dos-reis <gdr@axiomatics.org> | 2011-04-22 15:51:57 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2011-04-22 15:51:57 +0000 |
| commit | 32efd3b0691918cf1d662b095c653d5a0a17ff7b (patch) | |
| tree | b340c1d23d752542fe88fd80ae6d559198c0b263 /src/interp/c-util.boot | |
| parent | b0046ba3929c513a399fd1ebb84dee1712c55a02 (diff) | |
| download | open-axiom-32efd3b0691918cf1d662b095c653d5a0a17ff7b.tar.gz | |
more cleanup
Diffstat (limited to 'src/interp/c-util.boot')
| -rw-r--r-- | src/interp/c-util.boot | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/interp/c-util.boot b/src/interp/c-util.boot index 855cf50c..619555d0 100644 --- a/src/interp/c-util.boot +++ b/src/interp/c-util.boot @@ -900,19 +900,19 @@ extendsCategoryForm(domain,form,form') == --Must be $e to pick up locally bound domains form' is ["SIGNATURE",op,args,:.] => assoc([op,args],formVec.1) or - assoc(SUBSTQ(domain,"$",[op,args]), - SUBSTQ(domain,"$",formVec.1)) + assoc(substitute(domain,"$",[op,args]), + substitute(domain,"$",formVec.1)) form' is ["ATTRIBUTE",at] => assoc(at,formVec.2) or - assoc(SUBSTQ(domain,"$",at),SUBSTQ(domain,"$",formVec.2)) + assoc(substitute(domain,"$",at),substitute(domain,"$",formVec.2)) form' is ["IF",:.] => true --temporary hack so comp won't fail -- Are we dealing with an Aldor category? If so use the "has" function ... # formVec = 1 => newHasTest(form,form') catvlist:= formVec.4 listMember?(form',first catvlist) or - listMember?(form',SUBSTQ(domain,"$",first catvlist)) or + listMember?(form',substitute(domain,"$",first catvlist)) or (or/ - [extendsCategoryForm(domain,SUBSTQ(domain,"$",cat),form') + [extendsCategoryForm(domain,substitute(domain,"$",cat),form') for [cat,:.] in second catvlist]) nil |