--
You received this message because you are subscribed to the Google Groups "scala-internals" group.
To unsubscribe from this group and stop receiving emails from it, send an email to scala-interna...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
By the way is there any hope to revive effort on singleton type inference [1] [2] in light of this sip? It looks like this is very much desired functionality [3]. Sadly without it singleton types aren’t very practical at the moment (as you can’t abstract over them without too much boilerplate.)
I believe that Adriaan is shooting for the same effect with precludesWidening
, but there is still work to do.
Hi,I fleshed out @folone's prototype implementation of SIP-23: https://github.com/adriaanm/scala/pull/12I went with Martin's preference for dropping the `.type` suffix.
I'd like to invite everyone to experiment with it, try to break it (and fix it ;-)), and help George & me to flesh out the SIP & its implementation, so that can be included in a future 2.11.x release (under a flag, of course). This is a prerequisite for the SIP being officially included in 2.12.0.For more concrete info/TODOs, please see the PR linked above.thanks!adriaan
--