@djspiewak Just listening to your type inference problem on SW#29. Was it a dealiasing problem with dependent types?
-
@propensive So basically, F[G[H[_], A]] where F and G are known, infer H. It fails.
-
-
@propensive Yeah. Two levels passes, but three fails. It's like there's a hard-coded limit on the recursion. -
@djspiewak Hmm... it's almost as if someone put that in there to guarantee compilation finishes before the end of the universe... - 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.