[plt-scheme] on-execute method in drscheme:language:language<%>

From: Eli Barzilay (eli at barzilay.org)
Date: Fri Jun 16 11:49:00 EDT 2006

On Jun 16, Dale Vaillancourt wrote:
> I need to "type-check" a program before running.  If it doesn't
> pass, I want to reject the attempt to run.  The checking is done by
> submitting the text in the definitions window to an external theorem
> prover.
> You are right about execute-callback not being quite what I want,
> btw.  That captures all clicks on `Run', even when my language is
> not the one associated with the current tab.

Wouldn't that be better to do at syntax-expansion time?  Something
like overriding #%module-begin for module code, and the evaluation
handler for other toplevel interactions?  (And that will make it
possible to use outside of DrScheme.)

          ((lambda (x) (x x)) (lambda (x) (x x)))          Eli Barzilay:
                  http://www.barzilay.org/                 Maze is Life!

Posted on the users mailing list.