summaryrefslogtreecommitdiff
path: root/testsuite/tests/backpack/should_fail
Commit message (Expand)AuthorAgeFilesLines
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-051-4/+3
* Standalone kind signatures (#16794)wip/top-level-kind-signaturesVladislav Zavialov2019-09-2515-24/+54
* base: Remove `Monad(fail)` method and reexport `MonadFail(fail)` insteadHerbert Valerio Riedel2019-03-223-6/+6
* Ignore more version numbers in the testsuiteAlec Theriault2019-03-111-3/+3
* Bump base to version 4.12.0.0Ryan Scott2018-04-193-6/+6
* Bump version numbers: base-4.11.1.0, integer-gmp-1.0.2.0Ryan Scott2018-04-133-6/+6
* typecheck: Consistently use pretty quotes in error messagesBen Gamari2017-11-271-1/+1
* Bump base to 4.11.0.0Ben Gamari2017-09-213-6/+6
* Some tidying up of type pretty-printingSimon Peyton Jones2017-05-261-3/+3
* Only pretty-print binders in closed type families with -fprint-explicit-forallsRyan Scott2017-04-251-2/+2
* Better test coverage for module reexports in signatures.Edward Z. Yang2017-04-025-0/+39
* Save renamed syntax when signature merging.Edward Z. Yang2017-03-171-4/+0
* Improve error messages for skolemsSimon Peyton Jones2017-03-102-2/+2
* Fix roles merging to apply only to non-rep-injective types.Edward Z. Yang2017-03-023-0/+34
* Disallow non-nullary constraint synonyms on class.Edward Z. Yang2017-03-023-0/+38
* More comments on role subtyping, unsoundness fix.Edward Z. Yang2017-03-025-0/+80
* Subtyping for roles in signatures.Edward Z. Yang2017-02-262-2/+4
* Treat all TyCon with hole names as skolem abstract.Edward Z. Yang2017-02-265-5/+5
* Say 'data' explicitly in IfAbstractTyCon output.Edward Z. Yang2017-02-175-5/+5
* Improvements/bugfixes to signature reexport handling.Edward Z. Yang2017-02-172-4/+4
* Slightly reword not-exported message.Edward Z. Yang2017-02-125-7/+7
* Setup more error context for Backpack operations.Edward Z. Yang2017-02-1225-95/+141
* Fix #13214 by correctly setting up dep_orphs for signatures.Edward Z. Yang2017-02-113-0/+33
* Fix handling of closed type families in Backpack.Edward Z. Yang2017-01-113-0/+23
* Revamp Backpack/hs-boot handling of type class signatures.Edward Z. Yang2017-01-116-0/+55
* Improve Backpack support for fixities.Edward Z. Yang2017-01-115-0/+52
* Warn if you explicitly export an identifier with warning attached.Edward Z. Yang2017-01-111-0/+4
* Support for using only partial pieces of included signatures.Edward Z. Yang2017-01-1121-9/+138
* base: Bump version to 4.10.0.0Ben Gamari2016-12-153-6/+6
* Sanity check if we pick up an hsig file without -instantiated-with.Edward Z. Yang2016-12-122-2/+2
* Reduce qualification in error messages from signature matching.Edward Z. Yang2016-12-0814-50/+48
* Replace -fshow-source-paths with -fhide-source-pathsSylvain Henry2016-11-2927-103/+103
* Test for type synonym loops on TyCon.Edward Z. Yang2016-11-163-0/+27
* Make default output less verbose (source/object paths)Sylvain HENRY2016-11-1126-100/+100
* Mark previously failing backpack tests as passing, with correct output.Edward Z. Yang2016-10-208-21/+108
* New story for abstract data types in hsig files.Edward Z. Yang2016-10-2012-1/+212
* The Backpack patch.Edward Z. Yang2016-10-0841-0/+569
View Lorry Controller Status