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/database.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/database.boot')
-rw-r--r-- | src/interp/database.boot | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/interp/database.boot b/src/interp/database.boot index 0bd98389..e4245440 100644 --- a/src/interp/database.boot +++ b/src/interp/database.boot @@ -131,10 +131,10 @@ getConstructorAttributesFromDB: %Constructor -> %Form getConstructorAttributesFromDB ctor == GETDATABASE(ctor,"ATTRIBUTES") -niladicConstructorFromDB: %Constructor -> %Boolean -niladicConstructorFromDB ctor == - property(ctor,'LOADED) => dbNiladic? constructorDB ctor - GETDATABASE(ctor,"NILADIC") +niladicConstructor?: %Constructor -> %Boolean +niladicConstructor? ctor == + form := getConstructorFormFromDB ctor => form.args = nil + false constructorHasCategoryFromDB: %Pair(%Thing,%Thing) -> %List %Code constructorHasCategoryFromDB p == |