This page is no longer maintained — Please continue to the home page at www.scala-lang.org

putting scalac to work digging ditches

1 reply
Sat, 2012-01-07, 05:46
extempore
Joined: 2008-12-17,
User offline. Last seen 35 weeks 3 days ago.

// a.scala
class A {
  Nil map identity toMap
}

% scalac -Dscalac.debug.tvar a.scala
  [    create] ?B                       ( In TraversableLike[+A<:
<?>,+Repr<: <?>]#map[B,That] )
  [    create] ?That                    ( In TraversableLike[+A<:
<?>,+Repr<: <?>]#map[B,That] )
  [    create] ?A                       ( In Predef#identity[A] )
  [   setInst] Nothing                  ( In Predef#identity[A], A=Nothing )
  [    create] ?B                       ( In TraversableLike[+A<:
<?>,+Repr<: <?>]#map[B,That] )
  [    create] ?That                    ( In TraversableLike[+A<:
<?>,+Repr<: <?>]#map[B,That] )
  [   setInst] Nothing                  ( In TraversableLike[+A<:
<?>,+Repr<: <?>]#map[B,That], B=Nothing )
  [   setInst] Nothing                  ( In TraversableLike[+A<:
<?>,+Repr<: <?>]#map[B,That], That=Nothing )
  [    create] ?That                    ( In TraversableLike[+A<:
<?>,+Repr<: <?>]#map[B,That] )
  [   setInst] Nothing                  ( In TraversableLike[+A<:
<?>,+Repr<: <?>]#map[B,That], That=Nothing )
  [    create] ?_$1                     ( In GenericCompanion[+CC<: <?>] )
  [   setInst] Nothing                  ( In GenericCompanion[+CC<:
<?>], _$1=Nothing )
  [    create] ?_$1                     ( In GenericCompanion[+CC<: <?>] )
  [   setInst] Nothing                  ( In GenericCompanion[+CC<:
<?>], _$1=Nothing )
  [    create] ?_$1                     ( In GenericCompanion[+CC<: <?>] )
  [   setInst] Nothing                  ( In GenericCompanion[+CC<:
<?>], _$1=Nothing )
  [    create] ?_$1                     ( In GenericCompanion[+CC<: <?>] )
  [   setInst] Nothing                  ( In GenericCompanion[+CC<:
<?>], _$1=Nothing )
  [    create] ?_$1                     ( In GenericCompanion[+CC<: <?>] )
  [   setInst] Nothing                  ( In GenericCompanion[+CC<:
<?>], _$1=Nothing )
  [    create] ?_$1                     ( In GenericCompanion[+CC<: <?>] )
  [   setInst] Nothing                  ( In GenericCompanion[+CC<:
<?>], _$1=Nothing )
  [    create] ?_$1                     ( In GenericCompanion[+CC<: <?>] )
  [    create] ?_$1                     ( In GenericCanBuildFrom[A<: <?>] )
  [   setInst] Nothing                  ( In GenericCanBuildFrom[A<:
<?>], _$1=Nothing )
  [    create] ?_$1                     ( In GenericCanBuildFrom[A<: <?>] )
  [   setInst] Nothing                  ( In GenericCanBuildFrom[A<:
<?>], _$1=Nothing )
  [    create] ?_$1                     ( In GenericCompanion[+CC<: <?>] )
  [    create] ?_$1                     ( In GenericCanBuildFrom[A<: <?>] )
  [   setInst] Nothing                  ( In GenericCanBuildFrom[A<:
<?>], _$1=Nothing )
  [    create] ?_$1                     ( In GenericCompanion[+CC<: <?>] )
  [   setInst] Nothing                  ( In GenericCompanion[+CC<:
<?>], _$1=Nothing )
  [    create] ?_$1                     ( In GenericCompanion[+CC<: <?>] )
  [   setInst] Nothing                  ( In GenericCompanion[+CC<:
<?>], _$1=Nothing )
  [    create] ?_$1                     ( In GenericCompanion[+CC<: <?>] )
  [    create] ?_$1                     ( In GenericCompanion[+CC<: <?>] )
  [    create] ?_$1                     ( In GenericCompanion[+CC<: <?>] )
  [   setInst] Nothing                  ( In GenericCompanion[+CC<:
<?>], _$1=Nothing )
  [    create] ?A                       ( In List#canBuildFrom[A] )
  [    create] ?_$1                     ( In GenericCompanion[+CC<: <?>] )
  [   setInst] Nothing                  ( In GenericCompanion[+CC<:
<?>], _$1=Nothing )
  [   setInst] Nothing                  ( In List#canBuildFrom[A], A=Nothing )
  [    create] ?_$1                     ( In GenericCompanion[+CC<: <?>] )
  [   setInst] Nothing                  ( In GenericCompanion[+CC<:
<?>], _$1=Nothing )
  [    create] ?That                    ( In
TraversableLike[+A,+Repr]#map[B,That] )
  [    create] ?_$1                     ( In GenericCompanion[+CC<: <?>] )
  [   setInst] Nothing                  ( In GenericCompanion[+CC<:
<?>], _$1=Nothing )
  [   setInst] List[Nothing]            ( In
TraversableLike[+A,+Repr]#map[B,That], That=List[Nothing] )
  [    create] ?A                       ( In LinearSeq#canBuildFrom[A] )
  [    create] ?_$1                     ( In GenericCompanion[+CC<: <?>] )
  [    create] ?A                       ( In List#canBuildFrom[A] )
  [    create] ?_$1                     ( In GenericCompanion[+CC<: <?>] )
  [   setInst] _$1                      ( In GenericCompanion[+CC<:
<?>], _$1=_$1 )
  [    create] ?A                       ( In Seq#canBuildFrom[A] )
  [    create] ?_$1                     ( In GenericCompanion[+CC<: <?>] )
  [    create] ?A                       ( In List#canBuildFrom[A] )
  [    create] ?_$1                     ( In GenericCompanion[+CC<: <?>] )
  [   setInst] _$1                      ( In GenericCompanion[+CC<:
<?>], _$1=_$1 )
  [    create] ?A                       ( In Seq#canBuildFrom[A] )
  [    create] ?_$1                     ( In GenericCompanion[+CC<: <?>] )
  [    create] ?A                       ( In List#canBuildFrom[A] )
  [    create] ?_$1                     ( In GenericCompanion[+CC<: <?>] )
  [   setInst] _$1                      ( In GenericCompanion[+CC<:
<?>], _$1=_$1 )
  [    create] ?A                       ( In Iterable#canBuildFrom[A] )
  [    create] ?_$1                     ( In GenericCompanion[+CC<: <?>] )
  [    create] ?A                       ( In List#canBuildFrom[A] )
  [    create] ?_$1                     ( In GenericCompanion[+CC<: <?>] )
  [   setInst] _$1                      ( In GenericCompanion[+CC<:
<?>], _$1=_$1 )
  [    create] ?A                       ( In Traversable#canBuildFrom[A] )
  [    create] ?_$1                     ( In GenericCompanion[+CC<: <?>] )
  [    create] ?A                       ( In List#canBuildFrom[A] )
  [    create] ?_$1                     ( In GenericCompanion[+CC<: <?>] )
  [   setInst] _$1                      ( In GenericCompanion[+CC<:
<?>], _$1=_$1 )
  [    create] ?A                       ( In GenIterable#canBuildFrom[A] )
  [    create] ?A                       ( In List#canBuildFrom[A] )
  [    create] ?_$1                     ( In GenericCanBuildFrom[A<: <?>] )
  [   setInst] _$1                      ( In GenericCanBuildFrom[A<:
<?>], _$1=_$1 )
  [    create] ?A                       ( In GenTraversable#canBuildFrom[A] )
  [    create] ?A                       ( In List#canBuildFrom[A] )
  [    create] ?_$1                     ( In GenericCanBuildFrom[A<: <?>] )
  [   setInst] _$1                      ( In GenericCanBuildFrom[A<:
<?>], _$1=_$1 )
  [    create] ?T                       ( In
TraversableOnce#traversableOnceCanBuildFrom[T] )
  [    create] ?A                       ( In List#canBuildFrom[A] )
  [    create] ?A                       ( In GenSeq#canBuildFrom[A] )
  [    create] ?A                       ( In List#canBuildFrom[A] )
  [    create] ?_$1                     ( In GenericCanBuildFrom[A<: <?>] )
  [   setInst] _$1                      ( In GenericCanBuildFrom[A<:
<?>], _$1=_$1 )
  [    create] ?A                       ( In Iterable#canBuildFrom[A] )
  [    create] ?_$1                     ( In GenericCompanion[+CC<: <?>] )
  [    create] ?A                       ( In List#canBuildFrom[A] )
  [    create] ?_$1                     ( In GenericCompanion[+CC<: <?>] )
  [   setInst] _$1                      ( In GenericCompanion[+CC<:
<?>], _$1=_$1 )
  [    create] ?A                       ( In Traversable#canBuildFrom[A] )
  [    create] ?_$1                     ( In GenericCompanion[+CC<: <?>] )
  [    create] ?A                       ( In List#canBuildFrom[A] )
  [    create] ?_$1                     ( In GenericCompanion[+CC<: <?>] )
  [   setInst] _$1                      ( In GenericCompanion[+CC<:
<?>], _$1=_$1 )
  [    create] ?A                       ( In LinearSeq#canBuildFrom[A] )
  [    create] ?_$1                     ( In GenericCompanion[+CC<: <?>] )
  [    create] ?A                       ( In List#canBuildFrom[A] )
  [    create] ?_$1                     ( In GenericCompanion[+CC<: <?>] )
  [   setInst] _$1                      ( In GenericCompanion[+CC<:
<?>], _$1=_$1 )
  [    create] ?_$1                     ( In GenericCompanion[+CC<: <?>] )
  [   setInst] Nothing                  ( In GenericCompanion[+CC<:
<?>], _$1=Nothing )
  [    create] ?T                       ( In TraversableOnce[+A]#toMap[T,U] )
  [    create] ?U                       ( In TraversableOnce[+A]#toMap[T,U] )
  [   setInst] Nothing                  ( In
TraversableOnce[+A]#toMap[T,U], T=Nothing )
  [   setInst] Nothing                  ( In
TraversableOnce[+A]#toMap[T,U], U=Nothing )
  [    create] ?A                       ( In Predef#conforms[A] )
  [   setInst] Nothing                  ( In Predef#conforms[A], A=Nothing )
  [    create] ?T                       ( In TraversableOnce[+A]#toMap[T,U] )
  [    create] ?U                       ( In TraversableOnce[+A]#toMap[T,U] )
  [   setInst] Nothing                  ( In
TraversableOnce[+A]#toMap[T,U], T=Nothing )
  [   setInst] Nothing                  ( In
TraversableOnce[+A]#toMap[T,U], U=Nothing )
  [    create] ?T                       ( In TraversableOnce[+A]#toMap[T,U] )
  [    create] ?U                       ( In TraversableOnce[+A]#toMap[T,U] )
  [    create] ?T                       ( In TraversableOnce[+A]#toMap[T,U] )
  [    create] ?U                       ( In TraversableOnce[+A]#toMap[T,U] )
  [   setInst] Nothing                  ( In
TraversableOnce[+A]#toMap[T,U], T=Nothing )
  [   setInst] Nothing                  ( In
TraversableOnce[+A]#toMap[T,U], U=Nothing )
  [    create] ?T                       ( In TraversableOnce[+A]#toMap[T,U] )
  [   setInst] Nothing                  ( In
TraversableOnce[+A]#toMap[T,U], T=Nothing )

Top
Sat, 2012-01-07, 06:01
#1
extempore
Joined: 2008-12-17,
User offline. Last seen 35 weeks 3 days ago.
Re: putting scalac to work digging ditches
With the advent of gmail I seem to have lost whatever mastery of line wrapping I had acquired these last few decades.  Trying again.
// a.scalaclass A {  Nil map identity toMap }
% scalac -Dscalac.debug.tvar a.scala  [    create] ?B                       ( In TraversableLike[+A<: <?>,+Repr<: <?>]#map[B,That] )  [    create] ?That                    ( In TraversableLike[+A<: <?>,+Repr<: <?>]#map[B,That] )   [    create] ?A                       ( In Predef#identity[A] )  [   setInst] Nothing                  ( In Predef#identity[A], A=Nothing )  [    create] ?B                       ( In TraversableLike[+A<: <?>,+Repr<: <?>]#map[B,That] )   [    create] ?That                    ( In TraversableLike[+A<: <?>,+Repr<: <?>]#map[B,That] )  [   setInst] Nothing                  ( In TraversableLike[+A<: <?>,+Repr<: <?>]#map[B,That], B=Nothing )   [   setInst] Nothing                  ( In TraversableLike[+A<: <?>,+Repr<: <?>]#map[B,That], That=Nothing )  [    create] ?That                    ( In TraversableLike[+A<: <?>,+Repr<: <?>]#map[B,That] )   [   setInst] Nothing                  ( In TraversableLike[+A<: <?>,+Repr<: <?>]#map[B,That], That=Nothing )  [    create] ?_$1                     ( In GenericCompanion[+CC<: <?>] )   [   setInst] Nothing                  ( In GenericCompanion[+CC<: <?>], _$1=Nothing )  [    create] ?_$1                     ( In GenericCompanion[+CC<: <?>] )  [   setInst] Nothing                  ( In GenericCompanion[+CC<: <?>], _$1=Nothing )   [    create] ?_$1                     ( In GenericCompanion[+CC<: <?>] )  [   setInst] Nothing                  ( In GenericCompanion[+CC<: <?>], _$1=Nothing )  [    create] ?_$1                     ( In GenericCompanion[+CC<: <?>] )   [   setInst] Nothing                  ( In GenericCompanion[+CC<: <?>], _$1=Nothing )  [    create] ?_$1                     ( In GenericCompanion[+CC<: <?>] )  [   setInst] Nothing                  ( In GenericCompanion[+CC<: <?>], _$1=Nothing )   [    create] ?_$1                     ( In GenericCompanion[+CC<: <?>] )  [   setInst] Nothing                  ( In GenericCompanion[+CC<: <?>], _$1=Nothing )  [    create] ?_$1                     ( In GenericCompanion[+CC<: <?>] )   [    create] ?_$1                     ( In GenericCanBuildFrom[A<: <?>] )  [   setInst] Nothing                  ( In GenericCanBuildFrom[A<: <?>], _$1=Nothing )  [    create] ?_$1                     ( In GenericCanBuildFrom[A<: <?>] )   [   setInst] Nothing                  ( In GenericCanBuildFrom[A<: <?>], _$1=Nothing )  [    create] ?_$1                     ( In GenericCompanion[+CC<: <?>] )  [    create] ?_$1                     ( In GenericCanBuildFrom[A<: <?>] )   [   setInst] Nothing                  ( In GenericCanBuildFrom[A<: <?>], _$1=Nothing )  [    create] ?_$1                     ( In GenericCompanion[+CC<: <?>] )  [   setInst] Nothing                  ( In GenericCompanion[+CC<: <?>], _$1=Nothing )   [    create] ?_$1                     ( In GenericCompanion[+CC<: <?>] )  [   setInst] Nothing                  ( In GenericCompanion[+CC<: <?>], _$1=Nothing )  [    create] ?_$1                     ( In GenericCompanion[+CC<: <?>] )   [    create] ?_$1                     ( In GenericCompanion[+CC<: <?>] )  [    create] ?_$1                     ( In GenericCompanion[+CC<: <?>] )  [   setInst] Nothing                  ( In GenericCompanion[+CC<: <?>], _$1=Nothing )   [    create] ?A                       ( In List#canBuildFrom[A] )  [    create] ?_$1                     ( In GenericCompanion[+CC<: <?>] )  [   setInst] Nothing                  ( In GenericCompanion[+CC<: <?>], _$1=Nothing )   [   setInst] Nothing                  ( In List#canBuildFrom[A], A=Nothing )  [    create] ?_$1                     ( In GenericCompanion[+CC<: <?>] )  [   setInst] Nothing                  ( In GenericCompanion[+CC<: <?>], _$1=Nothing )   [    create] ?That                    ( In TraversableLike[+A,+Repr]#map[B,That] )  [    create] ?_$1                     ( In GenericCompanion[+CC<: <?>] )  [   setInst] Nothing                  ( In GenericCompanion[+CC<: <?>], _$1=Nothing )   [   setInst] List[Nothing]            ( In TraversableLike[+A,+Repr]#map[B,That], That=List[Nothing] )  [    create] ?A                       ( In LinearSeq#canBuildFrom[A] )  [    create] ?_$1                     ( In GenericCompanion[+CC<: <?>] )   [    create] ?A                       ( In List#canBuildFrom[A] )  [    create] ?_$1                     ( In GenericCompanion[+CC<: <?>] )  [   setInst] _$1                      ( In GenericCompanion[+CC<: <?>], _$1=_$1 )   [    create] ?A                       ( In Seq#canBuildFrom[A] )  [    create] ?_$1                     ( In GenericCompanion[+CC<: <?>] )  [    create] ?A                       ( In List#canBuildFrom[A] )   [    create] ?_$1                     ( In GenericCompanion[+CC<: <?>] )  [   setInst] _$1                      ( In GenericCompanion[+CC<: <?>], _$1=_$1 )  [    create] ?A                       ( In Seq#canBuildFrom[A] )   [    create] ?_$1                     ( In GenericCompanion[+CC<: <?>] )  [    create] ?A                       ( In List#canBuildFrom[A] )  [    create] ?_$1                     ( In GenericCompanion[+CC<: <?>] )   [   setInst] _$1                      ( In GenericCompanion[+CC<: <?>], _$1=_$1 )  [    create] ?A                       ( In Iterable#canBuildFrom[A] )  [    create] ?_$1                     ( In GenericCompanion[+CC<: <?>] )   [    create] ?A                       ( In List#canBuildFrom[A] )  [    create] ?_$1                     ( In GenericCompanion[+CC<: <?>] )  [   setInst] _$1                      ( In GenericCompanion[+CC<: <?>], _$1=_$1 )   [    create] ?A                       ( In Traversable#canBuildFrom[A] )  [    create] ?_$1                     ( In GenericCompanion[+CC<: <?>] )  [    create] ?A                       ( In List#canBuildFrom[A] )   [    create] ?_$1                     ( In GenericCompanion[+CC<: <?>] )  [   setInst] _$1                      ( In GenericCompanion[+CC<: <?>], _$1=_$1 )  [    create] ?A                       ( In GenIterable#canBuildFrom[A] )   [    create] ?A                       ( In List#canBuildFrom[A] )  [    create] ?_$1                     ( In GenericCanBuildFrom[A<: <?>] )  [   setInst] _$1                      ( In GenericCanBuildFrom[A<: <?>], _$1=_$1 )   [    create] ?A                       ( In GenTraversable#canBuildFrom[A] )  [    create] ?A                       ( In List#canBuildFrom[A] )  [    create] ?_$1                     ( In GenericCanBuildFrom[A<: <?>] )   [   setInst] _$1                      ( In GenericCanBuildFrom[A<: <?>], _$1=_$1 )  [    create] ?T                       ( In TraversableOnce#traversableOnceCanBuildFrom[T] )  [    create] ?A                       ( In List#canBuildFrom[A] )   [    create] ?A                       ( In GenSeq#canBuildFrom[A] )  [    create] ?A                       ( In List#canBuildFrom[A] )  [    create] ?_$1                     ( In GenericCanBuildFrom[A<: <?>] )   [   setInst] _$1                      ( In GenericCanBuildFrom[A<: <?>], _$1=_$1 )  [    create] ?A                       ( In Iterable#canBuildFrom[A] )  [    create] ?_$1                     ( In GenericCompanion[+CC<: <?>] )   [    create] ?A                       ( In List#canBuildFrom[A] )  [    create] ?_$1                     ( In GenericCompanion[+CC<: <?>] )  [   setInst] _$1                      ( In GenericCompanion[+CC<: <?>], _$1=_$1 )   [    create] ?A                       ( In Traversable#canBuildFrom[A] )  [    create] ?_$1                     ( In GenericCompanion[+CC<: <?>] )  [    create] ?A                       ( In List#canBuildFrom[A] )   [    create] ?_$1                     ( In GenericCompanion[+CC<: <?>] )  [   setInst] _$1                      ( In GenericCompanion[+CC<: <?>], _$1=_$1 )  [    create] ?A                       ( In LinearSeq#canBuildFrom[A] )   [    create] ?_$1                     ( In GenericCompanion[+CC<: <?>] )  [    create] ?A                       ( In List#canBuildFrom[A] )  [    create] ?_$1                     ( In GenericCompanion[+CC<: <?>] )   [   setInst] _$1                      ( In GenericCompanion[+CC<: <?>], _$1=_$1 )  [    create] ?_$1                     ( In GenericCompanion[+CC<: <?>] )  [   setInst] Nothing                  ( In GenericCompanion[+CC<: <?>], _$1=Nothing )   [    create] ?T                       ( In TraversableOnce[+A]#toMap[T,U] )  [    create] ?U                       ( In TraversableOnce[+A]#toMap[T,U] )  [   setInst] Nothing                  ( In TraversableOnce[+A]#toMap[T,U], T=Nothing )   [   setInst] Nothing                  ( In TraversableOnce[+A]#toMap[T,U], U=Nothing )  [    create] ?A                       ( In Predef#conforms[A] )  [   setInst] Nothing                  ( In Predef#conforms[A], A=Nothing )   [    create] ?T                       ( In TraversableOnce[+A]#toMap[T,U] )  [    create] ?U                       ( In TraversableOnce[+A]#toMap[T,U] )  [   setInst] Nothing                  ( In TraversableOnce[+A]#toMap[T,U], T=Nothing )   [   setInst] Nothing                  ( In TraversableOnce[+A]#toMap[T,U], U=Nothing )  [    create] ?T                       ( In TraversableOnce[+A]#toMap[T,U] )  [    create] ?U                       ( In TraversableOnce[+A]#toMap[T,U] )   [    create] ?T                       ( In TraversableOnce[+A]#toMap[T,U] )  [    create] ?U                       ( In TraversableOnce[+A]#toMap[T,U] )  [   setInst] Nothing                  ( In TraversableOnce[+A]#toMap[T,U], T=Nothing )   [   setInst] Nothing                  ( In TraversableOnce[+A]#toMap[T,U], U=Nothing )  [    create] ?T                       ( In TraversableOnce[+A]#toMap[T,U] )  [   setInst] Nothing                  ( In TraversableOnce[+A]#toMap[T,U], T=Nothing )
Top

Copyright © 2012 École Polytechnique Fédérale de Lausanne (EPFL), Lausanne, Switzerland