summaryrefslogtreecommitdiff
path: root/testsuite/tests/ghci/scripts/T15546.stdout
Commit message (Expand)AuthorAgeFilesLines
* Standalone kind signatures (#16794)wip/top-level-kind-signaturesVladislav Zavialov2019-09-251-2/+4
* Fix testmniip2019-08-071-1/+1
* Explicitly number equations when printing axiom incompatibilitiesmniip2019-08-071-3/+3
* Fix testmniip2019-08-071-9/+7
* Add a -fprint-axiom-incomps option (#15546)mniip2019-08-071-0/+11