Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Sharpen prototypes of implicit methods. | Martin Odersky | 2015-06-25 | 1 | -0/+15 |
Necessary to make implicit resolution of type-level peano numbers work. The current commit makes takes the inimal steps to make this happen. We could also consider sharpening using followAlias every type we constrain a result, or every time we adapt a type. |