search

ceylon / ceylon-spec

DEPRECATED
Apache License 2.0
108 stars 34 forks source link

Weird restriction for annotation parameter types #1427

Closed FroMage closed 8 years ago

FroMage commented 8 years ago

Apparently I can have annotation parameters of type [String*] and {String+} but not [String+], is that normal?

gavinking commented 8 years ago

Well, yes: spec §7.2.2. Is this a feature request against the spec and typechecker for 1.2?

lucaswerkmeister commented 8 years ago

I don’t see where 7.2.2 allows {T+}, so is that a bug?

FroMage commented 8 years ago

Well, yeah, that just seems arbitrary.

gavinking commented 8 years ago

Alright, so I have made that change, but you guys will have to write the code/tests to support it in both backends.

FroMage commented 8 years ago

Hey, I was fine with disallowing both, just as long as they are consistent ;)