<div dir="ltr">On Sun, Jan 6, 2013 at 2:18 PM, Sam Tobin-Hochstadt <span dir="ltr">&lt;<a href="mailto:samth@ccs.neu.edu" target="_blank">samth@ccs.neu.edu</a>&gt;</span> wrote:<br><div class="gmail_extra"><div class="gmail_quote">
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="im">&gt; The boundaries have the information; that&#39;s how the contracts got inserted<br></div><div class="im">

&gt; in the first place.<br>
<br>
</div>No, the contracts are parametric contracts using `parametric-&gt;/c`, and<br>
thus don&#39;t have any information about the types used at all.<br></blockquote><div style><br></div><div style>I don&#39;t see why you can&#39;t tag them when something at a boundary and then check that something at another boundary instead of doing some deep check. </div>
<div style><br></div><div style>But whatever. </div><div style><br></div><div style>Robby</div></div></div></div>