<br><br><div class="gmail_quote">2011/8/9 Robby Findler <span dir="ltr">&lt;<a href="mailto:robby@eecs.northwestern.edu">robby@eecs.northwestern.edu</a>&gt;</span><br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
<div class="im">On Tue, Aug 9, 2011 at 3:01 PM, Ismael Figueroa Palet<br>
&lt;<a href="mailto:ifigueroap@gmail.com">ifigueroap@gmail.com</a>&gt; wrote:<br>
&gt; 2011/8/4 Robby Findler &lt;<a href="mailto:robby@eecs.northwestern.edu">robby@eecs.northwestern.edu</a>&gt;<br>
&gt;&gt;<br>
&gt;&gt; The blame assignment stuff is wired pretty deep into the contract<br>
&gt;&gt; system. There isn&#39;t currently any way to change that aspect of the<br>
&gt;&gt; system without doing what you&#39;ve done below.<br>
&gt;&gt;<br>
&gt;&gt; If you can say more about how/why you want to change it, tho, there<br>
&gt;&gt; maybe some extension to the current API that would work for you and<br>
&gt;&gt; that we&#39;d be willing to maintain going forward.<br>
&gt;<br>
&gt; I defined a new-exn struct to represent exceptions and defined a raise macro<br>
&gt; that wraps Racket&#39;s raise to throw a new-exn value. Also, I need to raise<br>
&gt; the exception thrown by raise-blame-error inside a parameterize expression.<br>
&gt; I want to access and modify a parameter that will be used to construct the<br>
&gt; new-exn value.<br>
<br>
</div>It sounds like you&#39;re maybe adding a field to the exn record? Can you<br>
say more about what that field is and how you compute its value? (Or<br>
if I&#39;m just wrong about that?)<br></blockquote><div><br>Yes, the end result I want is to tag the exn record with a value. That value is stored in a parameter A. I want to make raise-blame-error to always raise an exception tagged with A+1.<br>
</div></div><br>-- <br>Ismael<br><br>