I'm discovering Scala is more kindsafe than I'd previously realised; unfortunately, I think I want dynamic kinding right now.
-
@propensive … to be a little bit more clear: When abstracting over type constructors with variance annotations, scalac is sometimes unsound.
@larsr_h I'm converting from a type member to a type parameter (hence the type lambas), so what I want to do *ought* to work...
-
-
@propensive Any chance to see some code? :-) -
@larsr_h You can see it before I started the mangling: https://github.com/propensive/rapture-io/blob/master/src/exceptions.scala … - 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.