[plt-scheme] syntax-recertify

From: Matthew Flatt (mflatt at cs.utah.edu)
Date: Sun Mar 18 18:32:28 EDT 2007

At Thu, 15 Mar 2007 21:41:05 +0100, "jos koot" wrote:
> Request for a simple example for the following:
> Module M exports a syntax S. Syntax S produces code that defines syntaxes 
> expanding to code that calls other syntaxes , say A ..., defined in but not 
> provided by module M. This goes wrong because the expansions are not certified 
> to call syntaxes A ... I solved the problem by exporting syntaxes A ..., but I 
> guess that by means of syntax-recertify I can avoid the exports of A ... Is my 
> guess right? If so, can someone send me a simple example of how to use syntax-
> recertify. I studied the docs and did some attempts, but they all failed.

I think you should not need `syntax-recertify'. Certification should
work automatically unless you're using `local-expand' and re-arranging
the result.

Can you provide a more concrete example with the uncertified-syntax


Posted on the users mailing list.