[plt-scheme] How to recognize untouchable syntax

From: Matthew Flatt (mflatt at cs.utah.edu)
Date: Tue Jul 25 23:48:09 EDT 2006

At Mon, 24 Jul 2006 21:31:05 -0400, "Kimberley Burchett" wrote:
> If there were some way to just check whether a given bit of rearranged
> syntax satisfies the certificate requirements, then I could use that
> and be happy.  Have I overlooked the
> check-that-syntax-object-is-properly-certified function somewhere?

No, but here's an approach that might work:

 http://list.cs.brown.edu/pipermail/plt-scheme/2005-March/008332.html

At the moment, I don't have a better idea than just trying to `expand'
the re-arranged syntax.

Matthew



Posted on the users mailing list.