Make MatchTypes value types

odersky · odersky · commit 189973bd7d91 · 2018-09-06T22:29:52.000+02:00
This allows to base more Tuple operations on types instead of rewrite terms
diff --git a/compiler/src/dotty/tools/dotc/core/Types.scala b/compiler/src/dotty/tools/dotc/core/Types.scala
@@ -3538,7 +3538,7 @@ object Types {
    *
    *  and `X_1,...X_n` are the type variables bound in `patternType`
    */
-  abstract case class MatchType(bound: Type, scrutinee: Type, cases: List[Type]) extends CachedProxyType with TermType {
+  abstract case class MatchType(bound: Type, scrutinee: Type, cases: List[Type]) extends CachedProxyType with ValueType {
 
     def derivedMatchType(bound: Type, scrutinee: Type, cases: List[Type])(implicit ctx: Context) =
       if (bound.eq(this.bound) && scrutinee.eq(this.scrutinee) && cases.eqElements(this.cases)) this

Original file line number	Diff line number	Diff line change
`@@ -3538,7 +3538,7 @@ object Types {`
`3538`	`3538`	`*`
`3539`	`3539`	* and `X_1,...X_n` are the type variables bound in `patternType`
`3540`	`3540`	`*/`
`3541`		`- abstract case class MatchType(bound: Type, scrutinee: Type, cases: List[Type]) extends CachedProxyType with TermType {`
	`3541`	`+ abstract case class MatchType(bound: Type, scrutinee: Type, cases: List[Type]) extends CachedProxyType with ValueType {`
`3542`	`3542`
`3543`	`3543`	`def derivedMatchType(bound: Type, scrutinee: Type, cases: List[Type])(implicit ctx: Context) =`
`3544`	`3544`	`if (bound.eq(this.bound) && scrutinee.eq(this.scrutinee) && cases.eqElements(this.cases)) this`