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

Previous Next

Package: guile;

Reported by: Aleix Conchillo Flaqué <aconchillo <at> gmail.com>

Date: Thu, 12 Jan 2012 20:31:02 UTC

Severity: normal

Done: Daniel Hartwig <mandyke <at> gmail.com>

Bug is archived. No further changes may be made.

Full log

View this message in rfc822 format

From: Aleix Conchillo Flaqué <aconchillo <at> gmail.com>
To: Daniel Hartwig <mandyke <at> gmail.com>
Cc: 10491 <at> debbugs.gnu.org
Subject: 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.
This bug report was last modified 13 years and 178 days ago.

Previous Next

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