@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 …
-
-
Replying to @JonathanChayat
@propensive This came up while developing http://github.com/SupersonicAds/marbles/ … which you may find interesting by itself.1 reply 0 retweets 0 likes -
Replying to @JonathanChayat
@propensive Any help would be greatly appreciated!1 reply 0 retweets 0 likes -
Replying to @JonathanChayat
@JonathanChayat Hi Jonathan! I got it working by redefining: def foo[T, S <: R[_ >: T]](x: T)(implicit ev: S) = 0 Does that help?2 replies 0 retweets 0 likes -
Replying to @propensive
@JonathanChayat They may well be legitimate type errors, though! Maybe def foo[T, S <: R[_ >: T <: A]] would help in that case. Not sure. :/1 reply 0 retweets 0 likes -
Replying to @propensive
@propensive First of all, Thanks! This is progress - however, now implicit search stops looking at companion objects for evidence.2 replies 0 retweets 0 likes
@JonathanChayat Yeah, it won't look in the companion object unless that type is explicitly mentioned...
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.