Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | SI-9398 Treat case classes as one-element ADTs for analysis | Jason Zaugg | 2016-01-29 | 1 | -0/+1 |
| | | | | | | | | Currently, exhaustivity analysis only runs for scrutinees with a sealed type. This commit treats any case class as a one-element, sealed type to enable additional analysis, such as in the new test case. | ||||
* | SI-5899 exhaustiveness for non-class types | Adriaan Moors | 2012-06-26 | 1 | -0/+19 |