For more detailed measurements of the cost of scribble contract checking,
our recent OOPSLA paper on chaperones includes a benchmark which renders
the reference both with and without contracts.
Sam
On Nov 9, 2012 9:03 PM, Robby Findler ro...@eecs.northwestern.edu wrote:
I think the contracts on
I've been hammering on the problem of speeding up scribble. One of the
things that's a surprise is that the contract checks on the part/element
structure appear to be significant because Scribble documents are so
granularly structured.
I focus on extract-part-style-files in
I think the contracts on struct accessors (and specifically in
scribble core data structures) is significant. If you have ideas on
how to speed them up, that'd be welcome. I think they are set up to be
easily disabled (they are added with a macro somewhere) so you can
time things if you want.
3 matches
Mail list logo