Type<>

[CeylonMigrationBot]

[@gavinking] Apparently the ability to write Type<> slipped in without me barely noticing. The BNF in the spec should reflect that.

[Migrated from ceylon/ceylon-spec#790]
[Closed at 2013-09-20 08:06:13]

[CeylonMigrationBot]

[@gavinking] This was an unintentional change, made to the parser in order to allow better autocompletion in IDE. Added the missing error check.

[CeylonMigrationBot]

[@FroMage] I disagree with this change, we can't go around saying to people that they can use defaulted type arguments but only after the first one. This syntax is useful to disable inference and use defaulted type arguments. There's just no other way to make the difference between type inference and using defaulted type arguments.

[CeylonMigrationBot]

[@gavinking] Then open an issue and we will discuss it for 1.0.

[CeylonMigrationBot]

[@FroMage] Isn't that this issue?

[CeylonMigrationBot]

[@FroMage] We need one issue to remove this and one to readd this?

[CeylonMigrationBot]

[@gavinking] Yes.

[CeylonMigrationBot]

[@FroMage] #3897 then