[racket] syntax-case and multiple ellipsis

Although it may not be the same issue, Alex Knauth posted about a
problem using syntax-parse with Typed Racket on May 27 (I didn't see
anyone reply):

http://lists.racket-lang.org/users/archive/2014-May/062730.html

On Tue, Jun 17, 2014 at 2:26 PM, Stephen Chang <stchang at ccs.neu.edu> wrote:
> Hmm, you might need to provide some more details about what you are
> trying to define then? (This particular example seems to work with
> syntax-parse in TR)
>
> #lang typed/racket
> (require (for-syntax syntax/parse))
>
> (define-syntax (test stx)
>   (syntax-parse stx #:datum-literals (in def)
>     [(_ name
>         (def a ...) ...
>         (in clause do ...) ...)
>      #'(list a ... ... do ... ...)]))
>
> (test A (def 1 2 3) (in 4 5 6))
>
> On Tue, Jun 17, 2014 at 2:08 PM, Spencer Florence <spencer at florence.io> wrote:
>> Unfortunately I'm working in typed racket, which (as far as I can tell)
>> doesn't play nice with syntax-parse. Any other ideas?