summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_compile/T13032.stderr
Commit message (Expand)AuthorAgeFilesLines
* Reduce result discount in conSizeSimon Peyton Jones2020-07-131-1/+1
* Print Core type applications with no whitespace after @ (#17643)Ryan Scott2020-01-081-1/+1
* Make add_info attach unfoldings (#16615)Tobias Dammers2019-08-151-2/+7
* Fix #15039 by pretty-printing equalities more systematicallyRyan Scott2018-05-161-1/+1
* Drop dead Given bindings in setImplicationStatusSimon Peyton Jones2018-01-041-0/+20