summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/all.T
Commit message (Expand)AuthorAgeFilesLines
* JS: Fix h$base_access implementation (issue 22576)Josh Meredith2023-04-251-1/+1
* Convert diagnostics in GHC.Rename.HsType to proper TcRnMessageHaskell-mouse2023-04-031-0/+1
* Add structured error messages for GHC.Tc.TyClTorsten Schmits2023-04-011-0/+5
* [feat] make ($) representation polymorphicmangoiv2023-04-011-1/+0
* Handle records in the renamersheaf2023-03-291-0/+1
* Add structured error messages for GHC.Tc.TyCl.PatSynTorsten Schmits2023-03-231-0/+3
* Fixes #19627.Apoorv Ingle2023-03-091-0/+1
* Don't suppress *all* WantedsRichard Eisenberg2023-03-021-0/+1
* Fix ParallelListComp out of scope suggestionAaron Allen2023-02-241-1/+1
* Narrow the dont-decompose-newtype testSimon Peyton Jones2023-02-161-0/+3
* Introduce warning for loopy superclass solvesheaf2023-02-141-4/+4
* CI: JavaScript backend runs testsuitedoyougnu2023-02-021-2/+1
* Support "unusable UNPACK pragma" warning with -O0Krzysztof Gogolewski2023-01-311-1/+1
* Enable -Wstar-is-type by default (#22759)Vladislav Zavialov2023-01-181-1/+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-111-0/+2
* Drop support for kind constraints.wip/p547Richard Eisenberg2022-12-241-2/+2
* Fix an assertion check in addToEqualCtListSimon Peyton Jones2022-12-211-0/+1
* checkValidInst: Don't expand synonyms when splitting sigma typesRyan Scott2022-12-151-0/+1
* Add Javascript backendSylvain Henry2022-11-291-2/+4
* Killing cc_fundeps, streamlining kind equality orientation, and type equality...Apoorv Ingle2022-11-291-0/+1
* Type vs Constraint: finally nailedSimon Peyton Jones2022-11-111-0/+2
* Testsuite: more precise test optionsSylvain Henry2022-10-261-2/+2
* Clearer error msg for newtype GADTs with defaulted kindFinley McIlwaine2022-10-131-0/+1
* Use TcRnDiagnostic in GHC.Tc.TyCl.Class (#20117)Giles Anderson2022-08-291-0/+1
* testsuite: Add test for #21583Bryan Richter2022-08-181-0/+1
* testsuite: Use normalise_version more consistentlyBen Gamari2022-06-271-1/+1
* Use a class to check validity of withDictwip/withdictKrzysztof Gogolewski2022-05-271-1/+2
* Desugar RecordUpd in `tcExpr`wip/T18802CarrieMY2022-05-251-0/+1
* Make mkFunCo take AnonArgFlags into accountRyan Scott2022-04-301-0/+1
* Add test for #21338sheaf2022-04-081-0/+1
* Ensure implicit parameters are liftedsheaf2022-04-011-0/+1
* Implement \cases (Proposal 302)Jakob Bruenker2022-04-011-0/+1
* Add a regression test for #21130sheaf2022-03-161-0/+1
* Kill derived constraintsRichard Eisenberg2022-02-231-1/+22
* Kind TyCons: require KindSignatures, not DataKindssheaf2022-01-111-0/+1
* Add regression test for T20189Matthew Pickering2021-12-171-0/+1
* Allow boring class declarations in hs-boot filessheaf2021-11-251-0/+1
* Include "not more specific" info in overlap msgsheaf2021-11-201-0/+1
* Clarify hs-boot file default method restrictionssheaf2021-11-101-0/+1
* Use tcEqType in GHC.Core.Unify.uVarsheaf2021-10-221-1/+0
* Care about specificity in pattern type argsRichard Eisenberg2021-10-191-0/+1
* Introduce Concrete# for representation polymorphism checkssheaf2021-10-171-15/+0
* Reject type family equation with wrong name (#20260)Krzysztof Gogolewski2021-10-051-0/+1
* Bump TcLevel of failing kind equality implicationsheaf2021-10-041-0/+1
* Use eqType, not tcEqType, in metavar kind checkRichard Eisenberg2021-10-021-0/+1
* Improve error messages involving operators from Data.Type.OrdChristiaan Baaij2021-09-171-0/+1
* Don't look for TypeError in type family argumentssheaf2021-08-181-1/+2
* Fix type check error message grammar (fixes #20122)CarrieMY2021-07-281-0/+1
* Don't return unitExpr in dsWhenNoErrssheaf2021-07-101-0/+1
View Lorry Controller Status