aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--src/ChangeLog5
-rw-r--r--src/interp/compiler.boot6
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'