<div dir="ltr">Right, that's exactly what I've done so far. It's just strange that this doesn't match up with the usual intuition for ellipses in Racket. Enhancement for the next release, perhaps?<br></div>

<div class="gmail_extra"><br><br><div class="gmail_quote">On Thu, Feb 6, 2014 at 2:52 PM, Robby Findler <span dir="ltr"><<a href="mailto:robby@eecs.northwestern.edu" target="_blank">robby@eecs.northwestern.edu</a>></span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">Not really. <div><br></div><div>You can do it like this, tho.</div><div><br></div><div><div>#lang racket</div>

<div>(require redex/reduction-semantics)</div><div class=""><div><br></div><div>(define-language L)</div><div><br>
</div><div>(define-judgment-form L</div><div>  #:mode (is-number I)</div><div>  #:contract (is-number any)</div><div>  [(side-condition ,(number? (term any)))</div><div>   ----------------</div><div>   (is-number any)])</div>


<div><br></div><div>(define-judgment-form L</div><div>  #:mode (nested-number-list I)</div><div>  #:contract (nested-number-list any)</div></div><div>  [(where (any_2 ...) (any_1 ... ...))</div><div>   (is-number any_2) ...</div>


<div>   ------------------------</div><div>   (nested-number-list ((any_1 ...) ...))])</div><div class=""><div><br></div><div>(judgment-holds (nested-number-list ((1 2 3) (4 5 6) (7 8 9))))</div></div></div></div><div class="gmail_extra">

<br>
<br><div class="gmail_quote"><div><div class="h5">On Thu, Feb 6, 2014 at 1:44 PM, Jonathan Schuster <span dir="ltr"><<a href="mailto:schuster@ccs.neu.edu" target="_blank">schuster@ccs.neu.edu</a>></span> wrote:<br>

</div></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div><div class="h5">
<div dir="ltr">Is there a reason that judgments in Redex don't allow multiple ellipses after a premise? I have a case where I have a list of lists of items, and I want to check that a certain property holds on each item. Here's a very simplified example:<br>




<br>(define-language L)<br><br>(define-judgment-form L<br>  #:mode (is-number I)<br>  #:contract (is-number any)<br>  [(side-condition ,(number? (term any)))<br>   ----------------<br>   (is-number any)])<br><br>(define-judgment-form L<br>




  #:mode (nested-number-list I)<br>  #:contract (nested-number-list any)<br>  [(where ((any_item ...) ...) any_list)<br>   (is-number any_item) ... ...<br>   ------------------------<br>   (nested-number-list any_list)])<br>




<br>(judgment-holds (nested-number-list ((1 2 3) (4 5 6) (7 8 9))))<br></div>
<br></div></div>____________________<br>
  Racket Users list:<br>
  <a href="http://lists.racket-lang.org/users" target="_blank">http://lists.racket-lang.org/users</a><br>
<br></blockquote></div><br></div>
</blockquote></div><br></div>