diff options
| author | Gabriel Dos Reis <gdr@axiomatics.org> | 2016-01-06 23:25:26 -0800 |
|---|---|---|
| committer | Gabriel Dos Reis <gdr@axiomatics.org> | 2016-01-06 23:25:26 -0800 |
| commit | 3453d3a52c3809ffd6b5f80d3ab71dde4b9ba8e1 (patch) | |
| tree | 1e9d59a5a26190bb019c6ef123ffb974f94d2d23 /src/interp/define.boot | |
| parent | 7552dba60fd95c427d341e4e9088b1c79b90d223 (diff) | |
| download | open-axiom-3453d3a52c3809ffd6b5f80d3ab71dde4b9ba8e1.tar.gz | |
Remove $insideCategoryIfTrue. Replace with call to new function dbForCategory?
Diffstat (limited to 'src/interp/define.boot')
| -rw-r--r-- | src/interp/define.boot | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/src/interp/define.boot b/src/interp/define.boot index 767521ab..63a5f31c 100644 --- a/src/interp/define.boot +++ b/src/interp/define.boot @@ -843,7 +843,6 @@ compDefine1(db,form,m,e) == (sig := getSignatureFromMode(lhs,e)) => -- here signature of lhs is determined by a previous declaration compDefine1(db,['DEF,lhs,[sig.target,:signature.source],rhs],m,e) - if signature.target=$Category then $insideCategoryIfTrue:= true -- RDJ (11/83): when argument and return types are all declared, -- or arguments have types declared in the environment, @@ -1109,7 +1108,6 @@ compDefineCategory2(db,form,signature,body,m,e,$formalArgList) == --1. bind global variables $prefix: local := nil $op: local := form.op - $insideCategoryIfTrue: local := true $definition: local := form --used by DomainSubstitutionFunction $form: local := nil $extraParms: local := nil @@ -2339,7 +2337,7 @@ compCapsuleInner(db,itemList,m,e) == if $addForm ~= nil then data := ['add,$addForm,data] code := - $insideCategoryIfTrue and not $insideCategoryPackageIfTrue => data + dbForCategory? db => data buildFunctor(db,$signature,data,localParList,e) [MKPF([:$getDomainCode,code],"PROGN"),m,e] |