Re: [racket-dev] The `var` pattern in `match`

2012-11-29 Thread Carl Eastlund
Having something like the var pattern can be useful for macros that expand into uses of match, if the macro doesn't want to expose that a bound variable will be a match pattern and therefore must not be _ or Granted, there are ways around this, but personally I think it would be nice if match

Re: [racket-dev] The `var` pattern in `match`

2012-11-29 Thread Matthias Felleisen
+1 On Nov 29, 2012, at 7:31 AM, Carl Eastlund wrote: Having something like the var pattern can be useful for macros that expand into uses of match, if the macro doesn't want to expose that a bound variable will be a match pattern and therefore must not be _ or Granted, there are

Re: [racket-dev] The `var` pattern in `match`

2012-11-29 Thread David Van Horn
On 11/29/12 7:31 AM, Carl Eastlund wrote: Having something like the var pattern can be useful for macros that expand into uses of match, if the macro doesn't want to expose that a bound variable will be a match pattern and therefore must not be _ or Granted, there are ways around this, but

Re: [racket-dev] The `var` pattern in `match`

2012-11-29 Thread Sam Tobin-Hochstadt
On Thu, Nov 29, 2012 at 10:40 AM, David Van Horn dvanh...@ccs.neu.edu wrote: On 11/29/12 7:31 AM, Carl Eastlund wrote: Having something like the var pattern can be useful for macros that expand into uses of match, if the macro doesn't want to expose that a bound variable will be a match

Re: [racket-dev] The `var` pattern in `match`

2012-11-29 Thread David Van Horn
On 11/29/12 1:45 PM, Sam Tobin-Hochstadt wrote: On Thu, Nov 29, 2012 at 10:40 AM, David Van Horn dvanh...@ccs.neu.edu wrote: On 11/29/12 7:31 AM, Carl Eastlund wrote: Having something like the var pattern can be useful for macros that expand into uses of match, if the macro doesn't want to

[racket-dev] The `var` pattern in `match`

2012-11-28 Thread Sam Tobin-Hochstadt
Currently, `match` provides a pattern named `var`, which makes `(var id)` equivalent to `id`, but without special cases for things like `_` and `...`. However, this frequently conflicts with structures that people define, and is rarely used other than accidentally. I'd therefore like to remove

Re: [racket-dev] The `var` pattern in `match`

2012-11-28 Thread David Van Horn
On 11/28/12 7:53 PM, Sam Tobin-Hochstadt wrote: Currently, `match` provides a pattern named `var`, which makes `(var id)` equivalent to `id`, but without special cases for things like `_` and `...`. However, this frequently conflicts with structures that people define, and is rarely used other

Re: [racket-dev] The `var` pattern in `match`

2012-11-28 Thread Neil Toronto
On 11/28/2012 06:04 PM, David Van Horn wrote: On 11/28/12 7:53 PM, Sam Tobin-Hochstadt wrote: Currently, `match` provides a pattern named `var`, which makes `(var id)` equivalent to `id`, but without special cases for things like `_` and `...`. However, this frequently conflicts with