summaryrefslogtreecommitdiff
path: root/testsuite/tests/backpack/should_fail/bkpfail25.stderr
Commit message (Expand)AuthorAgeFilesLines
* Standalone kind signatures (#16794)wip/top-level-kind-signaturesVladislav Zavialov2019-09-251-1/+3
* Subtyping for roles in signatures.Edward Z. Yang2017-02-261-1/+2
* Treat all TyCon with hole names as skolem abstract.Edward Z. Yang2017-02-261-1/+1
* Say 'data' explicitly in IfAbstractTyCon output.Edward Z. Yang2017-02-171-1/+1
* Setup more error context for Backpack operations.Edward Z. Yang2017-02-121-4/+5
* Reduce qualification in error messages from signature matching.Edward Z. Yang2016-12-081-3/+3
* Replace -fshow-source-paths with -fhide-source-pathsSylvain Henry2016-11-291-4/+4
* Make default output less verbose (source/object paths)Sylvain HENRY2016-11-111-4/+4
* New story for abstract data types in hsig files.Edward Z. Yang2016-10-201-0/+22