summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail
Commit message (Expand)AuthorAgeFilesLines
* Add structured error messages for GHC.Tc.TyCl.PatSynTorsten Schmits2023-03-237-0/+33
* Add structured error messages for GHC.Tc.Utils.TcMTypeTorsten Schmits2023-03-228-9/+10
* Fixes #19627.Apoorv Ingle2023-03-093-0/+154
* Don't suppress *all* WantedsRichard Eisenberg2023-03-023-0/+39
* Fix ParallelListComp out of scope suggestionAaron Allen2023-02-243-1/+8
* Explicit migration timeline for loopy SC solvingsheaf2023-02-234-5/+5
* Narrow the dont-decompose-newtype testSimon Peyton Jones2023-02-165-0/+43
* Introduce warning for loopy superclass solvesheaf2023-02-145-45/+49
* CI: JavaScript backend runs testsuitedoyougnu2023-02-021-2/+1
* Support "unusable UNPACK pragma" warning with -O0Krzysztof Gogolewski2023-01-311-1/+1
* Convert diagnostics in GHC.Rename.Bind to proper TcRnMessage (#20115)Andrei Borzenkov2023-01-281-1/+1
* Enable -Wstar-is-type by default (#22759)Vladislav Zavialov2023-01-183-118/+0
* testsuite: req_smp --> req_target_smp, req_ghc_smpSylvain Henry2023-01-181-1/+1
* Refactor the treatment of loopy superclass dictswip/T20666Richard Eisenberg2023-01-1114-25/+93
* Introduce the TypeAbstractions language flagVladislav Zavialov2023-01-111-1/+1
* Drop support for kind constraints.wip/p547Richard Eisenberg2022-12-246-29/+31
* Fix an assertion check in addToEqualCtListSimon Peyton Jones2022-12-213-0/+25
* checkValidInst: Don't expand synonyms when splitting sigma typesRyan Scott2022-12-153-0/+26
* Add Javascript backendSylvain Henry2022-11-291-2/+4
* Killing cc_fundeps, streamlining kind equality orientation, and type equality...Apoorv Ingle2022-11-299-11/+35
* Print unticked promoted data constructors (#20531)Vladislav Zavialov2022-11-2521-47/+47
* Convert diagnostics in GHC.Rename.Expr to proper TcRnMessage (#20115)Andrei Borzenkov2022-11-241-1/+1
* Type vs Constraint: finally nailedSimon Peyton Jones2022-11-1124-58/+80
* Use TcRnDiagnostic in GHC.Tc.TyCl.Instance (#20117)Giles Anderson2022-11-092-4/+4
* Testsuite: more precise test optionsSylvain Henry2022-10-261-2/+2
* Clearer error msg for newtype GADTs with defaulted kindFinley McIlwaine2022-10-138-17/+33
* 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
View Lorry Controller Status