Re: make it so that (=? "hi" "hi") works

Show/hide message thread

make it so that (=? "hi" "hi") works Sandra Snan (25 May 2021 15:38 UTC)

Re: make it so that (=? "hi" "hi") works Marc Nieper-Wißkirchen (25 May 2021 15:55 UTC)

Re: make it so that (=? "hi" "hi") works Shiro Kawai (26 May 2021 00:57 UTC)

Re: make it so that (=? "hi" "hi") works John Cowan (26 May 2021 03:58 UTC)

Re: make it so that (=? "hi" "hi") works Marc Nieper-Wißkirchen (26 May 2021 06:08 UTC)

Re: make it so that (=? "hi" "hi") works Sandra Snan (26 May 2021 06:31 UTC)

Re: make it so that (=? "hi" "hi") works Marc Nieper-Wißkirchen (26 May 2021 06:35 UTC)

Re: make it so that (=? "hi" "hi") works Sandra Snan (26 May 2021 06:12 UTC)

Re: make it so that (=? "hi" "hi") works Marc Nieper-Wißkirchen (26 May 2021 06:31 UTC)

Re: make it so that (=? "hi" "hi") works Sandra Snan (26 May 2021 06:41 UTC)

Re: make it so that (=? "hi" "hi") works Marc Nieper-Wißkirchen (26 May 2021 06:49 UTC)

Re: make it so that (=? "hi" "hi") works Sandra Snan (26 May 2021 06:59 UTC)

Re: make it so that (=? "hi" "hi") works Marc Nieper-Wißkirchen (26 May 2021 07:10 UTC)

Re: make it so that (=? "hi" "hi") works Sandra Snan (26 May 2021 06:50 UTC)

Re: make it so that (=? "hi" "hi") works Marc Nieper-Wißkirchen (26 May 2021 07:09 UTC)

Re: make it so that (=? "hi" "hi") works Sandra Snan (26 May 2021 07:35 UTC)

Re: make it so that (=? "hi" "hi") works Marc Nieper-Wißkirchen (26 May 2021 07:48 UTC)

Re: make it so that (=? "hi" "hi") works Marc Nieper-Wißkirchen (26 May 2021 07:56 UTC)

Re: make it so that (=? "hi" "hi") works Sandra Snan (26 May 2021 08:13 UTC)

Re: make it so that (=? "hi" "hi") works Marc Nieper-Wißkirchen (26 May 2021 08:34 UTC)

Re: make it so that (=? "hi" "hi") works Sandra Snan (26 May 2021 08:55 UTC)

Re: make it so that (=? "hi" "hi") works Marc Nieper-Wißkirchen (26 May 2021 09:15 UTC)

Re: make it so that (=? "hi" "hi") works Sandra Snan (26 May 2021 10:27 UTC)

Re: make it so that (=? "hi" "hi") works Marc Nieper-Wißkirchen (26 May 2021 10:53 UTC)

Re: make it so that (=? "hi" "hi") works Sandra Snan (26 May 2021 12:15 UTC)

Re: make it so that (=? "hi" "hi") works Marc Nieper-Wißkirchen (26 May 2021 13:55 UTC)

Re: make it so that (=? "hi" "hi") works Sandra Snan (26 May 2021 14:32 UTC)

Re: make it so that (=? "hi" "hi") works Marc Nieper-Wißkirchen (26 May 2021 15:20 UTC)

Re: make it so that (=? "hi" "hi") works Sandra Snan (26 May 2021 17:02 UTC)

Re: make it so that (=? "hi" "hi") works Marc Nieper-Wißkirchen (26 May 2021 17:37 UTC)

Re: make it so that (=? "hi" "hi") works Marc Nieper-Wißkirchen (26 May 2021 17:48 UTC)

Re: make it so that (=? "hi" "hi") works Sandra Snan (26 May 2021 18:12 UTC)

Re: make it so that (=? "hi" "hi") works Sandra Snan (26 May 2021 18:20 UTC)

Re: make it so that (=? "hi" "hi") works Marc Nieper-Wißkirchen (26 May 2021 18:40 UTC)

Re: make it so that (=? "hi" "hi") works Sandra Snan (26 May 2021 19:06 UTC)

Re: make it so that (=? "hi" "hi") works Marc Nieper-Wißkirchen (26 May 2021 19:25 UTC)

Re: make it so that (=? "hi" "hi") works Sandra Snan (26 May 2021 19:38 UTC)

Re: make it so that (=? "hi" "hi") works Sandra Snan 26 May 2021 06:58 UTC

Marc Nieper-Wißkirchen <xxxxxx@nieper-wisskirchen.de> writes:
> Neither the usage of let/cc, rec, nor let produces suboptimal code when
> compared to the longer-named "unsugared" versions. This is in stark
> contrast to the situation with =?.

Not for generic code which is the intended use for that operator.