@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 …
-
@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 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. -
@propensive I've revised my question on SO so that the evidence is in the companion of A (which is more realistic). - 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.