diff options
Diffstat (limited to 'src/interp')
| -rw-r--r-- | src/interp/compiler.boot | 38 |
1 files changed, 33 insertions, 5 deletions
diff --git a/src/interp/compiler.boot b/src/interp/compiler.boot index f567db1f..c7a73820 100644 --- a/src/interp/compiler.boot +++ b/src/interp/compiler.boot @@ -208,8 +208,7 @@ compTypeOf(x:=[op,:argl],m,e) == emitLocalCallInsn: (%Symbol,%List,%Env) -> %Code emitLocalCallInsn(op,args,e) == op' := -- Find out the linkage name for `op'. - linkName := get(op,"%Link",e) => linkName - encodeLocalFunctionName op + get(op,"%Link",e) or encodeLocalFunctionName op get(op,"%Lang",e) => [op',:args] -- non-Spad calling convention [op',:args,"$"] @@ -500,6 +499,7 @@ compForm1(form is [op,:argl],m,e) == --op'='QUOTE and null rest argl => [first argl,m,e] [[op',:[([.,.,e]:= compOrCroak(x,$EmptyMode,e)).expr for x in argl]],m,e] domain=$Expression and op'="construct" => compExpressionList(argl,m,e) + domain is ["Foreign",lang] => compForeignPackageCall(lang,op',argl,m,e) (op'="COLLECT") and coerceable(domain,m,e) => (T:= comp([op',:argl],domain,e) or return nil; coerce(T,m)) -- Next clause added JHD 8/Feb/94: the clause after doesn't work @@ -507,7 +507,6 @@ compForm1(form is [op,:argl],m,e) == (domain is ['Mapping,:.]) and (ans := compForm2([op',:argl],m,e:= augModemapsFromDomain1(domain,domain,e), [x for x in getFormModemaps([op',:argl],e) | x is [[ =domain,:.],:.]])) => ans - ans := compForm2([op',:argl],m,e:= addDomain(domain,e), [x for x in getFormModemaps([op',:argl],e) | x is [[ =domain,:.],:.]]) => ans (op'="construct") and coerceable(domain,m,e) => @@ -1092,11 +1091,25 @@ compReturn(["return",level,x],m,e) == --% ELT +++ `op' supposedly designate an external entity with language linkage +++ `lang'. Return the mode of its local declaration (import). +getExternalSymbolMode(op,lang,e) == + lang = "Builtin" => "%Thing" -- for the time being + lang ^= "C" => + stackAndThrow('"Sorry: %b Foreign %1b %d is invalid at the moment",[lang]) + get(op,"%Lang",e) ^= lang => + stackAndThrow('"%1bp is not known to have language linkage %2bp",[op,lang]) + getmode(op,e) or stackAndThrow('"Operator %1bp is not in scope",[op]) + compElt: (%Form,%Mode,%Env) -> %Maybe %Triple compElt(form,m,E) == form isnt ["elt",aDomain,anOp] => compForm(form,m,E) - aDomain="Lisp" => - [anOp',m,E] where anOp'() == (anOp=$Zero => 0; anOp=$One => 1; anOp) + aDomain="Lisp" or (aDomain is ["Foreign",lang] and lang="Builtin") => + [anOp,m,E] + lang ^= nil => + opMode := getExternalSymbolMode(anOp,lang,E) + op := get(anOp,"%Link",E) or anOp + convert([op,opMode,E],m) isDomainForm(aDomain,E) => E:= addDomain(aDomain,E) mmList:= getModemapListFromDomain(anOp,0,aDomain,E) @@ -1373,6 +1386,21 @@ compSignatureImport(["%SignatureImport",id,type,home],m,e) == convert(T,m) +++ Compile package call to an external function. +++ `lang' is the language calling convention +++ `op' is the operator name +++ `args' is the list of arguments +++ `m' is the context mode. +++ `e' is the compilation environment in effect. +compForeignPackageCall(lang,op,args,m,e) == + lang = "Builtin" => + -- Note: We don't rename builtin functions. + [[op,:[([.,.,e]:= compOrCroak(x,$EmptyMode,e)).expr + for x in args]],m,e] + getExternalSymbolMode(op,lang,e) is ["Mapping",:argModes] + and (#argModes = #args + 1) => applyMapping([op,:args],m,e,argModes) + stackAndThrow('"OpenAxiom could not determine the meaning of %1bp",[op]) + --% Compilation of logical operators that may have a pre-defined --% meaning, or may need special handling because or short-circuiting --% etc. |