> dotc tests/pos/HelloWorld.scala
[info] Updating {file:/Users/GeorgeZhang/dotty/}dotty-interfaces...
[info] Updating {file:/Users/GeorgeZhang/dotty/}dotty-library...
[info] Resolving jline#jline;2.12 ...
[info] Done updating.
[info] Resolving jline#jline;2.12 ...
[info] Compiling 23 Scala sources and 136 Java sources to /Users/GeorgeZhang/dotty/library/target/scala-2.11/classes...
[info] Done updating.
[info] Updating {file:/Users/GeorgeZhang/dotty/}dotty-compiler...
[info] Resolving org.scala-lang#scala-library;2.11.5 ...
[info] Compiling 7 Java sources to /Users/GeorgeZhang/dotty/interfaces/target/classes...
[info] Resolving jline#jline;2.12 ...
[info] Done updating.
[info] Packaging /Users/GeorgeZhang/dotty/interfaces/target/dotty-interfaces-0.1.1-SNAPSHOT.jar ...
[info] Done packaging.
[info] Packaging /Users/GeorgeZhang/dotty/library/target/scala-2.11/dotty-library_2.11-0.1.1-SNAPSHOT.jar ...
[info] Compiling 272 Scala sources and 1 Java source to /Users/GeorgeZhang/dotty/compiler/target/scala-2.11/classes...
[info] Done packaging.
[warn] /Users/GeorgeZhang/dotty/compiler/src/dotty/tools/dotc/core/tasty/TreeBuffer.scala:162: non-variable type argument dotty.tools.dotc.core.tasty.TastyBuffer.Addr in type pattern List[dotty.tools.dotc.core.tasty.TastyBuffer.Addr] (the underlying of List[dotty.tools.dotc.core.tasty.TastyBuffer.Addr]) is unchecked since it is eliminated by erasure
[warn] case addrs: List[Addr] => treeAddrs.put(tree, addrs.map(adjusted))
[warn] ^
[warn] /Users/GeorgeZhang/dotty/compiler/src/dotty/tools/dotc/printing/RefinedPrinter.scala:163: non-variable type argument dotty.tools.dotc.core.Types.Type in type pattern dotty.tools.dotc.ast.Trees.Tree[dotty.tools.dotc.core.Types.Type] (the underlying of dotty.tools.dotc.ast.tpd.Tree) is unchecked since it is eliminated by erasure
[warn] case dummyTreeOfType(tp) :: Nil if !(tp isRef defn.NullClass) => "null: " ~ toText(tp)
[warn] ^
[warn] /Users/GeorgeZhang/dotty/compiler/src/dotty/tools/dotc/transform/PostTyper.scala:267: non-variable type argument dotty.tools.dotc.core.Types.Type in type pattern dotty.tools.dotc.ast.Trees.Ident[dotty.tools.dotc.core.Types.Type] (the underlying of dotty.tools.dotc.ast.tpd.Ident) is unchecked since it is eliminated by erasure
[warn] case ident: Ident => checkIdent(ident)
[warn] ^
[warn] /Users/GeorgeZhang/dotty/compiler/src/dotty/tools/dotc/transform/PostTyper.scala:268: non-variable type argument dotty.tools.dotc.core.Types.Type in type pattern dotty.tools.dotc.ast.Trees.Ident[dotty.tools.dotc.core.Types.Type] (the underlying of dotty.tools.dotc.ast.tpd.Ident) is unchecked since it is eliminated by erasure
[warn] case Thicket((ident: Ident) :: _) => checkIdent(ident)
[warn] ^
[warn] /Users/GeorgeZhang/dotty/compiler/src/dotty/tools/dotc/transform/TreeChecker.scala:148: non-variable type argument dotty.tools.dotc.core.Types.Type in type pattern dotty.tools.dotc.ast.Trees.DefTree[dotty.tools.dotc.core.Types.Type] (the underlying of dotty.tools.dotc.ast.tpd.DefTree) is unchecked since it is eliminated by erasure
[warn] case tree: DefTree =>
[warn] ^
[warn] there were 7 unchecked warnings; re-run with -unchecked for details
[warn] 6 warnings found
[warn] Multiple main classes detected. Run 'show discoveredMainClasses' to see the list
[info] Compiling 46 Scala sources and 3 Java sources to /Users/GeorgeZhang/dotty/compiler/target/scala-2.11/test-classes...
[info] Packaging /Users/GeorgeZhang/dotty/compiler/target/scala-2.11/dotty-compiler_2.11-0.1.1-SNAPSHOT.jar ...
[info] Done packaging.
[warn] Multiple main classes detected. Run 'show discoveredMainClasses' to see the list
[info] Packaging /Users/GeorgeZhang/dotty/compiler/target/scala-2.11/dotty-compiler_2.11-0.1.1-SNAPSHOT-tests.jar ...
[info] Done packaging.
[info] Running dotty.tools.dotc.Main tests/pos/HelloWorld.scala -classpath /Users/GeorgeZhang/dotty/library/target/scala-2.11/dotty-library_2.11-0.1.1-SNAPSHOT.jar
[success] Total time: 201 s, completed Mar 29, 2017 11:29:19 PM