diff options
Diffstat (limited to 'src/interp/define.boot')
-rw-r--r-- | src/interp/define.boot | 16 |
1 files changed, 6 insertions, 10 deletions
diff --git a/src/interp/define.boot b/src/interp/define.boot index d78c5770..39c2abc1 100644 --- a/src/interp/define.boot +++ b/src/interp/define.boot @@ -1706,23 +1706,19 @@ compSubDomain1(domainForm,predicate,m,e) == compCapsuleInner(itemList,m,e) == e:= addInformation(m,e) --puts a new 'special' property of $Information - data:= ["PROGN",:itemList] + data := ["PROGN",:itemList] --RPLACd by compCapsuleItems and Friends - e:= compCapsuleItems(itemList,nil,e) + e := compCapsuleItems(itemList,nil,e) localParList:= $functorLocalParameters - if $addForm then data:= ['add,$addForm,data] - code:= + if $addForm ~= nil then + data := ['add,$addForm,data] + code := $insideCategoryIfTrue and not $insideCategoryPackageIfTrue => data - processFunctor($form,$signature,data,localParList,e) + buildFunctor($form,$signature,data,localParList,e) [MKPF([:$getDomainCode,code],"PROGN"),m,e] --% PROCESS FUNCTOR CODE -processFunctor(form,signature,data,localParList,e) == - form is ["CategoryDefaults"] => - error "CategoryDefaults is a reserved name" - buildFunctor(form,signature,data,localParList,e) - compCapsuleItems(itemlist,$predl,$e) == $signatureOfForm: local := nil $suffix: local:= 0 |