Created
January 18, 2012 17:05
-
-
Save paulp/1634088 to your computer and use it in GitHub Desktop.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
class A { | |
def f[T, U, CC[_]](x: CC[T], y: U)(implicit o: U) = x | |
f(List("a"), (x: String) => x.toSeq) | |
} | |
[paulp@stem ~ (master)]$ scalac3 -Dscalac.debug.tvar ./a.scala | |
[ create] ?T ( In A#f[T,U,CC[_]] ) | |
[ create] ?U ( In A#f[T,U,CC[_]] ) | |
[ create] ?CC ( In A#f[T,U,CC[_]] ) | |
[ create] ?CC ( In A#f[T,U,CC[_]] ) | |
[ applyArgs] ?CC ( In A#f[T,U,CC[_]], apply args ?T to CC ) | |
[ create] ?CC ( In A#f[T,U,CC[_]] ) | |
[ applyArgs] ?CC ( In A#f[T,U,CC[_]], apply args ?T to CC ) | |
[ create] ?A ( In List#apply[A] ) | |
[ create] ?A ( In List#apply[A] ) | |
[ setInst] String ( In List#apply[A], A=String ) | |
[ create] ?_$5 ( In Predef#zipped3ToTraversable[El1,El2,El3]#zz ) | |
[ create] ?_$6 ( In Predef#zipped3ToTraversable[El1,El2,El3]#zz ) | |
[ create] ?_$7 ( In Predef#zipped3ToTraversable[El1,El2,El3]#zz ) | |
[ create] ?_$8 ( In Predef#zipped3ToTraversable[El1,El2,El3]#zz ) | |
[ create] ?_$9 ( In Predef#zipped3ToTraversable[El1,El2,El3]#zz ) | |
[ create] ?_$10 ( In Predef#zipped3ToTraversable[El1,El2,El3]#zz ) | |
[ create] ?_$5 ( In Predef#zipped3ToTraversable[El1,El2,El3]#zz ) | |
[ create] ?_$6 ( In Predef#zipped3ToTraversable[El1,El2,El3]#zz ) | |
[ create] ?_$7 ( In Predef#zipped3ToTraversable[El1,El2,El3]#zz ) | |
[ create] ?_$8 ( In Predef#zipped3ToTraversable[El1,El2,El3]#zz ) | |
[ create] ?_$9 ( In Predef#zipped3ToTraversable[El1,El2,El3]#zz ) | |
[ create] ?_$10 ( In Predef#zipped3ToTraversable[El1,El2,El3]#zz ) | |
[ create] ?_$5 ( In Predef#zipped3ToTraversable[El1,El2,El3]#zz ) | |
[ create] ?_$6 ( In Predef#zipped3ToTraversable[El1,El2,El3]#zz ) | |
[ create] ?_$7 ( In Predef#zipped3ToTraversable[El1,El2,El3]#zz ) | |
[ create] ?_$8 ( In Predef#zipped3ToTraversable[El1,El2,El3]#zz ) | |
[ create] ?_$9 ( In Predef#zipped3ToTraversable[El1,El2,El3]#zz ) | |
[ create] ?_$10 ( In Predef#zipped3ToTraversable[El1,El2,El3]#zz ) | |
[ create] ?_$5 ( In Predef#zipped3ToTraversable[El1,El2,El3]#zz ) | |
[ create] ?_$6 ( In Predef#zipped3ToTraversable[El1,El2,El3]#zz ) | |
[ create] ?_$7 ( In Predef#zipped3ToTraversable[El1,El2,El3]#zz ) | |
[ create] ?_$8 ( In Predef#zipped3ToTraversable[El1,El2,El3]#zz ) | |
[ create] ?_$9 ( In Predef#zipped3ToTraversable[El1,El2,El3]#zz ) | |
[ create] ?_$10 ( In Predef#zipped3ToTraversable[El1,El2,El3]#zz ) | |
[ create] ?_$5 ( In Predef#zipped3ToTraversable[El1,El2,El3]#zz ) | |
[ create] ?_$6 ( In Predef#zipped3ToTraversable[El1,El2,El3]#zz ) | |
[ create] ?_$7 ( In Predef#zipped3ToTraversable[El1,El2,El3]#zz ) | |
[ create] ?_$8 ( In Predef#zipped3ToTraversable[El1,El2,El3]#zz ) | |
[ create] ?_$9 ( In Predef#zipped3ToTraversable[El1,El2,El3]#zz ) | |
[ create] ?_$10 ( In Predef#zipped3ToTraversable[El1,El2,El3]#zz ) | |
[ create] ?_$5 ( In Predef#zipped3ToTraversable[El1,El2,El3]#zz ) | |
[ create] ?_$6 ( In Predef#zipped3ToTraversable[El1,El2,El3]#zz ) | |
[ create] ?_$7 ( In Predef#zipped3ToTraversable[El1,El2,El3]#zz ) | |
[ create] ?_$8 ( In Predef#zipped3ToTraversable[El1,El2,El3]#zz ) | |
[ create] ?_$9 ( In Predef#zipped3ToTraversable[El1,El2,El3]#zz ) | |
[ create] ?_$10 ( In Predef#zipped3ToTraversable[El1,El2,El3]#zz ) | |
[ create] ?_$1 ( In Predef#zipped2ToTraversable[El1,El2]#zz ) | |
[ create] ?_$2 ( In Predef#zipped2ToTraversable[El1,El2]#zz ) | |
[ create] ?_$3 ( In Predef#zipped2ToTraversable[El1,El2]#zz ) | |
[ create] ?_$4 ( In Predef#zipped2ToTraversable[El1,El2]#zz ) | |
[ create] ?_$1 ( In Predef#zipped2ToTraversable[El1,El2]#zz ) | |
[ create] ?_$2 ( In Predef#zipped2ToTraversable[El1,El2]#zz ) | |
[ create] ?_$3 ( In Predef#zipped2ToTraversable[El1,El2]#zz ) | |
[ create] ?_$4 ( In Predef#zipped2ToTraversable[El1,El2]#zz ) | |
[ create] ?_$1 ( In Predef#zipped2ToTraversable[El1,El2]#zz ) | |
[ create] ?_$2 ( In Predef#zipped2ToTraversable[El1,El2]#zz ) | |
[ create] ?_$3 ( In Predef#zipped2ToTraversable[El1,El2]#zz ) | |
[ create] ?_$4 ( In Predef#zipped2ToTraversable[El1,El2]#zz ) | |
[ create] ?_$1 ( In Predef#zipped2ToTraversable[El1,El2]#zz ) | |
[ create] ?_$2 ( In Predef#zipped2ToTraversable[El1,El2]#zz ) | |
[ create] ?_$3 ( In Predef#zipped2ToTraversable[El1,El2]#zz ) | |
[ create] ?_$4 ( In Predef#zipped2ToTraversable[El1,El2]#zz ) | |
[ create] ?_$1 ( In Predef#zipped2ToTraversable[El1,El2]#zz ) | |
[ create] ?_$2 ( In Predef#zipped2ToTraversable[El1,El2]#zz ) | |
[ create] ?_$3 ( In Predef#zipped2ToTraversable[El1,El2]#zz ) | |
[ create] ?_$4 ( In Predef#zipped2ToTraversable[El1,El2]#zz ) | |
[ create] ?_$1 ( In Predef#zipped2ToTraversable[El1,El2]#zz ) | |
[ create] ?_$2 ( In Predef#zipped2ToTraversable[El1,El2]#zz ) | |
[ create] ?_$3 ( In Predef#zipped2ToTraversable[El1,El2]#zz ) | |
[ create] ?_$4 ( In Predef#zipped2ToTraversable[El1,El2]#zz ) | |
[ create] ?T ( In A#f[T,U,CC[_]] ) | |
[ create] ?U ( In A#f[T,U,CC[_]] ) | |
[ create] ?CC ( In A#f[T,U,CC[_]] ) | |
[ create] ?CC ( In A#f[T,U,CC[_]] ) | |
[ applyArgs] ?CC ( In A#f[T,U,CC[_]], apply args ?T to CC ) | |
[ create] ?CC ( In A#f[T,U,CC[_]] ) | |
[ applyArgs] ?CC ( In A#f[T,U,CC[_]], apply args ?T to CC ) | |
[ create] ?CC ( In A#f[T,U,CC[_]] ) | |
[ applyArgs] ?CC ( In A#f[T,U,CC[_]], apply args ?T to CC ) | |
[ setInst] String ( In A#f[T,U,CC[_]], T=String ) | |
[ setInst] String => Seq[Char] ( In A#f[T,U,CC[_]], U=String => Seq[Char] ) | |
[ setInst] List ( In A#f[T,U,CC[_]], CC=List ) | |
[ create] ?A ( In Predef#conforms[A] ) | |
[ setInst] String ( In Predef#conforms[A], A=String ) | |
[paulp@stem ~ (master)]$ |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment