diff options
| author | dos-reis <gdr@axiomatics.org> | 2013-07-02 02:36:13 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2013-07-02 02:36:13 +0000 |
| commit | 75562692f6375a5ce067997d494a3238eb77f6d5 (patch) | |
| tree | 49bfa85b80e2b9d2b9a33dd6c99de245f0f96330 /src/interp/br-data.boot | |
| parent | cb90da3427de1c9113fdf285ba6ba3a9d307fb6f (diff) | |
| download | open-axiom-75562692f6375a5ce067997d494a3238eb77f6d5.tar.gz | |
Rever sharp var list changes.
Diffstat (limited to 'src/interp/br-data.boot')
| -rw-r--r-- | src/interp/br-data.boot | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/interp/br-data.boot b/src/interp/br-data.boot index acdd25da..3c44428f 100644 --- a/src/interp/br-data.boot +++ b/src/interp/br-data.boot @@ -127,7 +127,7 @@ buildLibdbString [x,:u] == libConstructorSig [conname,:argl] == [[.,:sig],:.] := substitute("T","T$",getConstructorModemap conname) - formals := formalVarList #argl + formals := take(#argl,$FormalMapVariableList) sig := applySubst(pairList($TriangleVariableList,formals),sig) keys := [g(f,sig,i) for f in formals for i in 1..] where g(x,u,i) == --does x appear in any but i-th element of u? @@ -636,7 +636,7 @@ transKCatAlist(conform,domname,s) == main where --no domname, so look for special argument combinations acc := nil KDR conform => - farglist := formalVarList #rest conform + farglist := take(#rest conform,$FormalMapVariableList) for pair in s repeat --pair has form [con,[conargs,:pred],...]] leftForm := getConstructorForm first pair for (ap := [args,:pred]) in rest pair repeat |