On Mon, Mar 29, 2010 at 8:48 PM, Sam Tobin-Hochstadt <sa...@ccs.neu.edu> wrote: > On Mon, Mar 29, 2010 at 10:36 PM, Robby Findler > <ro...@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 _________________________________________________ For list-related administrative tasks: http://list.cs.brown.edu/mailman/listinfo/plt-dev
