inconsistent/undocumented behaviors of ellipsis in quasi-patterns for match

[capfredf]

What version of Racket are you using?
8.1.0.5

What program did you run?

> (match '(abc)
    [`(abc ...) 42])
42

> (match '(abc)
    [`(,@(list abc)) 42])
42

> (match '(abc)
    [`(,@(list abc) ...) 42])
; match: no matching clause for '(abc) [,bt for context]

> (match '(abc ...)
    [`(,@(list abc) ...) 42])
42

What should have happened?
The third match expression above should have worked, whereas the last one should have not.

Discussion
According to the reference, (,@(list abc) ...) should be treated like abc repeats zero or more times, but ... in this pattern is treated like literal ....

[sorawee]

Perhaps this is the same bug above, but it could also be different.

(match '(1 1 1)
  [`(,@xs) xs]) 
; '(1 1 1) -- correct

(match '(1 1 1 ...)
  [`(,@xs ...) xs])
; '(1 1 1) -- incorrect because ... shouldn't be matched literally

(match '(1 1 1 ... ...)
  [`(,@xs ... ...) xs])
; '(1 1 1 ... ...) -- what's going on?!?

(match '(1 1 1 ... ... ...)
  [`(,@xs ... ... ...) xs])
; '(1 1 1 ... ...)

(match '(1 1 1 ... ... ... ...)
  [`(,@xs ... ... ... ...) xs])
; '(1 1 1 ... ... ... ...)