That's precisely why I asked this question on sbcl-devel

However CLHS is clear that the result-type of read-char is character, resp resp-byte is a byte.
The author of one of the Quicklisp systems that got broken by this agreed that his code was in error


On Wed, Jun 18, 2014 at 3:25 PM, Alastair Bridgewater <alastair.bridgewater@gmail.com> wrote:
Speaking of, almost anything in the gray stream interface which is declared (in SBCL) to return BOOLEAN probably shouldn't be (STREAM-DEFINITION-BY-USER says "true or false", and the CLHS for the corresponding CL functions says "generalized boolean"). With certain policies, this leads to typechecks being emitted on the calling side, causing strange errors.


On Wed, Jun 18, 2014 at 1:45 PM, Stas Boukarev <stassats@gmail.com> wrote:
"Douglas Katzman" <snuglas@users.sourceforge.net> writes:

> The branch "master" has been updated in SBCL:
>        via  7cdaadca09ba71e5642ae22b8414fe49ea1487fd (commit)
>       from  214b674f931b44ef389462a2351af0f668ab9c3c (commit)
>
> - Log -----------------------------------------------------------------
> commit 7cdaadca09ba71e5642ae22b8414fe49ea1487fd
> Author: Douglas Katzman <dougk@google.com>
> Date:   Wed Jun 18 12:22:02 2014 -0400
>
>     Add some type-derivers
What happens when a method for sb-gray:stream-read-char doesn't return a
character?
--
With best regards, Stas.

------------------------------------------------------------------------------
HPCC Systems Open Source Big Data Platform from LexisNexis Risk Solutions
Find What Matters Most in Your Big Data with HPCC Systems
Open Source. Fast. Scalable. Simple. Ideal for Dirty Data.
Leverages Graph Analysis for Fast Processing & Easy Data Exploration
http://p.sf.net/sfu/hpccsystems
_______________________________________________
Sbcl-devel mailing list
Sbcl-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/sbcl-devel


------------------------------------------------------------------------------
HPCC Systems Open Source Big Data Platform from LexisNexis Risk Solutions
Find What Matters Most in Your Big Data with HPCC Systems
Open Source. Fast. Scalable. Simple. Ideal for Dirty Data.
Leverages Graph Analysis for Fast Processing & Easy Data Exploration
http://p.sf.net/sfu/hpccsystems
_______________________________________________
Sbcl-devel mailing list
Sbcl-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/sbcl-devel