From 3e38ce0631fba7d1e65c807c8e290c562d3faeba Mon Sep 17 00:00:00 2001 From: dos-reis Date: Sun, 22 Aug 2010 03:12:26 +0000 Subject: * interp/compiler.boot (getBootType): Prefix Mapping with %. (checkExternalEntity): Likewise. Do same with Signature. --- src/ChangeLog | 5 +++++ 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 + + * interp/compiler.boot (getBootType): Prefix Mapping with %. + (checkExternalEntity): Likewise. Do same with Signature. + 2010-08-20 Gabriel Dos Reis * 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' -- cgit v1.2.3