No one ? Maybe @propensive would know. You seemed keen to tackle my little challenge last time :phttps://twitter.com/skaalf/status/1361244299254517762 …
-
Not really. I suppose I did it out of habit from Scala 2.
There are basically just a few too many things going on here: - dependent function type - curried function - match type - partial function - beta reduction - eta expansion and I think the recognition of valid implementation of a match type isn't tenacious enough to keep looking.
-
-
There's quite a lot going on indeed :) FTR you can replace the dependent function by `def toFun[F <: Format](f: F): String => InterpFormat[F] = ...` and run into the exact same problem.
-
The dependent type example from Dotty's docs doesn't compile either. I wonder if there is a magic feature flag to be enabled.https://scastie.scala-lang.org/v7wXmxo5Raa3H0Qmmizl4g …
- Show replies
New conversation -
-
-
I looked into this a little bit more and made *some* progress. Things are a bit weird and I'm leaning toward a bug now:pic.twitter.com/nj724s8Oky
-
This looks just like a straight dealiasing error now. But there's still enough complexity involved that I'm not surprised... the type match requirements as documented, IIRC, don't cover the case when the match type is used as a type parameter in the match expression...
- Show replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.