First versions of Definitions based on TypeRefs not Symbols.

Symbols are not stable between runs, so if some symbol referred
to from Definitions gets recompiled, there are then two Symbols
that are both visible, one referenced from Definitions, the other
the one that got compiled.

Thos led to a crash when e.g. compiling scala.Short, because the
newly compiled symbol was not recognized as a primitive value
class.

The present commit tries to make systematic changes without regard
to simplicity or aesthetics. This will be polished in future commits.
// ### comments signal areas that need further attention.

1 files changed, 16 insertions, 13 deletions

diff --git a/src/dotty/tools/dotc/core/StdNames.scala b/src/dotty/tools/dotc/core/StdNames.scala
index 7c73d95da..e8cddd3d4 100644
--- a/src/dotty/tools/dotc/core/StdNames.scala
+++ b/src/dotty/tools/dotc/core/StdNames.scala
@@ -176,19 +176,22 @@ object StdNames {
     final val LAMBDA_ARG_PREFIX: N              = "hk$"
     final val LAMBDA_ARG_PREFIXhead: Char       = LAMBDA_ARG_PREFIX.head
 
-    final val Any: N             = "Any"
-    final val AnyVal: N          = "AnyVal"
-    final val ExprApi: N         = "ExprApi"
-    final val Mirror: N          = "Mirror"
-    final val Nothing: N         = "Nothing"
-    final val Null: N            = "Null"
-    final val Object: N          = "Object"
-    final val PartialFunction: N = "PartialFunction"
-    final val PrefixType: N      = "PrefixType"
-    final val Product: N         = "Product"
-    final val Serializable: N    = "Serializable"
-    final val Singleton: N       = "Singleton"
-    final val Throwable: N       = "Throwable"
+    final val AbstractFunction: N    = "AbstractFunction"
+    final val Any: N                 = "Any"
+    final val AnyVal: N              = "AnyVal"
+    final val ExprApi: N             = "ExprApi"
+    final val Function: N            = "Function"
+    final val Mirror: N              = "Mirror"
+    final val Nothing: N             = "Nothing"
+    final val Null: N                = "Null"
+    final val Object: N              = "Object"
+    final val PartialFunction: N     = "PartialFunction"
+    final val PrefixType: N          = "PrefixType"
+    final val Product: N             = "Product"
+    final val Serializable: N        = "Serializable"
+    final val Singleton: N           = "Singleton"
+    final val Throwable: N           = "Throwable"
+    final val Tuple: N               = "Tuple"
 
     final val ClassfileAnnotation: N = "ClassfileAnnotation"
     final val ClassManifest: N       = "ClassManifest"