@propensive Saw your type inference presentation - very nice!
I was wondering if you could take a look at this issue http://tinyurl.com/hmap-so-question …
-
@propensive Any help would be greatly appreciated!
@JonathanChayat Hi Jonathan! I got it working by redefining:
def foo[T, S <: R[_ >: T]](x: T)(implicit ev: S) = 0
Does that help?
-
-
@JonathanChayat There's a risk that will cause problems later because it can't prove things about types in any methods on R[T] you use.Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@JonathanChayat They may well be legitimate type errors, though! Maybe def foo[T, S <: R[_ >: T <: A]] would help in that case. Not sure. :/ -
@propensive First of all, Thanks! This is progress - however, now implicit search stops looking at companion objects for evidence. - 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.