diff options
author | dos-reis <gdr@axiomatics.org> | 2011-11-09 02:50:41 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2011-11-09 02:50:41 +0000 |
commit | 2a7a7e349eb557f49e865d8ecf47aca4d0fd49dd (patch) | |
tree | ca4b476368d921975584e2c4c0079a78db6087b8 /src/interp/define.boot | |
parent | 43be0bf7b21794f6e94027736b004fd7097c226f (diff) | |
download | open-axiom-2a7a7e349eb557f49e865d8ecf47aca4d0fd49dd.tar.gz |
* interp/define.boot (compFunctorBody): First argument is now a DB.
Adjustt caller.
(incompleteFunctorBody): Likewise.
* interp/bc-matrix.boot: Use toString instead of STRINGIMAGE where
appropriate.
* interp/bc-solve.boot: Likewise.
* interp/bc-util.boot: Likewise.
* interp/br-con.boot: Likewise.
* interp/br-op1.boot: Likewise.
* interp/br-saturn.boot: Likewise.
* interp/c-doc.boot: Likewise.
* interp/c-util.boot: Likewise.
* interp/clam.boot: Likewise.
* interp/format.boot: Likewise.
* interp/functor.boot: Likewise.
* interp/g-timer.boot: Likewise.
* interp/htsetvar.boot: Likewise.
* interp/i-funsel.boot: Likewise.
* interp/i-map.boot: Likewise.
* interp/i-output.boot: Likewise.
* interp/i-resolv.boot: Likewise.
* interp/i-special.boot: Likewise.
* interp/i-syscmd.boot: Likewise.
* interp/i-util.boot: Likewise.
* interp/msg.boot: Likewise.
* interp/newfort.boot: Likewise.
* interp/parse.boot: Likewise.
* interp/pathname.boot: Likewise.
* interp/setvars.boot: Likewise.
* interp/showimp.boot: Likewise.
* interp/slam.boot: Likewise.
* interp/trace.boot: Likewise.
Diffstat (limited to 'src/interp/define.boot')
-rw-r--r-- | src/interp/define.boot | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/src/interp/define.boot b/src/interp/define.boot index b46c7474..72014231 100644 --- a/src/interp/define.boot +++ b/src/interp/define.boot @@ -1443,7 +1443,7 @@ compDefineFunctor1(df is ['DEF,form,signature,body], and (u := getSuperDomainFromDB rhsCtor) then u := sublisFormal(rhsArgs,u,$AtVariables) emitSubdomainInfo($form,first u, second u) - T:= compFunctorBody(body,rettype,$e,parForm) + T:= compFunctorBody(db,body,rettype,$e) body':= T.expr lamOrSlam := dbInstanceCache db = nil => 'LAM @@ -1475,28 +1475,28 @@ compDefineFunctor1(df is ['DEF,form,signature,body], ++ Finish the incomplete compilation of a functor body. -incompleteFunctorBody(form,m,body,e) == +incompleteFunctorBody(db,m,body,e) == -- The slot numbers from the category shell are bogus at this point. -- Nullify them so people don't think they bear any meaningful -- semantics (well, they should not think these are forwarding either). ops := nil for [opsig,pred,funsel] in categoryExports $domainShell repeat - if pred isnt 'T then + if pred isnt true then pred := simpBool pred if funsel is [op,.,.] and op in '(ELT CONST) then third(funsel) := nil ops := [[opsig,pred,funsel],:ops] $lisplibOperationAlist := listSort(function GGREATERP,ops,function first) - dbSuperDomain(constructorDB form.op) := + dbSuperDomain(db) := body is ['SubDomain,dom,pred] => [dom,pred] body is ['add,['SubDomain,dom,pred],:.] => [dom,pred] nil - [bootStrapError(form, _/EDITFILE),m,e] + [bootStrapError(dbConstructorForm db, _/EDITFILE),m,e] ++ Subroutine of compDefineFunctor1. Called to generate backend code ++ for a functor definition. -compFunctorBody(body,m,e,parForm) == - $bootStrapMode => incompleteFunctorBody($functorForm,m,body,e) +compFunctorBody(db,body,m,e) == + $bootStrapMode => incompleteFunctorBody(db,m,body,e) clearCapsuleDirectory() -- start collecting capsule functions. T:= compOrCroak(body,m,e) $capsuleFunctionStack := reverse! $capsuleFunctionStack @@ -1821,7 +1821,7 @@ addDomain(domain,e) == domain isnt [.,:.] => domain="$EmptyMode" => e domain="$NoValueMode" => e - not ident? domain or 2 < #(s:= STRINGIMAGE domain) and + not ident? domain or 2 < #(s:= symbolName domain) and char "#" = stringChar(s,0) and char "#" = stringChar(s,1) => e symbolMember?(domain,getDomainsInScope e) => e isLiteral(domain,e) => e |