summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail
Commit message (Expand)AuthorAgeFilesLines
* Migrate errors to diagnostics in GHC.Tc.Modulesheaf2023-05-1510-31/+32
* Improve "ambiguous occurrence" error messagessheaf2023-05-153-11/+12
* Use the eager unifier in the constraint solverSimon Peyton Jones2023-05-1216-65/+181
* Don't panic in mkNewTyConRhssheaf2023-05-123-0/+90
* Add a test for #17284Krzysztof Gogolewski2023-05-113-0/+14
* Add structured error messages for GHC.Rename.UtilsTorsten Schmits2023-05-0516-19/+19
* JS: Fix h$base_access implementation (issue 22576)Josh Meredith2023-04-251-1/+1
* More informative errors for bad imports (#21826)Soham Chowdhury2023-04-251-2/+2
* Convert interface file loading errors into proper diagnosticsMatthew Pickering2023-04-181-6/+6
* Handle ConcreteTvs in inferResultToTypewip/T23153sheaf2023-04-151-1/+1
* Major refactor in the handling of equality constraintsSimon Peyton Jones2023-04-143-10/+8
* Convert diagnostics in GHC.Rename.HsType to proper TcRnMessageHaskell-mouse2023-04-038-12/+14
* Add structured error messages for GHC.Tc.TyClTorsten Schmits2023-04-0139-50/+105
* [feat] make ($) representation polymorphicmangoiv2023-04-014-15/+1
* Handle records in the renamersheaf2023-03-296-18/+20
* 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
View Lorry Controller Status