June 25, 2020
3:25 p.m.
On 25/06/2020 15:42, Greg Ewing wrote:
On 26/06/20 1:18 am, Rhodri James wrote:
I will quickly and regularly forget that in this one place, "_" is special.
You don't have to remember that it's special to understand what 'case _' does. Even if it were treated as an ordinary name, it would still have the effect of matching anything.
Maybe. It's still ugly. -- Rhodri James *-* Kynesim Ltd