aboutsummaryrefslogtreecommitdiff
path: root/src/interp/c-doc.boot
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2008-07-04 21:06:40 +0000
committerdos-reis <gdr@axiomatics.org>2008-07-04 21:06:40 +0000
commit415433683b1755b161092170b6b39c381c96c850 (patch)
tree22f22cc1f52e5cc6dc95e5e57ad408d4386d7a2d /src/interp/c-doc.boot
parent1a3f6eae6f2ef30a6b9249e595c2f37e0ebd002b (diff)
downloadopen-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.boot4
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