search

racket / redex

Other
93 stars 36 forks source link

Internal error using side-condition before ellipsis in pattern #230

Closed wilbowma closed 3 years ago

wilbowma commented 4 years ago

I expected the two languages below to be the same, but the second gives an internal error about ellipsis.

#lang racket/base

(require
 redex/reduction-semantics)

(define-language fooL
  [x (any ...)])

(define-language foo2L
  [x ((side-condition any_1 (values (term any_1))) ...)])

; /tmp/meow.rkt:13:44: datum: missing ellipsis with pattern variable in template
;   at: any_1
;   in: (datum any_1)