[plt-scheme] find-method/who

From: Matthew Flatt (mflatt at cs.utah.edu)
Date: Thu Mar 10 08:16:12 EST 2005

At Wed, 9 Mar 2005 20:46:55 -0500, Doug Orleans wrote:
>  > 
>  > If you're writing a program-processing tool, you'll need to recertify
>  > expressions that you assemble from pieces of pulled-apart expressions.
>  > Or, if you don't care about discarding the enforcement power of
>  > certificates, you can just recertify every expression as soon as you
>  > extract it from an enclosing expression.
> OK, I think I'm starting to grok this, but I'm not sure if I'm doing
> the recertify correctly.  Should I be using `syntax-recertify', or
> `syntax-local-recertifier', or both? 

If you're writing a program processor, use `syntax-recertify'. The
`syntax-local-recertifier' procedure is for macros.

> What should
> I use as the inspector, `(current-code-inspector)'?  


> What do I use as
> the certificate key?  Can I just use #f? 


> Do you have an example of recertification?

Not a small one, but there's errortrace and the "src2src.ss" part of mzc.


Posted on the users mailing list.