diff options
| author | dos-reis <gdr@axiomatics.org> | 2010-08-22 03:12:26 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2010-08-22 03:12:26 +0000 |
| commit | 3e38ce0631fba7d1e65c807c8e290c562d3faeba (patch) | |
| tree | 3d8ae4f1d8a0f75575c3c59f5ea33a42b007b8b6 | |
| parent | f19b07ceb5b649991cec0fb91d24dc74c7f7cdbf (diff) | |
| download | open-axiom-3e38ce0631fba7d1e65c807c8e290c562d3faeba.tar.gz | |
* interp/compiler.boot (getBootType): Prefix Mapping with %.
(checkExternalEntity): Likewise. Do same with Signature.
| -rw-r--r-- | src/ChangeLog | 5 | ||||
| -rw-r--r-- | src/interp/compiler.boot | 6 |
2 files changed, 8 insertions, 3 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index 85445ae7..00084f6d 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,3 +1,8 @@ +2010-08-21 Gabriel Dos Reis <gdr@cs.tamu.edu> + + * interp/compiler.boot (getBootType): Prefix Mapping with %. + (checkExternalEntity): Likewise. Do same with Signature. + 2010-08-20 Gabriel Dos Reis <gdr@cs.tamu.edu> * Makefile.pamphlet (all-interpsys): Require all-utils. diff --git a/src/interp/compiler.boot b/src/interp/compiler.boot index 7260aa84..7d4b8809 100644 --- a/src/interp/compiler.boot +++ b/src/interp/compiler.boot @@ -1373,7 +1373,7 @@ getBootType t == getBasicFFIType ret or return nil args' := [getFFIDatatype arg or return "failed" for arg in args] args' = "failed" => return nil - [bootDenotation "Mapping",ret',args'] + [bootDenotation "%Mapping",ret',args'] nil ++ Verify that mode `t' is admissible in an external entity signature @@ -1402,10 +1402,10 @@ checkExternalEntity(id,type,lang,e) == -- Only functions are accepted at the moment. And all mentioned -- types must be those that are supported by the FFI. type' := checkExternalEntityType(type,e) - type' isnt [=bootDenotation "Mapping",:.] => + 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']) compileLispDefinition(id,def) id' |