[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Improved error status
This page is part of the web mail archives of SRFI 117 from before July 7th, 2015. The new archives for SRFI 117 contain all messages, not just those from before July 7th, 2015.
- To: John Cowan <cowan@xxxxxxxxxxxxxxxx>
- Subject: Re: Improved error status
- From: Takashi Kato <ktakashi@xxxxxxxxx>
- Date: Mon, 08 Dec 2014 07:31:29 +0100
- Cc: srfi-117@xxxxxxxxxxxxxxxxx
- Delivered-to: srfi-117@xxxxxxxxxxxxxxxxx
- Dkim-signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=ymail.com; s=s2048; t=1418020287; bh=brQiqg5umFMDhftvCfNmyNk6cjN0CxLM9cJsHcdVsw8=; h=Date:From:To:CC:Subject:References:In-Reply-To:From:Subject; b=H6kkw1z4tmAxB4FzLXyZQj4Fl9Tch9krjgQFeQVu0F9O9f0Yn+ll7MAL6sW+mJvFzqnE7ULPZAgl+jZN2pLPr71TP6dTPvX6NNpzX/iQjk0qnwr+4PhcltCuv39za0J+zg4kUtCcJdW5jVRRywZyVQiQL7hPlEA/JZwl/1UD5HyQmf5miqQzKVHaRcmfqooXsYmxNXBj6Tj68hf5dfSw6PSE6ks5Fy4rL2gpkXwE/GaKMiwDPOUeCblF91FAIrJE1eduibv66Aqr4gxLKq6nfr4+XpW4m6gNo/iMp2jXG3RvfzWzaa4p/7X+jf5jBrkkIUapNXfQoTK0AzVk6iaHaA==
- Domainkey-signature: a=rsa-sha1; q=dns; c=nofws; s=s2048; d=ymail.com; b=uNJ01cvKsSIu0JqsawRP+96u/bbRSDjKeUb87stpVCZwXRlMQYYywwMXExj9Ori5pgZDllLZ1B0TmUH2q6NKq+m/Je34DNSZ8E8uoR1cce/9gpz3jL2T1S9I+fgALp4hnUNBrUvBBnRcdFbUNm9gQZu0EADTrkGQLZDVnvZ1tcKCinoRs+aY0v2lOqLdyJib/cU5Gf0n4Q9yx1eRLDZkPH76ovcluQhR3oF3VWe4kyydnZwik3qb2gsyLqIDFXGEZtNBRh/a/txoOC9gLtdMwRzmWRt6bufyBau8E18UqyLodzWnJC1KQXVNi2H0a/j9VzR0HM8NNnq9YWEP2n5xGw==;
- In-reply-to: <20141207214456.GB18507@mercury.ccil.org>
- References: <20141206232854.GM6090@mercury.ccil.org> <548415D9.2010402@ymail.com> <20141207214456.GB18507@mercury.ccil.org>
- User-agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:24.0) Gecko/20100101 Thunderbird/24.6.0
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}.
Yes, however R7RS even says an object satisfies `read-error?` or
`file-error?` may or may not satisfy `error-object?`. So it would be
nice to have this sentence so that if an implementation supports R6RS
or SRFI-35 (which I believe `condition-type?` can be `error-object?`)
may extend their the empty list queue error on top of their condition
system.
--
_/_/
Takashi Kato
E-mail: ktakashi@xxxxxxxxx