Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Enable GADT matching for pattern values | Martin Odersky | 2016-11-24 | 1 | -0/+11 |
So far, only typed patterns an dunapply had GADT matching. i1737.scala shows that we need to do the same thing for objects. |
index : dotty | ||
Research platform for new language concepts and compiler technologies for Scala. |
aboutsummaryrefslogtreecommitdiff |
Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Enable GADT matching for pattern values | Martin Odersky | 2016-11-24 | 1 | -0/+11 |
So far, only typed patterns an dunapply had GADT matching. i1737.scala shows that we need to do the same thing for objects. |