Code

Fix #3324: add isInstanceOf check#4045

Code

Merged

liufengyun merged 30 commits intoscala:masterscala/scala3:masterfrom dotty-staging:fix-3324dotty-staging/dotty:fix-3324Copy head branch name to clipboardApr 5, 2018

+384-7

Commits

Commits on Apr 5, 2018

• Fix scala#3324: introduce IsInstanceOfChecker

  Show description for b96b5cc
  liufengyun

  committed
  b96b5cc

  Copy full SHA for b96b5cc

• handle Array in isInstanceOf check

  liufengyun

  committed
  94d8313

  Copy full SHA for 94d8313

• fix check for Array

  liufengyun

  committed
  0b9f8a8

  Copy full SHA for 0b9f8a8

• fix runtime check warning for canEqual & equals of case class

  liufengyun

  committed
  4c2436b

  Copy full SHA for 4c2436b

• fix test group

  liufengyun

  committed
  ce22485

  Copy full SHA for ce22485

• fix typo in numbering of rules

  liufengyun

  committed
  825dbdf

  Copy full SHA for 825dbdf

• add more tests

  liufengyun

  committed
  183be33

  Copy full SHA for 183be33

• fix nested @unchecked

  liufengyun

  committed
  974a7c1

  Copy full SHA for 974a7c1

• add test case

  liufengyun

  committed
  daf2260

  Copy full SHA for daf2260

• adapt specification

  liufengyun

  committed
  9ee4518

  Copy full SHA for 9ee4518

• tune specification

  liufengyun

  committed
  545930d

  Copy full SHA for 545930d

• Fix scala#1828: add test

  liufengyun

  committed
  8719a88

  Copy full SHA for 8719a88

• Allow test for abstract types if it is always true

  liufengyun

  committed
  5fc5db0

  Copy full SHA for 5fc5db0

• code refactoring

  liufengyun

  committed
  d263372

  Copy full SHA for d263372

• fix test for abstract types

  liufengyun

  committed
  3f12d28

  Copy full SHA for 3f12d28

• adapt specification for unrelated types

  liufengyun

  committed
  ed13d25

  Copy full SHA for ed13d25

• Fix GADT test failures

  liufengyun

  committed
  a90f060

  Copy full SHA for a90f060

• fix fromTasty test

  liufengyun

  committed
  37f4e32

  Copy full SHA for 37f4e32

• Adapt specification to handle narrowed GADT bounds

  liufengyun

  committed
  ac696da

  Copy full SHA for ac696da

• WIP - address review

  liufengyun

  committed
  e836b71

  Copy full SHA for e836b71

• add more tests

  liufengyun

  committed
  7adc838

  Copy full SHA for 7adc838

• instantiate if current class is final

  liufengyun

  committed
  734afb3

  Copy full SHA for 734afb3

• fix test

  liufengyun

  committed
  5348b31

  Copy full SHA for 5348b31

• ignore GADT related issues for now

  liufengyun

  committed
  0d84bcc

  Copy full SHA for 0d84bcc

• add classTag test

  liufengyun

  committed
  f3d1d90

  Copy full SHA for f3d1d90

• address review

  liufengyun

  committed
  ac0ec6d

  Copy full SHA for ac0ec6d

• address review

  liufengyun

  committed
  2b23c69

  Copy full SHA for 2b23c69

• use isPatternTypeSymbol to avoid duplicate

  liufengyun

  committed
  c31c917

  Copy full SHA for c31c917

• move pos test to pos-special/isInstanceOf

  liufengyun

  committed
  a05074d

  Copy full SHA for a05074d

• fix tests

  liufengyun

  committed
  2b00b7a

  Copy full SHA for 2b00b7a