Having something like the &quot;var&quot; pattern can be useful for macros that expand into uses of match, if the macro doesn&#39;t want to expose that a bound variable will be a match pattern and therefore must not be &quot;_&quot; or &quot;...&quot;.  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 &quot;match:pattern-variable&quot; 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">&lt;<a href="mailto:neil.toronto@gmail.com" target="_blank">neil.toronto@gmail.com</a>&gt;</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&#39;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&#39;ve never used `var&#39; and it sounds like a great idea to get rid of it, I&#39;ll see David&#39;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&#39; 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>