Move compiler and compiler tests to compiler dir

1 files changed, 34 insertions, 0 deletions

diff --git a/compiler/src/dotty/tools/dotc/transform/TypeUtils.scala b/compiler/src/dotty/tools/dotc/transform/TypeUtils.scala
new file mode 100644
index 000000000..d474c77b4
--- /dev/null
+++ b/compiler/src/dotty/tools/dotc/transform/TypeUtils.scala
@@ -0,0 +1,34 @@
+package dotty.tools.dotc
+package transform
+
+import core._
+import TypeErasure.ErasedValueType
+import Types._
+import Contexts._
+import Symbols._
+import Decorators._
+import StdNames.nme
+import NameOps._
+import language.implicitConversions
+
+object TypeUtils {
+  implicit def decorateTypeUtils(tpe: Type): TypeUtils = new TypeUtils(tpe)
+}
+
+/** A decorator that provides methods on types
+ *  that are needed in the transformer pipeline.
+ */
+class TypeUtils(val self: Type) extends AnyVal {
+  import TypeUtils._
+
+  def isErasedValueType(implicit ctx: Context): Boolean =
+    self.isInstanceOf[ErasedValueType]
+
+  def isPrimitiveValueType(implicit ctx: Context): Boolean =
+    self.classSymbol.isPrimitiveValueClass
+
+  def ensureMethodic(implicit ctx: Context): Type = self match {
+    case self: MethodicType => self
+    case _ => if (ctx.erasedTypes) MethodType(Nil, self) else ExprType(self)
+  }
+}