diff options
| author | dos-reis <gdr@axiomatics.org> | 2009-01-12 09:57:47 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2009-01-12 09:57:47 +0000 |
| commit | 8d490e2e4c1babdbf34c28e3c334ba3c8cf16c27 (patch) | |
| tree | 3794bb8e3c989025175902c249e5b3833e04c90c /src/interp/wi1.boot | |
| parent | 7f4d5ba0d11c5c7f5bc106655ffb07f37ed453a0 (diff) | |
| download | open-axiom-8d490e2e4c1babdbf34c28e3c334ba3c8cf16c27.tar.gz | |
* interp/category.boot: Miscellaneous cleanup.
* interp/compiler.boot: Likewise.
* interp/define.boot: Likewise.
* interp/functor.boot: Likewise.
* interp/info.boot: Likewise.
* interp/nruncomp.boot: Likewise.
* interp/wi1.boot: Likewise.
* interp/wi2.boot: Likewise.
Diffstat (limited to 'src/interp/wi1.boot')
| -rw-r--r-- | src/interp/wi1.boot | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/interp/wi1.boot b/src/interp/wi1.boot index 718b413c..d7399ea5 100644 --- a/src/interp/wi1.boot +++ b/src/interp/wi1.boot @@ -321,7 +321,7 @@ compWithMappingMode(x,m,oldE) == ) and extendsCategoryForm("$",target,m') then return [x,m,e] if STRINGP x then x:= INTERN x for m in sl for v in (vl:= take(#sl,$FormalMapVariableList)) repeat - [.,.,e]:= compMakeDeclaration([":",v,m],$EmptyMode,e) + [.,.,e]:= compMakeDeclaration(v,m,e) not null vl and not hasFormalMapVariable(x, vl) => return [u,.,.] := comp([x,:vl],m',e) or return nil extractCodeAndConstructTriple(u, m, oldE) @@ -539,7 +539,7 @@ compSetq1(oform,val,m,E) == form := markKillAll oform IDENTP form => setqSingle(form,val,m,E) form is [":",x,y] => - [.,.,E']:= compMakeDeclaration(form,$EmptyMode,E) + [.,.,E']:= compMakeDeclaration(x,y,E) compSetq(["%LET",x,val],m,E') form is [op,:l] => op="CONS" => setqMultiple(uncons form,val,m,E) @@ -1195,7 +1195,7 @@ compDefineCategory2(form,signature,specialCases,body,m,e, $getDomainCode: local := nil $addForm: local:= nil for x in sargl for t in rest signature' repeat - [.,.,e]:= compMakeDeclaration([":",x,t],m,e) + [.,.,e]:= compMakeDeclaration(x,t,e) -- 4. compile body in environment of %type declarations for arguments op':= $op |