<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN"> <HTML><HEAD> <META http-equiv=Content-Type content="text/html; charset=iso-8859-1"> <META content="MSHTML 6.00.6000.16414" name=GENERATOR> <STYLE></STYLE> </HEAD> <BODY bgColor=#ffffff> <DIV>Request for a simple example for the following:</DIV> <DIV>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 <FONT size=1><FONT size=3>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.</FONT></FONT></DIV> <DIV><FONT size=1><FONT size=3>Jos Koot.</FONT></FONT></DIV> <DIV><FONT size=1><FONT size=3></FONT> </DIV></FONT> <DIV>(((((lambda(x)((((((((x x)x)x)x)x)x)x)x))<BR>    (lambda(x)(lambda(y)(x(x y)))))<BR>   (lambda(x)(x)x))<BR>  (lambda()(printf "Greetings, Jos~n"))))</DIV></BODY></HTML>