diff options
author | dos-reis <gdr@axiomatics.org> | 2010-05-28 03:23:16 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2010-05-28 03:23:16 +0000 |
commit | 6058b44d19c4c9a101cfbb94923d7abd565010ee (patch) | |
tree | 51c89bf8b49d5339f4f65139c62f298f9ed0a107 /src/interp/cattable.boot | |
parent | e8df6a1fe9e9f218b8d9147a3de55f6d60fcc080 (diff) | |
download | open-axiom-6058b44d19c4c9a101cfbb94923d7abd565010ee.tar.gz |
* interp/sys-utility.boot (eval): Define here.
* interp/br-con.boot: Use it.
* interp/br-op1.boot: Likewise.
* interp/br-saturn.boot: Likewise.
* interp/cattable.boot: Likewise.
* interp/ht-util.boot: Likewise.
* interp/htsetvar.boot: Likewise.
* interp/i-funsel.boot: Likewise.
* interp/i-syscmd.boot: Likewise.
* interp/interop.boot: Likewise.
* interp/server.boot: Likewise.
* interp/showimp.boot: Likewise.
* interp/trace.boot: Likewise.
* interp/sys-macros.lisp (eval): Move to sys-utility.boot.
Diffstat (limited to 'src/interp/cattable.boot')
-rw-r--r-- | src/interp/cattable.boot | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/interp/cattable.boot b/src/interp/cattable.boot index 44a51267..efd01af1 100644 --- a/src/interp/cattable.boot +++ b/src/interp/cattable.boot @@ -115,7 +115,7 @@ simpHasPred(pred,:options) == main where pred in '(T etc) => pred null pred => nil pred - simpDevaluate a == EVAL substitute('QUOTE,'devaluate,a) + simpDevaluate a == eval substitute('QUOTE,'devaluate,a) simpHas(pred,a,b) == b is ['ATTRIBUTE,attr] => simpHasAttribute(pred,a,attr) b is ['SIGNATURE,op,sig] => simpHasSignature(pred,a,op,sig) @@ -158,13 +158,13 @@ simpHasAttribute(pred,conform,attr) == --eval w/o loading simpCatHasAttribute(domform,attr) == conform := getConstructorForm opOf domform - catval := EVAL mkEvalable conform + catval := eval mkEvalable conform if atom KDR attr then attr := IFCAR attr pred := u := LASSOC(attr,catval . 2) => first u return false --exit: not there pred = true => true - EVAL SUBLISLIS(rest domform,rest conform,pred) + eval SUBLISLIS(rest domform,rest conform,pred) hasIdent pred == pred is [op,:r] => |