search

ceylon / ceylon-spec

DEPRECATED
Apache License 2.0
108 stars 34 forks source link

uncanonicalized union types visible to user #1327

Open gavinking opened 9 years ago

gavinking commented 9 years ago

If I write a tuple type like [Integer,Integer,Integer], then hovering it in the IDE I will see Integer|Integer|Integer|Nothing[]. That's because when I'm building these tuple types I'm not yet in a phase where I can canonicalize them. This doesn't actually break anything, but it does look ugly.

I've no clue what to do about this, especially since the type can easily be captured into an alias or whatever.

gavinking commented 9 years ago

Perhaps I could use a LazyType for these things and canonicalize them when it's time.

gavinking commented 9 years ago

I think the lame solution is all we're going to get for 1.2 :-(