| From: Matthias Felleisen (matthias at ccs.neu.edu) Date: Thu Jun 21 11:42:58 EDT 2012 |
|
On Jun 21, 2012, at 11:26 AM, Eli Barzilay wrote: > I don't see how that would help -- you'll still get the same errors. Ouch. That's again a misunderstanding of contracts. The idea is that contracts specify in interfaces what is expected, not deep inside some code.
| Posted on the dev mailing list. |
|
![[logo]](/logo.png){kind=logo}