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

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!