Email list hosting service & mailing list manager

assume-just Marc Nieper-Wißkirchen (16 Jun 2020 20:29 UTC)
Re: assume-just John Cowan (17 Jun 2020 02:39 UTC)
Re: assume-just Marc Nieper-Wißkirchen (17 Jun 2020 07:27 UTC)
Re: assume-just Shiro Kawai (17 Jun 2020 07:33 UTC)
Re: assume-just Marc Nieper-Wißkirchen (17 Jun 2020 08:00 UTC)
Re: assume-just Shiro Kawai (17 Jun 2020 08:15 UTC)
Re: assume-just Marc Nieper-Wißkirchen (17 Jun 2020 09:50 UTC)
Re: assume-just Arthur A. Gleckler (17 Jun 2020 17:17 UTC)
Re: assume-just Marc Nieper-Wißkirchen (17 Jun 2020 17:23 UTC)
Re: assume-just Arthur A. Gleckler (17 Jun 2020 17:52 UTC)
Re: assume-just Marc Nieper-Wißkirchen (17 Jun 2020 18:27 UTC)

Re: assume-just Marc Nieper-Wißkirchen 17 Jun 2020 08:00 UTC

Am Mi., 17. Juni 2020 um 09:33 Uhr schrieb Shiro Kawai <xxxxxx@gmail.com>:

> srfi-145 assume is allowed to do nothing.  So (maybe-ref maybe) can just be evaluated #f if maybe is Nothing?

`assume` should only do nothing in a mode that is equivalent to "-O3
-DNDEBUG=1".

(maybe-ref (nothing)) would be an error (undefined behavior) and,
unless one compiles in an unsafe mode, the underlying `assume` should
abort and show an error to the user.

> By the way, can't (assume (just? obj) message) be enough?

The idea was to use the return value of `assume`.