[racket] Multiple ellipses after judgment form premises?

From: Jonathan Schuster (schuster at ccs.neu.edu)
Date: Thu Feb 6 14:44:04 EST 2014

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:

(define-language L)

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

(define-judgment-form L
  #:mode (nested-number-list I)
  #:contract (nested-number-list any)
  [(where ((any_item ...) ...) any_list)
   (is-number any_item) ... ...
   (nested-number-list any_list)])

(judgment-holds (nested-number-list ((1 2 3) (4 5 6) (7 8 9))))
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.racket-lang.org/users/archive/attachments/20140206/dc8e6c9e/attachment.html>

Posted on the users mailing list.