[racket-dev] contracts not okay?

From: Jay McCarthy (jay.mccarthy at gmail.com)
Date: Thu Jul 12 19:57:29 EDT 2012

Ya I was about to forward it too but was distracted by kids.

Sent from my iPhone

On 2012/07/12, at 19:39, Matthias Felleisen <matthias at ccs.neu.edu> 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.