Withdrawal? John Cowan (24 Oct 2020 20:54 UTC)
Re: Withdrawal? Arthur A. Gleckler (24 Oct 2020 20:58 UTC)
Re: Withdrawal? John Cowan (24 Oct 2020 21:04 UTC)
Re: Withdrawal? Arthur A. Gleckler (24 Oct 2020 21:10 UTC)
Re: Withdrawal? John Cowan (24 Oct 2020 22:20 UTC)
Re: Withdrawal? Emmanuel Medernach (25 Oct 2020 15:44 UTC)
Re: Withdrawal? Arthur A. Gleckler (25 Oct 2020 19:32 UTC)
Re: Withdrawal? Emmanuel Medernach (25 Oct 2020 20:41 UTC)
Re: Withdrawal? Marc Nieper-Wißkirchen (25 Oct 2020 20:54 UTC)
Re: Withdrawal? Emmanuel Medernach (26 Oct 2020 20:47 UTC)
Re: Withdrawal? Emmanuel Medernach (26 Oct 2020 21:08 UTC)
Re: Withdrawal? Marc Nieper-Wißkirchen (26 Oct 2020 21:33 UTC)
Re: Withdrawal? Emmanuel Medernach (27 Oct 2020 08:01 UTC)
Re: Withdrawal? Marc Nieper-Wißkirchen (27 Oct 2020 08:57 UTC)
Re: Withdrawal? Emmanuel Medernach (27 Oct 2020 20:44 UTC)
Re: Withdrawal? Wolfgang Corcoran-Mathe (25 Oct 2020 01:53 UTC)
Re: Withdrawal? Marc Nieper-Wißkirchen (25 Oct 2020 07:56 UTC)
Re: Withdrawal? John Cowan (25 Oct 2020 14:40 UTC)
Re: Withdrawal? Wolfgang Corcoran-Mathe (26 Oct 2020 18:07 UTC)
Re: Withdrawal? Marc Nieper-Wißkirchen (26 Oct 2020 18:12 UTC)
Re: Withdrawal? John Cowan (26 Oct 2020 22:19 UTC)
Re: Withdrawal? Wolfgang Corcoran-Mathe (27 Oct 2020 01:17 UTC)
Re: Withdrawal? John Cowan (27 Oct 2020 02:30 UTC)
Re: Withdrawal? Marc Nieper-Wißkirchen (27 Oct 2020 07:01 UTC)
Re: Withdrawal? Wolfgang Corcoran-Mathe (28 Oct 2020 16:53 UTC)
Re: Withdrawal? John Cowan (28 Oct 2020 18:35 UTC)
Re: Withdrawal? Wolfgang Corcoran-Mathe (28 Oct 2020 18:38 UTC)
Re: Withdrawal? Lucier, Bradley J (28 Oct 2020 18:37 UTC)
Re: Withdrawal? Marc Nieper-Wißkirchen (27 Oct 2020 06:58 UTC)
Re: Withdrawal? Wolfgang Corcoran-Mathe (27 Oct 2020 17:37 UTC)
Re: Withdrawal? Marc Nieper-Wißkirchen (27 Oct 2020 20:17 UTC)
Re: Withdrawal? Wolfgang Corcoran-Mathe (27 Oct 2020 22:30 UTC)
Re: Withdrawal? Arthur A. Gleckler (27 Oct 2020 23:49 UTC)
Re: Withdrawal? Marc Nieper-Wißkirchen (28 Oct 2020 06:17 UTC)
Re: Withdrawal? John Cowan (28 Oct 2020 15:09 UTC)
Re: Withdrawal? Marc Nieper-Wißkirchen (28 Oct 2020 17:04 UTC)

Re: Withdrawal? Marc Nieper-Wißkirchen 27 Oct 2020 07:00 UTC

Am Di., 27. Okt. 2020 um 03:31 Uhr schrieb John Cowan <xxxxxx@ccil.org>:
>
>
>
> On Mon, Oct 26, 2020 at 9:17 PM Wolfgang Corcoran-Mathe <xxxxxx@sigwinch.xyz> wrote:
>
>> This would be undefined behavior in C89, but, after a lot of
>> searching, it does seem that type-punning through unions is valid in
>> C99 (and C11, allegedly; I don't have a copy of that standard).
>
>
> And a Good Thing Too, since people have been using them since time immemorial.
>
>> So if a C99 sample implementation would be SRFI-acceptable, I'll
>> start work on this shortly.
>
>
> It would be.
>>
>> What about make-nan ?  Many reviewers have requested it, and we're
>> now in a position to provide it.
>
>
> I think we should provide it, yes:  double make_nan(_Bool quiet, long payload) {...}.

Speaking of portability: C does have functions like these, but in the
portable version, the payload is a string and its interpretation is
supposed to be implementation-dependent, I suppose.

What guarantees will SRFI 208 make about `make-nan'?