[plt-scheme] Profiling Contracts
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.
Robby
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
>