[plt-scheme] contracts.ss: Can you disable them at runtime?

From: Grant Rettke (grettke at acm.org)
Date: Thu May 17 15:25:28 EDT 2007

On 5/17/07, Matthias Felleisen <matthias at ccs.neu.edu> wrote:
> On May 17, 2007, at 12:05 AM, Grant Rettke wrote:
> > Can you disable contracts at runtime?
> Short: No. (I assume you mean "after deployment" because contracts
> are inherently a run-time concept, i.e., they are what your type
> system can't express.)

Sorry, no, I meant at compile time. The typical want for folks is to,
at compile time, either enable or disable the DbC clauses.

Posted on the users mailing list.