[racket-dev] contracts not okay?

From: Matthew Flatt (mflatt at cs.utah.edu)
Date: Thu Jul 12 20:29:21 EDT 2012

This is a bad backwards incompatibility. I'll fix it.

At Thu, 12 Jul 2012 19:38:44 -0400, Matthias Felleisen wrote:
> 
> Jay's recent commit message, which should probably have been sent as an inquiry 
> to the list. 
> 
> 
> Begin forwarded message:
> 
> > Changing contracts on gl-context<%> and applying it to the gl-context% object.
> > |
> > | I updated and noticed that this was now failing because interface
> > | contracts are not check structurally (any more?). Once I applied the
> > | interface, the contract application failed because the documented two
> > | additional arguments (alternative and enable-breaks?) are not actually
> > | accepted. I look through all the implementations of gl-context% and
> > | none of them accept these. Should I change the documentation or is
> > | this a bad backwards incompatibility with the older versions?
> 
> 
> _________________________
>   Racket Developers list:
>   http://lists.racket-lang.org/dev

Posted on the dev mailing list.