GNU bug report logs - #10491
unread-char and eof

Previous Next

Full log

Message #17 received at 10491 <at> debbugs.gnu.org (full text, mbox):

From: Aleix Conchillo Flaqué <aconchillo <at> gmail.com>
To: Daniel Hartwig <mandyke <at> gmail.com>
Cc: 10491 <at> debbugs.gnu.org
Subject: Re: bug#10491: unread-char and eof
Date: Tue, 17 Jan 2012 16:57:37 -0800

On Mon, Jan 16, 2012 at 7:31 PM, Daniel Hartwig <mandyke <at> gmail.com> wrote:
>
> Nor are type errors mentioned by most other functions, they are simply
> implied.  This convention is mentioned in the revised report [1]:
>
>  It is an error for an operation to be presented with an argument that it
>  is not specified to handle.  For succinctness, we follow the convention
>  that if an argument name is also the name of a type listed in section
>  *note Disjointness of types::, then that argument must be of the named
>  type.  For example, ...
>
> [1] http://people.csail.mit.edu/jaffer/r5rs_3.html#SEC11


I see, convinced. Thanks for the feedback.

You can mark it as invalid and close it.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.