summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/all.T
Commit message (Expand)AuthorAgeFilesLines
* 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
* Test cases for #15772 and #17139.Richard Eisenberg2020-12-251-0/+1
* Require ScopedTypeVariables+TypeApplications to use type applications in patt...Ryan Scott2020-12-241-0/+1
* Revert "Implement BoxedRep proposal"Ben Gamari2020-12-151-1/+0
* Implement BoxedRep proposalAndrew Martin2020-12-141-0/+1
* Implement type applications in patternsCale Gibbard2020-12-141-0/+10
* Fix kind inference for data types. Again.Simon Peyton Jones2020-12-081-0/+2
* Remove flattening variablesRichard Eisenberg2020-12-011-0/+1
* Use tcSplitForAllInvisTyVars (not tcSplitForAllTyVars) in more placesRyan Scott2020-11-151-0/+1
* Check for large tuples more thoroughlywip/T18723Ryan Scott2020-10-291-0/+3
* Regression test for #10709.Richard Eisenberg2020-09-301-0/+2
* Improve kind generalisation, error messagesSimon Peyton Jones2020-09-241-0/+4
* Disallow constraints in KindSigCtxtRyan Scott2020-09-211-0/+1
* Fail eagerly on a lev-poly datacon argRichard Eisenberg2020-08-061-0/+1
* Clean up the inferred type variable restrictionRyan Scott2020-07-301-1/+1
* Improve handling of data type return kindswip/T18300Simon Peyton Jones2020-07-031-0/+3
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-051-1/+2
* Explicit SpecificityGert-Jan Bottu2020-05-211-0/+10
* Make isTauTy detect higher-rank contextsRyan Scott2020-05-061-0/+1
* Do eager instantation in termsSimon Peyton Jones2020-04-221-0/+1
* Run checkNewDataCon before constraint-solving newtype constructorsRyan Scott2020-03-291-0/+1
* Use export list of Main module in function TcRnDriver.hs:check_main (Fix #16453)Roland Senn2020-03-251-0/+4
View Lorry Controller Status