From cf1405f7527b7888e3e63ef7177bacb958dff34d Mon Sep 17 00:00:00 2001 From: Liu Fengyun Date: Fri, 24 Apr 2020 16:35:34 +0200 Subject: [PATCH] Update documentation (thanks @smarter) --- .../src/dotty/tools/dotc/transform/patmat/Space.scala | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/compiler/src/dotty/tools/dotc/transform/patmat/Space.scala b/compiler/src/dotty/tools/dotc/transform/patmat/Space.scala index 279366e4405b..776ebf076aa3 100644 --- a/compiler/src/dotty/tools/dotc/transform/patmat/Space.scala +++ b/compiler/src/dotty/tools/dotc/transform/patmat/Space.scala @@ -79,11 +79,11 @@ trait SpaceLogic { /** Is `tp1` a subtype of `tp2`? */ def isSubType(tp1: Type, tp2: Type): Boolean - /** Whether we may assume the two Unapply the same? - * That is, given the same parameter, returns the same result. + /** True if we can assume that the two unapply methods are the same. + * That is, given the same parameter, they return the same result. * - * This is more general than purity, as the same `unapply` method may - * take different prefix, thus behaves differently. + * We assume that unapply methods are pure, but the same method may + * be called with different prefixes, thus behaving differently. */ def isSameUnapply(tp1: TermRef, tp2: TermRef): Boolean