Rename dotty.Predef -> dotty.DottyPredef

to avoid accidental confusion with scala.Predef

Author: odersky

src/dotty/Predef.scala renamed to src/dotty/DottyPredef.scala

@@ -3,7 +3,7 @@ package dotty
 import scala.reflect.ClassTag
 import scala.reflect.runtime.universe.TypeTag
 
-object Predef {
+object DottyPredef {
   /** implicits for ClassTag and TypeTag. Should be implemented with macros */
   implicit def classTag[T]: ClassTag[T] = ???
   implicit def typeTag[T]: TypeTag[T] = ???

src/dotty/tools/dotc/core/Definitions.scala

@@ -154,7 +154,7 @@ class Definitions(implicit ctx: Context) {
     ScalaPackageClass, tpnme.Null, AbstractFinal, List(ObjectClass.typeRef))
 
   lazy val ScalaPredefModule = requiredModule("scala.Predef")
-  lazy val DottyPredefModule = requiredModule("dotty.Predef")
+  lazy val DottyPredefModule = requiredModule("dotty.DottyPredef")
   lazy val NilModule = requiredModule("scala.collection.immutable.Nil")
 
 //  lazy val FunctionClass: ClassSymbol = requiredClass("scala.Function")