Re: maybe-let* - Simplelists

Show/hide message thread

maybe-let* Shiro Kawai (03 Jul 2020 03:11 UTC)

Re: maybe-let* Marc Nieper-Wißkirchen (03 Jul 2020 05:54 UTC)

Re: maybe-let* Marc Nieper-Wißkirchen (03 Jul 2020 07:22 UTC)

Re: maybe-let* Wolfgang Corcoran-Mathe (03 Jul 2020 17:19 UTC)

Re: maybe-let* Marc Nieper-Wißkirchen (03 Jul 2020 17:38 UTC)

Re: maybe-let* John Cowan (04 Jul 2020 00:48 UTC)

Re: maybe-let* Wolfgang Corcoran-Mathe (04 Jul 2020 01:48 UTC)

Re: maybe-let* Marc Nieper-Wißkirchen (04 Jul 2020 09:55 UTC)

Re: maybe-let* John Cowan (05 Jul 2020 22:40 UTC)

Re: maybe-let* Marc Nieper-Wißkirchen (07 Jul 2020 14:19 UTC)

Re: maybe-let* Marc Nieper-WiÃkirchen 03 Jul 2020 07:22 UTC

Am Fr., 3. Juli 2020 um 07:54 Uhr schrieb Marc Nieper-Wißkirchen
<xxxxxx@nieper-wisskirchen.de>:

> As and-let* unwraps the Just/Rights, an empty (maybe-let*) should return #t.

I'm sorry; I missed that the result shall always be a Maybe/Either. So
forget that comment of mine.

PS So the body has to evaluate into a Maybe/Either as well, which
should be noted in the spec.