summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/all.T
Commit message (Expand)AuthorAgeFilesLines
* 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
* Fix #17021 by checking more return kindsRichard Eisenberg2020-03-171-0/+2
* Do not create nested quantified constraintsRichard Eisenberg2020-02-111-0/+1
* Add a test for #15712Krzysztof Gogolewski2020-02-091-0/+1
* Add regression test for #17773Ryan Scott2020-02-051-0/+1
* Fix scoping of TyCon binders in TcTyClsDeclsSimon Peyton Jones2020-02-011-0/+2
* Don't zap to Any; error insteadRichard Eisenberg2020-01-121-0/+1
* Do more validity checks for quantified constraintsRichard Eisenberg2019-12-161-0/+1
* Make isTcLevPoly more conservative with newtypes (#17360)Ryan Scott2019-10-241-0/+1
* Implement a coverage checker for injectivityRichard Eisenberg2019-10-231-0/+2
* Don't skip validity checks for built-in classes (#17355)Ryan Scott2019-10-151-0/+1
* Fix validity checking for inferred typesSimon Peyton Jones2019-10-121-0/+1
* Test #17077.Richard Eisenberg2019-09-191-0/+1
* Improve error message for out-of-scope variables + VTASimon Peyton Jones2019-09-171-0/+1
* Line wrap when pp long expressions (fixes #16874)Alfredo Di Napoli2019-07-201-0/+1
* Refactor UnliftedNewtypes-relation kind signature validity checksRyan Scott2019-06-231-0/+3
* Synchronize ClsInst.doTyConApp with TcTypeable validity checks (#15862)Ryan Scott2019-06-151-0/+1
* Implement the -XUnliftedNewtypes extension.Andrew Martin2019-06-141-0/+18
* Fix #16517 by bumping the TcLevel for method sigsRichard Eisenberg2019-06-091-0/+1
* In hole fits, don't show VTA for inferred variables (#16456)Krzysztof Gogolewski2019-05-291-0/+1
* Add test for old issue displaying unboxed tuples in error messages (#502)Kevin Buhr2019-05-291-0/+1
* Fix tcfail158 (#15899)Krzysztof Gogolewski2019-05-271-2/+1
* Guard CUSKs behind a language pragmaVladislav Zavialov2019-05-141-0/+1
* Regression test for #16627.Richard Eisenberg2019-05-081-0/+1
* Make equality constraints in kinds invisibleRyan Scott2019-05-031-0/+1
* Reject nested predicates in impredicativity checkingRyan Scott2019-03-201-0/+1
View Lorry Controller Status