diff options
| -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' |