diff options
| author | dos-reis <gdr@axiomatics.org> | 2008-07-04 21:06:40 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2008-07-04 21:06:40 +0000 |
| commit | 415433683b1755b161092170b6b39c381c96c850 (patch) | |
| tree | 22f22cc1f52e5cc6dc95e5e57ad408d4386d7a2d /src/interp/database.boot | |
| parent | 1a3f6eae6f2ef30a6b9249e595c2f37e0ebd002b (diff) | |
| download | open-axiom-415433683b1755b161092170b6b39c381c96c850.tar.gz | |
* interp/compiler.boot (compFormMatch): Tidy.
(getFormModemaps): Likewise.
(compComma): New.
* interp/c-util.boot (isTupleInstance): New.
(isHomoegenousVarargSignature): Likewise.
(enoughArguments): Likewise.
(wantArgumentsAsTuple): Likewise.
* interp/apply.boot (reshapeArgumentList): New.
(compFormWithModemap): Use it.
Diffstat (limited to 'src/interp/database.boot')
| -rw-r--r-- | src/interp/database.boot | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/interp/database.boot b/src/interp/database.boot index d2dd49a4..47cd3ec7 100644 --- a/src/interp/database.boot +++ b/src/interp/database.boot @@ -429,9 +429,9 @@ substVars(pred,patternAlist,patternVarList) == --make pattern variable substitutions domainPredicates := nil for [[patVar,:value],:.] in tails patternAlist repeat - pred := substitute(patVar,value,pred) + pred := MSUBST(patVar,value,pred) patternAlist := nsubst(patVar,value,patternAlist) - domainPredicates := substitute(patVar,value,domainPredicates) + domainPredicates := MSUBST(patVar,value,domainPredicates) if ^MEMQ(value,$FormalMapVariableList) then domainPredicates := [["isDomain",patVar,value],:domainPredicates] everything := [pred,patternAlist,domainPredicates] |