| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Fix 1365: Fix bindings in patterns | Martin Odersky | 2016-07-09 | 1 | -0/+13 |
| We need to compare pattern types with expected types in order to derive knowledge about pattern-bound variables. This is done use the mechanism of gadt bounds. | |||||
 |
index : dotty | |
| Research platform for new language concepts and compiler technologies for Scala. |
| aboutsummaryrefslogtreecommitdiff |