summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/all.T
Commit message (Expand)AuthorAgeFilesLines
* Support "unusable UNPACK pragma" warning with -O0Krzysztof Gogolewski2023-02-011-1/+1
* Enable -Wstar-is-type by default (#22759)Vladislav Zavialov2023-01-271-1/+0
* Refactor the treatment of loopy superclass dictsRichard Eisenberg2023-01-251-0/+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
* Suggest similar names when reporting types in terms (#19978)Vladislav Zavialov2021-06-251-0/+1
* Make some simple primops levity-polymorphicsheaf2021-06-041-0/+2
* Redesign withDict (formerly magicDict)Ryan Scott2021-04-291-0/+1
* Add regression test for T19615Matthew Pickering2021-04-121-0/+1
* Avoid fundep-caused loop in the typecheckerSimon Peyton Jones2021-03-311-0/+1
* Fixes to dealing with the export of mainSimon Peyton Jones2021-03-091-0/+8
* Implement BoxedRep proposalwip/boxed-repBen Gamari2021-03-071-0/+1
* Unify result type earlier to improve error messagesSimon Peyton Jones2021-03-011-0/+1
* Improve handling of overloaded labels, literals, lists etcwip/T19154Simon Peyton Jones2021-02-191-0/+1
* Remove some redundant validity checks.Richard Eisenberg2021-01-271-0/+2
* Fix error recovery in solveEqualitiesSimon Peyton Jones2021-01-221-0/+1
* Show missing field types (#18869)Sylvain Henry2021-01-171-0/+1
* Never Anyify during kind inferenceRichard Eisenberg2021-01-091-0/+5
* INLINE pragma for patterns (#12178)Cale Gibbard2020-12-311-0/+1
View Lorry Controller Status