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

From: Robby Findler (robby at cs.uchicago.edu)
Date: Thu May 17 21:29:04 EDT 2007

There are plans for that, but I haven't had a chance to implement them yet.

Robby

On 5/17/07, Shriram Krishnamurthi <sk at cs.brown.edu> wrote:
> And what if they don't?  How about for other people?
>
> (ie, that's a bogus answer)
>
> On 5/17/07, Matthias Felleisen <matthias at ccs.neu.edu> wrote:
> > On May 17, 2007, at 4:04 PM, Shriram Krishnamurthi wrote:
> >
> > >> Long:  Tony Hoare once said that assertions are like life vests. Why
> > >> use them on land during practice and leave them back when you go
> > >> to sea?
> > >
> > > This is a poor analogy.
> > >
> > > I bet you turn off test cases, too, in software that you ship.  Why?
> >
> > Because my contracts subsume all my test cases.
> >
> _________________________________________________
>   For list-related administrative tasks:
>   http://list.cs.brown.edu/mailman/listinfo/plt-scheme
>


Posted on the users mailing list.