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 supported this pattern. I would, however, entirely support renaming this pattern to something more obscure, like "match:pattern-variable" or something, so that unintentional uses stop being a problem.<br> <div class="gmail_extra"><br clear="all">Carl Eastlund<br> <br><br><div class="gmail_quote">On Thu, Nov 29, 2012 at 12:17 AM, Neil Toronto <span dir="ltr"><<a href="mailto:neil.toronto@gmail.com" target="_blank">neil.toronto@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"> <div class="im">On 11/28/2012 06:04 PM, David Van Horn wrote:<br> <blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"> On 11/28/12 7:53 PM, Sam Tobin-Hochstadt wrote:<br> <blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"> Currently, `match` provides a pattern named `var`, which makes `(var<br> id)` equivalent to `id`, but without special cases for things like `_`<br> and `...`.<br> <br> However, this frequently conflicts with structures that people define,<br> and is rarely used other than accidentally. I'd therefore like to<br> remove it entirely.<br> </blockquote> <br> + (expt 2 (expt 2 (expt 2 (expt 2 2))))<br> </blockquote> <br></div> Since I've never used `var' and it sounds like a great idea to get rid of it, I'll see David's repeated exponential and raise it by \aleph_0.<br> <br> Note that downvotes must now at least sum to \aleph_1 to retain the `var' pattern. One downvote for every real number is sufficient.<span class="HOEnZb"><font color="#888888"><br> <br> Neil ⊥</font></span><div class="HOEnZb"><div class="h5"><br> <br> _________________________<br> Racket Developers list:<br> <a href="http://lists.racket-lang.org/dev" target="_blank">http://lists.racket-lang.org/<u></u>dev</a><br> </div></div></blockquote></div><br></div>