Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | SI-9398 Treat case classes as one-element ADTs for analysis | Jason Zaugg | 2016-01-29 | 1 | -1/+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-6089 better tail position analysis for matches | Adriaan Moors | 2012-07-18 | 1 | -0/+13 |
we mistakenly went into apply nodes to look for matchEnd-labeldefs in tail positions -- only apply nodes that jump to labels in tailpos should be traversed (this arises for nested matches) |