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-analy.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-analy.boot')
| -rw-r--r-- | src/interp/i-analy.boot | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/interp/i-analy.boot b/src/interp/i-analy.boot index 28c5ea5a..4a66b64b 100644 --- a/src/interp/i-analy.boot +++ b/src/interp/i-analy.boot @@ -334,7 +334,7 @@ bottomUpCompilePredicate(pred, name) == ++ By default, the ambiguity is resolved to types. ++ See bottomUpIdentifier and isType. isUnambiguouslyConstructor(id,t) == - niladicConstructorFromDB id => nil + niladicConstructor? id => nil k := getConstructorKindFromDB id or builtinFunctorName? id => "domain" builtinCategoryName? id => "category" @@ -395,7 +395,7 @@ namedConstant(id,t) == -- ignore polymorphic constants are not supported yet. doms := [getDCFromSystemModemap sysmm for sysmm in sysmms] candidates := nil - for dc in doms | niladicConstructorFromDB first dc repeat + for dc in doms | niladicConstructor? first dc repeat LASSOC(id,getConstructorOperationsFromDB dc.op) is [[sig,.,.,"CONST"]] => candidates := [[dc,sig],:candidates] null candidates => nil |