Re: New draft (#8) of and new "last call" for SRFI 189: Maybe and Either: optional container types

Show/hide message thread

New draft (#8) of and new "last call" for SRFI 189: Maybe and Either: optional container types Arthur A. Gleckler (02 Jul 2020 05:56 UTC)

Re: New draft (#8) of and new "last call" for SRFI 189: Maybe and Either: optional container types Shiro Kawai (02 Jul 2020 12:51 UTC)

Re: New draft (#8) of and new "last call" for SRFI 189: Maybe and Either: optional container types John Cowan (02 Jul 2020 13:20 UTC)

Re: New draft (#8) of and new "last call" for SRFI 189: Maybe and Either: optional container types Marc Nieper-Wißkirchen (07 Jul 2020 14:23 UTC)

Re: New draft (#8) of and new "last call" for SRFI 189: Maybe and Either: optional container types John Cowan (07 Jul 2020 20:32 UTC)

Re: New draft (#8) of and new "last call" for SRFI 189: Maybe and Either: optional container types Marc Nieper-Wißkirchen (08 Jul 2020 14:28 UTC)

Re: New draft (#8) of and new "last call" for SRFI 189: Maybe and Either: optional container types Wolfgang Corcoran-Mathe (08 Jul 2020 19:47 UTC)

Re: New draft (#8) of and new "last call" for SRFI 189: Maybe and Either: optional container types Marc Nieper-Wißkirchen (08 Jul 2020 20:22 UTC)

Re: New draft (#8) of and new "last call" for SRFI 189: Maybe and Either: optional container types John Cowan (09 Jul 2020 04:32 UTC)

Re: New draft (#8) of and new "last call" for SRFI 189: Maybe and Either: optional container types Marc Nieper-Wißkirchen (09 Jul 2020 09:30 UTC)

Re: New draft (#8) of and new "last call" for SRFI 189: Maybe and Either: optional container types John Cowan (10 Jul 2020 14:05 UTC)

Re: New draft (#8) of and new "last call" for SRFI 189: Maybe and Either: optional container types Marc Nieper-Wißkirchen (10 Jul 2020 14:39 UTC)

Re: New draft (#8) of and new "last call" for SRFI 189: Maybe and Either: optional container types Wolfgang Corcoran-Mathe (10 Jul 2020 17:30 UTC)

Re: New draft (#8) of and new "last call" for SRFI 189: Maybe and Either: optional container types Marc Nieper-Wißkirchen (10 Jul 2020 17:51 UTC)

Re: New draft (#8) of and new "last call" for SRFI 189: Maybe and Either: optional container types Wolfgang Corcoran-Mathe (11 Jul 2020 15:22 UTC)

Re: New draft (#8) of and new "last call" for SRFI 189: Maybe and Either: optional container types Marc Nieper-Wißkirchen (11 Jul 2020 15:30 UTC)

Re: New draft (#8) of and new "last call" for SRFI 189: Maybe and Either: optional container types Wolfgang Corcoran-Mathe (11 Jul 2020 16:17 UTC)

Re: New draft (#8) of and new "last call" for SRFI 189: Maybe and Either: optional container types Alex Shinn (11 Jul 2020 22:21 UTC)

Re: New draft (#8) of and new "last call" for SRFI 189: Maybe and Either: optional container types Marc Nieper-Wißkirchen (11 Jul 2020 22:29 UTC)

Re: New draft (#8) of and new "last call" for SRFI 189: Maybe and Either: optional container types Wolfgang Corcoran-Mathe (12 Jul 2020 03:35 UTC)

Re: New draft (#8) of and new "last call" for SRFI 189: Maybe and Either: optional container types Marc Nieper-Wißkirchen (11 Jul 2020 16:34 UTC)

Re: New draft (#8) of and new "last call" for SRFI 189: Maybe and Either: optional container types John Cowan (11 Jul 2020 18:44 UTC)

Re: New draft (#8) of and new "last call" for SRFI 189: Maybe and Either: optional container types Marc Nieper-Wißkirchen (11 Jul 2020 19:26 UTC)

Re: New draft (#8) of and new "last call" for SRFI 189: Maybe and Either: optional container types Arthur A. Gleckler (11 Jul 2020 19:59 UTC)

Re: New draft (#8) of and new "last call" for SRFI 189: Maybe and Either: optional container types Marc Nieper-Wißkirchen (11 Jul 2020 20:06 UTC)

Re: New draft (#8) of and new "last call" for SRFI 189: Maybe and Either: optional container types Arthur A. Gleckler (11 Jul 2020 20:08 UTC)

Re: New draft (#8) of and new "last call" for SRFI 189: Maybe and Either: optional container types Marc Nieper-Wißkirchen (14 Jul 2020 09:13 UTC)

Re: New draft (#8) of and new "last call" for SRFI 189: Maybe and Either: optional container types John Cowan (14 Jul 2020 21:16 UTC)

Re: New draft (#8) of and new "last call" for SRFI 189: Maybe and Either: optional container types Alex Shinn (15 Jul 2020 00:08 UTC)

Re: New draft (#8) of and new "last call" for SRFI 189: Maybe and Either: optional container types Wolfgang Corcoran-Mathe 12 Jul 2020 03:35 UTC

On 2020-07-12 00:29 +0200, Marc Nieper-Wißkirchen wrote:
> Am So., 12. Juli 2020 um 00:20 Uhr schrieb Alex Shinn <xxxxxx@gmail.com>:
>
> > This was fixed a month ago:
> > https://github.com/ashinn/chibi-scheme/commit/06cef557234d6fe985e3ba1609369e389750ca49
>
> Ah, perfect. Then Wolfgang should update his Chibi installation. :)

ACK.  Yes, the OpenBSD port hasn't caught up yet.

--
Wolfgang Corcoran-Mathe  <xxxxxx@sigwinch.xyz>

"It is better to forget time altogether.  Time plays no role at the
fundamental level of physics." --Carlo Rovelli