diff options
| author | Gabriel Dos Reis <gdr@axiomatics.org> | 2018-02-01 06:04:27 -0800 |
|---|---|---|
| committer | Gabriel Dos Reis <gdr@axiomatics.org> | 2018-02-01 06:04:27 -0800 |
| commit | d113f3f7ba119fecd9d946bced8d3dfe9456b933 (patch) | |
| tree | 2884185a3966718504cf6a14ddd4da42364604af | |
| parent | 7dfe7a715b7baad376fe10f475fc4414ad235572 (diff) | |
| download | open-axiom-d113f3f7ba119fecd9d946bced8d3dfe9456b933.tar.gz | |
Fix thinko
Existing code did not supply the domain to export from, hence supplying one fewer argument to `genImportDeclaration`. Issue discovered by build with CLISP.
| -rw-r--r-- | src/interp/compiler.boot | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/interp/compiler.boot b/src/interp/compiler.boot index d14a7247..b64c843c 100644 --- a/src/interp/compiler.boot +++ b/src/interp/compiler.boot @@ -1546,7 +1546,7 @@ checkExternalEntity(id,type,lang,e) == type' isnt [=bootDenotation "%Mapping",:.] => stackAndThrow('"Signature for external entity must be a Mapping type",nil) id' := encodeLocalFunctionName id - [def] := genImportDeclaration(id',[bootDenotation "%Signature",id,type']) + [def] := genImportDeclaration(id',[bootDenotation "%Signature",id,type'], ["Foreign", lang]) apply($backend,[def]) id' |