Skip to content

Instantly share code, notes, and snippets.

@paulp
Created January 18, 2012 17:05
Show Gist options
  • Save paulp/1634088 to your computer and use it in GitHub Desktop.
Save paulp/1634088 to your computer and use it in GitHub Desktop.
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