search

eclipse-archived / ceylon

The Ceylon compiler, language module, and command line tools
http://ceylon-lang.org
Apache License 2.0
399 stars 62 forks source link

uncanonicalized union types visible to user #4433

Open CeylonMigrationBot opened 9 years ago

CeylonMigrationBot commented 9 years ago

[@gavinking] 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.

[Migrated from ceylon/ceylon-spec#1327]

CeylonMigrationBot commented 9 years ago

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

CeylonMigrationBot commented 9 years ago

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