Hi again Robby,<div><br></div><div>I really don't know much about continuation marks. I want the value A to be embedded on the exception structure, because I check that value with a modified with-handlers macro. I thought that using parameters A will behave like a dynamically scoped identifier.</div>
<div><br></div><div>What are the differences, if any, of using continuation marks versus using parameters??</div><div><br></div><div>Thanks<br><br><div class="gmail_quote">2011/8/9 Robby Findler <span dir="ltr"><<a href="mailto:robby@eecs.northwestern.edu">robby@eecs.northwestern.edu</a>></span><br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">Could you put the value into a continuation mark and then, when you<br>
catch the exception, look in the continuation marks to get it out<br>
again?<br>
<br>
Robby<br>
<br>
On Tue, Aug 9, 2011 at 3:56 PM, Ismael Figueroa Palet<br>
<div><div></div><div class="h5"><<a href="mailto:ifigueroap@gmail.com">ifigueroap@gmail.com</a>> wrote:<br>
><br>
><br>
> 2011/8/9 Robby Findler <<a href="mailto:robby@eecs.northwestern.edu">robby@eecs.northwestern.edu</a>><br>
>><br>
>> On Tue, Aug 9, 2011 at 3:01 PM, Ismael Figueroa Palet<br>
>> <<a href="mailto:ifigueroap@gmail.com">ifigueroap@gmail.com</a>> wrote:<br>
>> > 2011/8/4 Robby Findler <<a href="mailto:robby@eecs.northwestern.edu">robby@eecs.northwestern.edu</a>><br>
>> >><br>
>> >> The blame assignment stuff is wired pretty deep into the contract<br>
>> >> system. There isn't currently any way to change that aspect of the<br>
>> >> system without doing what you've done below.<br>
>> >><br>
>> >> If you can say more about how/why you want to change it, tho, there<br>
>> >> maybe some extension to the current API that would work for you and<br>
>> >> that we'd be willing to maintain going forward.<br>
>> ><br>
>> > I defined a new-exn struct to represent exceptions and defined a raise<br>
>> > macro<br>
>> > that wraps Racket's raise to throw a new-exn value. Also, I need to<br>
>> > raise<br>
>> > the exception thrown by raise-blame-error inside a parameterize<br>
>> > expression.<br>
>> > I want to access and modify a parameter that will be used to construct<br>
>> > the<br>
>> > new-exn value.<br>
>><br>
>> It sounds like you'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'm just wrong about that?)<br>
><br>
> Yes, the end result I want is to tag the exn record with a value. That value<br>
> is stored in a parameter A. I want to make raise-blame-error to always raise<br>
> an exception tagged with A+1.<br>
><br>
> --<br>
> Ismael<br>
><br>
><br>
</div></div></blockquote></div><br><br clear="all"><br>-- <br>Ismael<br><br>
</div>