[racket-dev] racket/match is broken

From: Matthias Felleisen (matthias at ccs.neu.edu)
Date: Sat Oct 8 12:44:10 EDT 2011

On Oct 8, 2011, at 12:42 PM, Robby Findler wrote:

>> I doubt that this applies but I am willing to look at
>> counter-examples.
> One has been discussed in this thread. I think Sam promised to look
> into seeing how well it applies to our implementation.

Sorry, I skipped some messages. 

>>> I don't mind if the ordering of calling the predicates is fixed when
>>> match cannot prove that the predicates are all safe to be reordered
>>> (presumably by match keeping a list of known-to-be-safe predicates
>>> somewhere and perhaps looking at the compile-time info to find struct
>>> predicates).
>>> (That would seem to be a straight-forward change, unless I'm missing something.)
>> That would be fine too.
> Good.

Yes, because this is in practice left-to-right :-) 

Posted on the dev mailing list.