j
k
j a
j l
We should definitely do the second, the current behavior is just a bug. I am personally not sure about the second, because it would make the switch incompatible with standard equality.
I think the first part was the one I am unsure about .)
Back to the thread
Back to the list
