diff options
| author | dos-reis <gdr@axiomatics.org> | 2013-07-01 06:01:56 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2013-07-01 06:01:56 +0000 |
| commit | 859275a5967e87643c948a8ae340529444b843b1 (patch) | |
| tree | af173369b179706c9b6ab8fc76d7bcbe1bf00934 /src/interp/compiler.boot | |
| parent | 6c7342e9fe62ef8588307be33b2ad9543e4a071c (diff) | |
| download | open-axiom-859275a5967e87643c948a8ae340529444b843b1.tar.gz | |
Bring closer to GCL-buildability.
Diffstat (limited to 'src/interp/compiler.boot')
| -rw-r--r-- | src/interp/compiler.boot | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/interp/compiler.boot b/src/interp/compiler.boot index e070e214..e9a97c6f 100644 --- a/src/interp/compiler.boot +++ b/src/interp/compiler.boot @@ -334,7 +334,8 @@ compWithMappingMode(x,m is ["Mapping",m',:sl],oldE) == return [['%function,x],m,e] x is ["+->",:.] => compLambda(x,m,oldE) if string? x then x := makeSymbol x - for m in sl for v in (vl:= take(#sl,$FormalMapVariableList)) repeat + vl := formalVarList #sl + for m in sl for v in vl repeat [.,.,e]:= compMakeDeclaration(v,m,e) (vl ~= nil) and not hasFormalMapVariable(x, vl) => [u,.,.] := comp([x,:vl],m',e) or return nil @@ -1356,7 +1357,7 @@ compHas(pred is ["has",a,b],m,e) == compHasFormat(db,pred is ["has",olda,b],e) == argl := $form.args - formals := take(#argl,$FormalMapVariableList) + formals := formalVarList #argl a := applySubst(pairList(formals,argl),olda) [a,.,e] := comp(a,$EmptyMode,e) or return nil a := applySubst(pairList(argl,formals),a) |