| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Unit test for recent bug fix in LUBs | Jason Zaugg | 2016-08-23 | 1 | -0/+11 |
| * | Improved refinement type and existential type handling | Jason Zaugg | 2016-08-23 | 1 | -0/+59 |
| * | Type#contains should peer into RefinementTypeRef-s | Jason Zaugg | 2016-08-19 | 1 | -0/+11 |
| * | SI-9542 Unify different reprs. of module type refs | Jason Zaugg | 2016-02-01 | 1 | -1/+27 |
| * | SI-8611 Avoid accidental patmat unification with refinement types | Jason Zaugg | 2014-06-10 | 1 | -0/+35 |
 |
index : scala | |
| The Scala programming language |
| summaryrefslogtreecommitdiff |