From 3e38ce0631fba7d1e65c807c8e290c562d3faeba Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
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 <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'
--
cgit v1.2.3