search

ceylon / ceylon.ast

Apache License 2.0
18 stars 3 forks source link

Spread types #72

Closed lucaswerkmeister closed 9 years ago

lucaswerkmeister commented 9 years ago

We need to support spread types. See ceylon/ceylon-spec#1121 and especially ceylon/ceylon-spec@b1434e3a3f1e321f95ff33a84fa9b0b42ab7638b and ceylon/ceylon-spec@c3352a5c1ddbbcf684b78716c81d612347f06c53.

lucaswerkmeister commented 9 years ago

Note that a type list containing a spread type, like [String, *T], is currently not even supported by the parser, and it also couldn’t work in practice according to https://github.com/ceylon/ceylon-spec/issues/1121#issuecomment-60544700. So I’m thinking that AST-wise, this is not an element of a type list, but instead a CallableType (and a TupleType? see https://github.com/ceylon/ceylon-spec/issues/1121#issuecomment-61365515) has a TypeList|SpreadType child.