diff options
author | odersky <odersky@gmail.com> | 2017-04-13 11:43:37 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-04-13 11:43:37 +0200 |
commit | b8ed254e38480eb8892eccd897d525d977d9e6a7 (patch) | |
tree | 902b9c8fa209f730746ef84dc895ff2710badd24 /compiler/src/dotty/tools/dotc/core | |
parent | 46e3395693b6f8749aa0b01b41b7d643f3bef5dc (diff) | |
parent | 3e04b6f3aa4e4088220f199bd6aa5c6644c22354 (diff) | |
download | dotty-b8ed254e38480eb8892eccd897d525d977d9e6a7.tar.gz dotty-b8ed254e38480eb8892eccd897d525d977d9e6a7.tar.bz2 dotty-b8ed254e38480eb8892eccd897d525d977d9e6a7.zip |
Merge pull request #2249 from dotty-staging/revert-product
Revert <: Product requierment in pattern matching
Diffstat (limited to 'compiler/src/dotty/tools/dotc/core')
-rw-r--r-- | compiler/src/dotty/tools/dotc/core/Definitions.scala | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/compiler/src/dotty/tools/dotc/core/Definitions.scala b/compiler/src/dotty/tools/dotc/core/Definitions.scala index a97589d73..eee6ba785 100644 --- a/compiler/src/dotty/tools/dotc/core/Definitions.scala +++ b/compiler/src/dotty/tools/dotc/core/Definitions.scala @@ -10,7 +10,6 @@ import scala.collection.{ mutable, immutable } import PartialFunction._ import collection.mutable import util.common.alwaysZero -import typer.Applications object Definitions { @@ -846,6 +845,9 @@ class Definitions { TupleType(elems.size).appliedTo(elems) } + def isProductSubType(tp: Type)(implicit ctx: Context) = + tp.derivesFrom(ProductType.symbol) + /** Is `tp` (an alias) of either a scala.FunctionN or a scala.ImplicitFunctionN? */ def isFunctionType(tp: Type)(implicit ctx: Context) = { val arity = functionArity(tp) |