Comment 1 for bug 173369

Revision history for this message
Abdulaziz Ghuloum (aghuloum) wrote : Re: [Bug 173369] record exceptions that are supposed to use &assertion

On Dec 1, 2007, at 8:50 PM, Derick Eddington wrote:

> Public bug reported:
>
> The R6RS says a number of exceptions raised by the record stuff are
> supposed to use &assertion, but currently &error is being used.

I think this applies to almost all the errors that Ikarus currently
raises.
I will fix all of them at once at some time. Not today.

> I
> searched chapter 6 for "assertion" and I've made the below changes so
> things use &assertion where chapter 6 says they're supposed to.
> Also, I
> improved some of the exception messages,

OK. Thanks.

> I made the opaque and sealed
> tests test for boolean equivalence per the report,

eqv? and your boolean-equivalent? both return the same thing for
boolean values.
I don't see why you're making this change.

> and I removed the
> (eqv? name (rtd-name rtd)) because the report does not say to do that
> test and the returned nongenerative record type is always the first
> one
> which always prints the name of the first one anyways.

I don't know if this was intentional or by mistake. Will do as the
report says anyways.

Aziz,,,