search

ceylon / ceylon-compiler

DEPRECATED
GNU General Public License v2.0
138 stars 36 forks source link

satisfies operator #1112

Open FroMage opened 11 years ago

FroMage commented 11 years ago

That one should be trivial now that we have reified generics.

gavinking commented 11 years ago

This should wait for:

https://github.com/ceylon/ceylon-spec/issues/560

Which is scheduled for 1.1.

FroMage commented 11 years ago

Well, perhaps, but I'm pretty sure it's trivial to implement in the backend right now, so how much work would that be in the typechecker? Why are we delaying it to 1.1?

gavinking commented 11 years ago

Well ceylon/ceylon-spec#560 is anything but trivial.

FroMage commented 11 years ago

Ah OK. Not sure why, since from an uneducated perspective, all the machinery for type intersections is already done. The only difference I can see with is is that we're not refining values by introducing a new binding, but refining a type with no new binding. Is that what the hard part is?

FroMage commented 10 years ago

Moving to 1.2