retronym

% sbt 'appendScalacOptions -Ydebug' "show scalacOptions" "show test:scalacOptions"
[info] Loading global plugins from /Users/jason/.sbt/0.13/plugins
[info] Loading project definition from /Users/jason/code/scratch3/project
[info] Set current project to scratch3 (in build file:/Users/jason/code/scratch3/)
[info] Reapplying settings...
[info] Set current project to scratch3 (in build file:/Users/jason/code/scratch3/)
[info] b/*:scalacOptions
[info] 	List(-Ydebug)
[info] a/*:scalacOptions
[info] 	List(-Xcheckinit, -Ydebug)

retronym

META-INF/
META-INF/MANIFEST.MF
META-INF/services/javax.script.ScriptEngineFactory
compiler.properties
rootdoc.txt
scala/
scala/reflect/
scala/reflect/macros/
scala/reflect/macros/compiler/
scala/reflect/macros/compiler/DefaultMacroCompiler$$anonfun$1.class

retronym

--- from_file
+++ (clipboard)
@@ -1,4 +1,4 @@
-Started by build flow pr-scala#7419
+Started by build flow pr-scala#7421
 Building remotely on lampscalatst3-b (checkin auxjvm nightly) in workspace /localhome/jenkins/b/workspace/pr-scala-integrate-ide
  > git rev-parse --is-inside-work-tree
 Fetching changes from the remote Git repository
@@ -7,25 +7,39 @@
  > git --version

retronym

--- sandbox/good.log	2014-05-21 07:08:00.000000000 +0200
+++ sandbox/bad.log	2014-05-21 07:08:10.000000000 +0200
@@ -1,693 +1,775 @@
 [running phase parser on t8607.scala]
 [running phase namer on t8607.scala]
 [running phase packageobjects on t8607.scala]
 [running phase typer on t8607.scala]
 [running phase patmat on t8607.scala]
 [running phase superaccessors on t8607.scala]
 [running phase extmethods on t8607.scala]

retronym

  % for i in 67 66; do scalac-hash v2.11.0-RC1~$i -Ytyper-debug -Xprint:typer -classpath /Users/jason/.ivy2/cache/org.scalaz/scalaz-core_2.11/jars/scalaz-core_2.11-7.0.6.jar sandbox/unapply.scala 2>&1 | tee sandbox/68.log   951  scalac-hash v2.11.0-RC1~66 -Ytyper-debug -Xprint:typer -classpath /Users/jason/.ivy2/cache/org.scalaz/scalaz-core_2.11/jars/scalaz-core_2.11-7.0.6.jar sandbox/unapply.scala 2>&1 | tee sandbox/$i.log
  % diff -u sandbox/{67,66}.log | subl

retronym

% qbin/scalac -Ydebug -Ylog:icode  -Ylinearizer:rpo sandbox/test.scala 2>&1 | tee sandbox/bad.txt
% qbin/scalac -Ydebug -Ylog:icode -Ydisable-unreachable-prevention -Ylinearizer:rpo sandbox/test.scala 2>&1 | tee sandbox/good.txt
% diff -U1000 sandbox/{good,bad}.txt | gist

retronym

======= Position error
Overlapping trees (544,539)
== Ancestor tree [560] of type Template at [22:163]t8596.scala

[L   1        ] #560    [22:163]        Template   // {

== First overlapping tree [544] of type Select at [131:159]t8596.scala

[L   5        ] #544    [131:159]       Select     // new Container().typeParamAndD

retronym

scala> q"{0; val x = 0}"
res6: $r.intp.global.Tree =
{
  0;
  val x = 0;
  ()
}

scala> Block(q"0" :: Nil, q"val x = 0")
res7: $r.intp.global.Block =

retronym

/code cd war
/code/war
/code/war subl build.sbt
/code/war mkdir project
/code/war subl project/build.properties
/code/war subl project/plugins.sbt
/code/war tail build.sbt project/build.properties project/plugins.sbt
==> build.sbt <==

scalaVersion := "2.10.3"

retronym

scala> trait T[A >: Null <: String] { type M = List[A] }
defined trait T

scala> val listA = symbolOf[T[_]].info.member(TypeName("M")).info
listA: $r.intp.global.Type = List[A]

scala> listA.map(tp => if (tp.typeSymbol.isAbstract) tp.bounds.lo else tp)
res12: $r.intp.global.Type = List[Null]