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/c-doc.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/c-doc.boot')
-rw-r--r-- | src/interp/c-doc.boot | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/interp/c-doc.boot b/src/interp/c-doc.boot index fdf34936..5c199b50 100644 --- a/src/interp/c-doc.boot +++ b/src/interp/c-doc.boot @@ -45,12 +45,12 @@ getDoc(conName,op,modemap) == [dc,target,sl,pred,D] := simplifyModemap modemap sig := [target,:sl] null atom dc => - sig := substitute('$,dc,sig) + sig := MSUSBT('$,dc,sig) sig := SUBLISLIS($FormalMapVariableList,rest dc,sig) getDocForDomain(conName,op,sig) if argList := IFCDR getOfCategoryArgument pred then SUBLISLIS($FormalMapArgumentList,argList,sig) - sig := substitute('$,dc,sig) + sig := MSUBST('$,dc,sig) getDocForCategory(conName,op,sig) ++ Given a preidcate `pred' for a modemap, returns the first |