Skip to content

[Deprecated] exhaustivity & redundancy check for pattern matching #1261

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
liufengyun wants to merge 11 commits into from
+3,321 −25
Closed

[Deprecated] exhaustivity & redundancy check for pattern matching #1261

Show file tree
Hide file tree
Changes from 1 commit
Commits
Show all changes
11 commits
Select commit Hold shift + click to select a range
5cdd42f
initial works
liufengyun May 11, 2016
9a0952c
support check java enum from classfile and source file
liufengyun May 24, 2016
fd1b286
fix false warning about Nil
liufengyun Jun 2, 2016
d681a78
suppress checking of for, try and partial functions
liufengyun Jun 3, 2016
da9511d
add GADT test
liufengyun Jun 11, 2016
89e8ff9
refine patmat check for type erasure
liufengyun Jun 11, 2016
b25e952
add tuple test to patmat check
liufengyun Jun 12, 2016
e2db834
add test t5440 for patmat check
liufengyun Jun 13, 2016
2d6e803
better warning for higher-kinded types and alias types
liufengyun Jun 15, 2016
f69b305
fix SI-9657 about type bounds
liufengyun Jun 23, 2016
c79181d
address counter-example of two unrelated traits
liufengyun Jul 3, 2016
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
address counter-example of two unrelated traits
  • Loading branch information
@liufengyun
liufengyun committed Jul 5, 2016
commit c79181d08230b5387fb74e0c9fa3de8a6c56830d
2 changes: 1 addition & 1 deletion src/dotty/tools/dotc/core/Types.scala
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -811,7 +811,7 @@ object Types {
}

/** Eliminate anonymous classes */
final def elimAnonymousClass(implicit ctx: Context): Type = this match {
final def deAnonymize(implicit ctx: Context): Type = this match {
case tp:TypeRef if tp.symbol.isAnonymousClass =>
tp.symbol.asClass.typeRef.asSeenFrom(tp.prefix, tp.symbol.owner)
case tp => tp
Expand Down
9 changes: 1 addition & 8 deletions src/dotty/tools/dotc/transform/PatternMatcher.scala
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -1254,13 +1254,6 @@ class PatternMatcher extends MiniPhaseTransform with DenotTransformer {thisTrans
case _ => false
}

def elimAnonymousClass(t: Type) = t match {
case t:TypeRef if t.symbol.isAnonymousClass =>
t.symbol.asClass.typeRef.asSeenFrom(t.prefix, t.symbol.owner)
case _ =>
t
}

/** Implement a pattern match by turning its cases (including the implicit failure case)
* into the corresponding (monadic) extractors, and combining them with the `orElse` combinator.
*
Expand All @@ -1274,7 +1267,7 @@ class PatternMatcher extends MiniPhaseTransform with DenotTransformer {thisTrans
def translateMatch(match_ : Match): Tree = {
val Match(sel, cases) = match_

val selectorTp = sel.tpe.widen.elimAnonymousClass/*withoutAnnotations*/
val selectorTp = sel.tpe.widen.deAnonymize/*withoutAnnotations*/

val selectorSym = freshSym(sel.pos, selectorTp, "selector")

Expand Down
Loading