[plt-scheme] Profiling Contracts

From: Robby Findler (robby at eecs.northwestern.edu)
Date: Wed Jun 17 21:13:59 EDT 2009

I would just run the profiler to find out what I find out.

But you can always just disable the contracts (define provide/contract
to be just provide, after stripping out the contracts) and then see
that way.


On Wed, Jun 17, 2009 at 5:30 PM, Paulo J. Matos<pocmatos at gmail.com> wrote:
> Hi all,
> Is there a way to profile the time taken checking contracts?
> I have used contracts heavily in some parts of my model checker, many
> times checking things that are more than simple type checks... and would
> like to know if there is an easy way to know, 'hey for this exection, 5%
> of the time was spent checking contracts'. If there is nothing
> implemented to do this, are there any guidelines on how to find an
> approximation of this value?
> Cheers,
> Paulo Matos
> _________________________________________________
>  For list-related administrative tasks:
>  http://list.cs.brown.edu/mailman/listinfo/plt-scheme

Posted on the users mailing list.