diff options
author | dos-reis <gdr@axiomatics.org> | 2011-08-22 00:05:40 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2011-08-22 00:05:40 +0000 |
commit | 01d00dd8cc892cd2666297557dd3dc68c0f273c8 (patch) | |
tree | 17ff8b21271c139ae1e2f2cefd7fe18082f46d94 /src/interp/i-eval.boot | |
parent | e512522d03772f446977fd068ad6e18244d240f5 (diff) | |
download | open-axiom-01d00dd8cc892cd2666297557dd3dc68c0f273c8.tar.gz |
* interp/database.boot (niladicConstructor?): Rename from
niladicConstructorFromDB. Use getConstructorFormFromDB.
Adjust callers.
Diffstat (limited to 'src/interp/i-eval.boot')
-rw-r--r-- | src/interp/i-eval.boot | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/interp/i-eval.boot b/src/interp/i-eval.boot index 5626f35c..8b10a9ac 100644 --- a/src/interp/i-eval.boot +++ b/src/interp/i-eval.boot @@ -102,7 +102,7 @@ evaluateType0 form == builtinConstructor? op => [op,:[evaluateType arg for arg in argl]] constructor? op => evaluateType1 form nil - ident? form and niladicConstructorFromDB form => evaluateType [form] + ident? form and niladicConstructor? form => evaluateType [form] ident? form and (constructor? form or builtinConstructor? form) => throwEvalTypeMsg("S2IE0003",[form,form]) @@ -150,7 +150,7 @@ evaluateType form == symbolMember?(arg,args) => throwKeyedMsg("S2IL0032",[arg]) form evaluateFormAsType form - ident? form and niladicConstructorFromDB form => evaluateType [form] + ident? form and niladicConstructor? form => evaluateType [form] ident? form and (constructor? form or builtinConstructor? form) => throwEvalTypeMsg("S2IE0003",[form,form]) evaluateFormAsType form |