Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Merge tests into a larger file (part 3 of ∞: generics) (#9347) | Miran | 2018-10-14 | 1 | -20/+0 |
| | | | | | | | | | | | | * merge generics issues tests * merge tgeneric * merge test with local imports * merge tcan tests * merge matcher tests * more issue tests merged * one more tcan test * merge various small tests into one file * add a test for #3717 | ||||
* | fixes #4863 | Andreas Rumpf | 2016-10-19 | 1 | -0/+20 |