summaryrefslogtreecommitdiff
path: root/testsuite/tests/th/T14060.stdout
Commit message (Expand)AuthorAgeFilesLines
* TH: Fix pretty printing of newtypes with operators and GADT syntax (#20868)Zubin Duggal2022-03-191-7/+7
* Implement a coverage checker for injectivityRichard Eisenberg2019-10-231-1/+1
* Built-in Natural literals in CoreSylvain Henry2018-06-151-2/+2
* Fix #14060 by more conservatively annotating TH-reified typesRyan Scott2017-08-141-0/+11