[plt-dev] syntax-case error messages

On Mon, Mar 29, 2010 at 8:48 PM, Sam Tobin-Hochstadt <samth at ccs.neu.edu> wrote:
> On Mon, Mar 29, 2010 at 10:36 PM, Robby Findler
> <robby at eecs.northwestern.edu> wrote:
>>
>> This hypothesis is testable, right? We can find all of the uses of
>> syntax-case that don't have a default clause and see if they actually
>> do have the right error message or if they get the wrong thing, right?
>
> Note that every use of `syntax-rules' and `define-syntax-rule' (1028
> total in collects, by my count) is an instance of this pattern.

The use in bind-withs in redex/private/reduction-semantics.ss is not
an instance of this pattern, so I think maybe your counting is
suspect.

Robby