diff options
author | dos-reis <gdr@axiomatics.org> | 2011-10-19 14:00:20 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2011-10-19 14:00:20 +0000 |
commit | 5eaf97c06d63a82a03602ea8e99bd4fd8f8edbe2 (patch) | |
tree | 60b22a4ceeb5a603c2d59289f8341d85e7ef25e5 /src/interp | |
parent | 8eb956703b1347fe2ced725dfba56d35c6aecd74 (diff) | |
download | open-axiom-5eaf97c06d63a82a03602ea8e99bd4fd8f8edbe2.tar.gz |
misc cleanup
Diffstat (limited to 'src/interp')
-rw-r--r-- | src/interp/c-util.boot | 2 | ||||
-rw-r--r-- | src/interp/define.boot | 2 | ||||
-rw-r--r-- | src/interp/parse.boot | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/src/interp/c-util.boot b/src/interp/c-util.boot index a6931e5c..bd1566da 100644 --- a/src/interp/c-util.boot +++ b/src/interp/c-util.boot @@ -1568,7 +1568,7 @@ massageBackendCode x == -- special variable. u is 'SETQ and isLispSpecialVariable second x => noteSpecialVariable second x - ident? u and GET(u,"ILAM") ~= nil => + ident? u and property(u,"ILAM") ~= nil => x.first := eval u massageBackendCode x u in '(LET LET_*) => diff --git a/src/interp/define.boot b/src/interp/define.boot index 05e87331..8c127081 100644 --- a/src/interp/define.boot +++ b/src/interp/define.boot @@ -2393,7 +2393,7 @@ makeCategoryForm(c,e) == mustInstantiate: %Form -> %Thing mustInstantiate D == D is [fn,:.] and - not (symbolMember?(fn,$DummyFunctorNames) or GET(fn,"makeFunctionList")) + not (symbolMember?(fn,$DummyFunctorNames) or property(fn,"makeFunctionList")) wrapDomainSub: (%List %Form, %Form) -> %Form wrapDomainSub(parameters,x) == diff --git a/src/interp/parse.boot b/src/interp/parse.boot index 8fd23a1c..2f9b94cc 100644 --- a/src/interp/parse.boot +++ b/src/interp/parse.boot @@ -76,7 +76,7 @@ parseTran x == r:= parseConstruct ["construct",:argl] op is ["elt",:.] => [parseTran op,:rest r] r - symbol? u and (fn:= GET(u,'parseTran)) => FUNCALL(fn,x) + symbol? u and (fn:= property(u,'parseTran)) => FUNCALL(fn,x) [parseTran op,:parseTranList argl] parseType t == |