|
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)
|
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`.
