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. |