summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail
Commit message (Expand)AuthorAgeFilesLines
* Scrub partiality about `NewOrData`.M Farkas-Dyck2022-09-191-1/+1
* Diagnostic codes: acccept test changessheaf2022-09-13510-962/+970
* Use TcRnDiagnostic in GHC.Tc.TyCl.Class (#20117)Giles Anderson2022-08-293-0/+12
* Print constraints in quotes (#21167)Swann Moreau2022-08-1987-205/+208
* testsuite: Add test for #21583Bryan Richter2022-08-183-0/+113
* driver: Don't create LinkNodes when -no-link is enabledMatthew Pickering2022-07-281-5/+5
* Implement DeepSubsumptionSimon Peyton Jones2022-07-251-5/+5
* testsuite: Use normalise_version more consistentlyBen Gamari2022-06-271-1/+1
* Remove TcRnUnknownMessage usage from GHC.Rename.Env #20115uhbif192022-06-091-1/+1
* Deprecate TypeInType extensionHaskellMouse2022-06-0614-22/+28
* Use a class to check validity of withDictwip/withdictKrzysztof Gogolewski2022-05-279-32/+60
* Desugar RecordUpd in `tcExpr`wip/T18802CarrieMY2022-05-256-7/+85
* Improve error reporting in generated codeSimon Peyton Jones2022-05-042-5/+9
* Convert More Diagnostics (#20116)Ben Gamari2022-04-307-7/+7
* Make mkFunCo take AnonArgFlags into accountRyan Scott2022-04-303-0/+16
* Fix unification of ConcreteTvs, removing IsRefl#sheaf2022-04-281-4/+6
* Add test for #21338sheaf2022-04-083-0/+74
* Ensure implicit parameters are liftedsheaf2022-04-013-0/+16
* Implement \cases (Proposal 302)Jakob Bruenker2022-04-013-0/+44
* Change GHC.Prim to GHC.Exts in docs and testsKrzysztof Gogolewski2022-04-017-8/+8
* Add a regression test for #21130sheaf2022-03-163-0/+45
* Fix isLiftedType_maybe and handle falloutsheaf2022-03-144-4/+4
* Kill derived constraintsRichard Eisenberg2022-02-2364-191/+749
* Make implication tidying agree with Note [Tidying multiple names at once]Matthew Pickering2022-02-0511-66/+66
* compiler: Introduce and use RoughMap for instance environmentsBen Gamari2022-02-042-10/+10
* Rework the handling of SkolemInfoMatthew Pickering2022-01-294-19/+15
* Use diagnostic infrastructure in GHC.Tc.Errorssheaf2022-01-1714-26/+30
* Fix parsing & printing of unboxed sumssheaf2022-01-111-7/+5
* Kind TyCons: require KindSignatures, not DataKindssheaf2022-01-113-0/+17
* Check quoted TH names are in the correct namespacesheaf2022-01-041-6/+6
* Multiple Home UnitsMatthew Pickering2021-12-282-7/+7
* Add regression test for T20189Matthew Pickering2021-12-173-0/+20
* Allow boring class declarations in hs-boot filessheaf2021-11-255-0/+37
* Include "not more specific" info in overlap msgsheaf2021-11-2028-98/+113
* testsuite: check for FlexibleContexts in T17563Vladislav Zavialov2021-11-182-8/+9
* Increase type sharingBen Gamari2021-11-174-20/+17
* Instantiate field types properly in stock-derived instancesRyan Scott2021-11-154-22/+144
* Clarify hs-boot file default method restrictionssheaf2021-11-105-0/+61
* Don't default type variables in type familiessheaf2021-10-263-15/+31
* Use tcEqType in GHC.Core.Unify.uVarsheaf2021-10-223-26/+0
* Care about specificity in pattern type argsRichard Eisenberg2021-10-193-0/+20
* Introduce Concrete# for representation polymorphism checkssheaf2021-10-1734-452/+5
* Add defaulting plugins.Andrei Barbu2021-10-081-1/+1
* Improve overlap error for polykinded constraintssheaf2021-10-0610-28/+28
* Eradicate TcRnUnknownMessage from GHC.Tc.DerivAlfredo Di Napoli2021-10-052-2/+4
* Reject type family equation with wrong name (#20260)Krzysztof Gogolewski2021-10-053-0/+15
* Bump TcLevel of failing kind equality implicationsheaf2021-10-043-0/+28
* Use eqType, not tcEqType, in metavar kind checkRichard Eisenberg2021-10-023-0/+26
* Add more instances for SoloDavid Feuer2021-09-182-3/+3
* Improve pretty-printer defaulting logic (#19361)Krzysztof Gogolewski2021-09-174-16/+22
View Lorry Controller Status