summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail
Commit message (Expand)AuthorAgeFilesLines
* Explicit SpecificityGert-Jan Bottu2020-05-2121-0/+159
* Specify kind variables for inferred kinds in base.Baldur Blöndal2020-05-081-1/+1
* Make isTauTy detect higher-rank contextsRyan Scott2020-05-063-0/+49
* Refactor hole constraints.Richard Eisenberg2020-05-061-2/+2
* Do eager instantation in termsSimon Peyton Jones2020-04-2226-49/+76
* Modules: type-checker (#13009)Sylvain Henry2020-04-075-5/+5
* Run checkNewDataCon before constraint-solving newtype constructorsRyan Scott2020-03-293-0/+13
* Use export list of Main module in function TcRnDriver.hs:check_main (Fix #16453)Roland Senn2020-03-257-0/+24
* Simplify treatment of heterogeneous equalityRichard Eisenberg2020-03-204-8/+8
* Fix #17021 by checking more return kindsRichard Eisenberg2020-03-1722-61/+98
* Improve error handling for VTA + deferred type errorsSimon Peyton Jones2020-02-281-1/+2
* Always display inferred variables using bracesKrzysztof Gogolewski2020-02-1214-22/+29
* Do not create nested quantified constraintsRichard Eisenberg2020-02-112-0/+32
* Add a test for #15712Krzysztof Gogolewski2020-02-093-0/+25
* Add regression test for #17773Ryan Scott2020-02-053-0/+32
* Fix scoping of TyCon binders in TcTyClsDeclsSimon Peyton Jones2020-02-015-0/+30
* Fix more typos, via an improved Levenshtein-style correctorBrian Wignall2020-01-121-2/+2
* Don't zap to Any; error insteadRichard Eisenberg2020-01-124-29/+80
* Fix typos, via a Levenshtein-style correctorBrian Wignall2020-01-043-3/+3
* Do more validity checks for quantified constraintsRichard Eisenberg2019-12-163-0/+13
* Pretty-printing of the * kindVladislav Zavialov2019-12-052-2/+2
* Whitespace-sensitive bang patterns (#1087, #17162)wip/whitespace-and-lookaheadVladislav Zavialov2019-11-273-11/+14
* Strip parentheses in expressions contexts in error messagesVladislav Zavialov2019-11-196-12/+12
* Fix #17405 by not checking imported equationsRichard Eisenberg2019-11-105-50/+68
* Whitespace forward compatibility for proposal #229Vladislav Zavialov2019-10-304-4/+4
* Make isTcLevPoly more conservative with newtypes (#17360)Ryan Scott2019-10-243-0/+18
* Implement a coverage checker for injectivityRichard Eisenberg2019-10-237-7/+83
* Don't skip validity checks for built-in classes (#17355)Ryan Scott2019-10-153-0/+21
* Fix validity checking for inferred typesSimon Peyton Jones2019-10-124-0/+17
* Solve constraints from top-level groups soonerRichard Eisenberg2019-10-081-2/+2
* Add Monad instances to `(,,) a b` and `(,,,) a b c`Fumiaki Kinoshita2019-10-042-2/+2
* Standalone kind signatures (#16794)wip/top-level-kind-signaturesVladislav Zavialov2019-09-257-13/+21
* Test #17077.Richard Eisenberg2019-09-193-0/+14
* Improve error message for out-of-scope variables + VTASimon Peyton Jones2019-09-174-6/+9
* Rip out 9-year-old pattern variable hack (#17007)Ryan Scott2019-08-021-9/+9
* Line wrap when pp long expressions (fixes #16874)Alfredo Di Napoli2019-07-203-0/+25
* Refactor UnliftedNewtypes-relation kind signature validity checksRyan Scott2019-06-2311-12/+68
* Synchronize ClsInst.doTyConApp with TcTypeable validity checks (#15862)Ryan Scott2019-06-153-0/+65
* Implement the -XUnliftedNewtypes extension.Andrew Martin2019-06-1449-26/+361
* Fix #16517 by bumping the TcLevel for method sigsRichard Eisenberg2019-06-094-2/+13
* In hole fits, don't show VTA for inferred variables (#16456)Krzysztof Gogolewski2019-05-293-0/+19
* Add test for old issue displaying unboxed tuples in error messages (#502)Kevin Buhr2019-05-293-0/+23
* Fix tcfail158 (#15899)Krzysztof Gogolewski2019-05-272-4/+5
* Use HsTyPats in associated type family defaultsRyan Scott2019-05-221-5/+6
* Guard CUSKs behind a language pragmaVladislav Zavialov2019-05-143-0/+16
* Regression test for #16627.Richard Eisenberg2019-05-083-0/+21
* Make equality constraints in kinds invisibleRyan Scott2019-05-033-0/+29
* base: Remove `Monad(fail)` method and reexport `MonadFail(fail)` insteadHerbert Valerio Riedel2019-03-222-3/+3
* Reject nested predicates in impredicativity checkingRyan Scott2019-03-206-7/+23
* Improve error recovery in the typecheckerSimon Peyton Jones2019-03-161-22/+0
View Lorry Controller Status