That would explain the lack of examples :). I tried object-contract and found that - as you said - it applies to the instances themselves. I&#39;d love to try class contracts out when they&#39;re at that point.<br><br><div class="gmail_quote">
On Fri, Apr 17, 2009 at 9:06 PM, Matthias Felleisen <span dir="ltr">&lt;<a href="mailto:matthias@ccs.neu.edu">matthias@ccs.neu.edu</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
<br>
Sadly classes don&#39;t have contracts .. yet. Stevie is working on them.<br>
<br>
You can slap contracts on objects though is that helps -- Matthias<div class="im"><br>
<br>
<br>
<br>
On Apr 17, 2009, at 11:04 PM, Doug Williams wrote:<br>
<br>
</div><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;"><div class="im">
Is there a good example of a module that exports a class with an appropriate contract?<br>
<br>
Doug<br></div>
_________________________________________________<br>
  For list-related administrative tasks:<br>
  <a href="http://list.cs.brown.edu/mailman/listinfo/plt-scheme" target="_blank">http://list.cs.brown.edu/mailman/listinfo/plt-scheme</a><br>
</blockquote>
<br>
</blockquote></div><br>