diff options
| author | dos-reis <gdr@axiomatics.org> | 2011-11-02 12:55:19 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2011-11-02 12:55:19 +0000 |
| commit | c3dea39d035f24533e2aa65309214f7ce2aa9ae6 (patch) | |
| tree | 3ff0c7970b5224c993d91be3997ada85f7eed5b0 /src/interp/c-util.boot | |
| parent | 50b4173dde564f17b40c4ec8f84b4e361d889d6b (diff) | |
| download | open-axiom-c3dea39d035f24533e2aa65309214f7ce2aa9ae6.tar.gz | |
* interp/c-util.boot (dbSubstituteAllQuantified): New.
* interp/define.boot (NRTmakeCategoryAlist): Use it.
(compDefineFunctor1): Likewise.
Diffstat (limited to 'src/interp/c-util.boot')
| -rw-r--r-- | src/interp/c-util.boot | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/interp/c-util.boot b/src/interp/c-util.boot index 815d791f..34cc5546 100644 --- a/src/interp/c-util.boot +++ b/src/interp/c-util.boot @@ -172,10 +172,14 @@ dbImplicitConstraints db == macro dbSubstituteFormals(db,x) == applySubst(dbFormalSubst db,x) -++ Apply the query substitution of`db' to the form `x'. +++ Apply the query substitution of `db' to the form `x'. macro dbSubstituteQueries(db,x) == applySubst(dbQuerySubst db,x) +++ Apply both query and formal variable substitutions of `db' to `x'. +dbSubstituteAllQuantified(db,x) == + applySubst([:dbQuerySubst db,:dbFormalSubst db],x) + --% $SetCategory == '(SetCategory) |