| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | SI-6022 cleaner model of variable equality modulo <: | Adriaan Moors | 2012-08-09 | 1 | -0/+20 |
| a more conservative "excludes": no need to reason about types (TODO: check we don't get any spurious unreachability errors in the eclipse build, which is a good canary for this kind of thing) | |||||
 |
index : scala | |
| The Scala programming language |
| summaryrefslogtreecommitdiff |