Re: Improved error status
John Cowan 07 Dec 2014 21:44 UTC
Takashi Kato scripsit:
> This may be out of R7RS/this SRFI but isn't it better to mention that
> this error object may or may not satisfy `error-object?` or something
> like that? (Preferably should satisfy but I believe it's impossible in
> sense of R7RS.)
In general, there is no way in R7RS-small to create an object which
satisfies a specific error predicate. The objects thrown by `error`
are generic errors, but they are not a supertype of all error objects;
indeed, the only reliable supertype of {all error objects} is {all objects}.
--
John Cowan http://www.ccil.org/~cowan xxxxxx@ccil.org
Work hard / play hard, xxxxxx@ccil.org
die young / rot quickly.