diff options
| author | dos-reis <gdr@axiomatics.org> | 2011-11-12 00:02:45 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2011-11-12 00:02:45 +0000 |
| commit | 9cd53b14b6a45a5b55f68d2ca0276dc0b6b1d9e8 (patch) | |
| tree | 08af9678b1af71f0b62947583157ddf7b9c61f8f /src/interp | |
| parent | 03873819331377f8797c2b992878caa0207e1d50 (diff) | |
| download | open-axiom-9cd53b14b6a45a5b55f68d2ca0276dc0b6b1d9e8.tar.gz | |
* interp/define.boot (getTargetFromRhs): Do not try to record
references to used entities.
Diffstat (limited to 'src/interp')
| -rw-r--r-- | src/interp/define.boot | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/src/interp/define.boot b/src/interp/define.boot index a6112f48..c13b52f7 100644 --- a/src/interp/define.boot +++ b/src/interp/define.boot @@ -811,7 +811,7 @@ compDefine1(form,m,e) == isDomainForm(rhs,e) and not $insideFunctorIfTrue => if lhs is [.,:.] then e := giveFormalParametersValues(lhs.args,e) - if null signature.target then + if signature.target = nil then signature := [getTargetFromRhs(lhs,rhs,e),:signature.source] rhs := addEmptyCapsuleIfNecessary(signature.target,rhs) compDefineFunctor(['DEF,lhs,signature,rhs],m,e,nil,$formalArgList) @@ -843,6 +843,9 @@ addEmptyCapsuleIfNecessary(target,rhs) == symbolMember?(KAR rhs,$SpecialDomainNames) => rhs ['add,rhs,['CAPSULE]] +++ We are about to elaborate a functor definition, but there +++ is no source-level user-supplied target mode on the result. +++ Attempt to infer the target type by compiling the body. getTargetFromRhs: (%Form, %Form, %Env) -> %Form getTargetFromRhs(lhs,rhs,e) == --undeclared target mode obtained from rhs expression @@ -853,7 +856,10 @@ getTargetFromRhs(lhs,rhs,e) == rhs is ['add,D,['CAPSULE,:.]] => getTargetFromRhs(lhs,D,e) rhs is ['Record,:l] => ['RecordCategory,:l] rhs is ['Union,:l] => ['UnionCategory,:l] - (compOrCroak(rhs,$EmptyMode,e)).mode + mode(rhs,e) where + mode(x,e) == + $killOptimizeIfTrue: local := true -- not yet in codegen phase. + compOrCroak(x,$EmptyMode,e).mode giveFormalParametersValues(argl,e) == for x in argl | ident? x repeat |