ceylon/ceylon-spec — pull request #978 by lucaswerkmeister (2014-06-02 13:00:31+00:00)
Title: Fix definition of TypeList in the spec

The previous definition

TypeList: (EntryType ",")* UnionType ("*"|"+")?

would only allow type lists like

X->Y, A->B, X*

but not

X, Y, A, B, X*

because `X`, `Y`, `A`, `B` are not `EntryType`s.

I suspect there was some confusion with the way that `UnionType` and `IntersectionType` work: A `UnionType` is `IntersectionType ("," IntersectionType)*`, so even `A` (which we wouldn’t call a Union Type) is grammar-wise a `UnionType`. The original author probably thought that `EntryType` works like this as well.