Update for new type constructors

[lucaswerkmeister]

• type constructors (<T> => X<T>), including type constraints
• anonymous generic functions (<T>(T t) => t), including type constraints
• type parameters with type parameters
• callable parameters with type parameters
• named argument functions with type parameters
• lazy specifications with type parameters (tt<T>(T t) => t)

[gavinking]

Also a type parameter can now have type parameters of its own.

And don't forget that all these things can have type constraints.

[lucaswerkmeister]

Thanks, updated the issue

[lucaswerkmeister]

Also a type parameter can now have type parameters of its own.

Actually, I can’t find this in Ceylon.g or in the typeconstructors.ceylon test; what do type parameters with type parameters look like?

[lucaswerkmeister]

Ooh, I see, it’s given Box<Value>, in the constraint list.

[lucaswerkmeister]

@gavinking are type constructors still an “experimental feature” in 1.2? If yes, I’ll slip this.

[gavinking]

Yes.

[jvasileff]

@lucaswerkmeister when you do take this on, can you consider doing it in a feature branch for 1.2? I certainly don't want to push you into extra work, so if this doesn't make sense when the time comes, please disregard.

[lucaswerkmeister]

The main reason I like to wait for the spec is that ceylon.ast types are usually named the same as their corresponding spec rules, but if the spec hasn’t been written yet, there’s the danger that I’ll have to rename the ceylon.ast node later.

Other than that… I’m not sure what your asking. Do you mean when I get around to adding type constructors, I should do it on a branch based on the 1.2 tag rather than whatever master is at the time, so you can build yourself a version that’s just 1.2 plus type constructors? I can do that, sure.

[jvasileff]

Yes, cool, thanks!