summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail
Commit message (Expand)AuthorAgeFilesLines
* 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
* Update Trac ticket URLs to point to GitLabRyan Scott2019-03-1534-35/+35
* testsuite: Add testcase for #16394Ben Gamari2019-03-143-0/+18
* Use transSuperClasses in TcErrorsSimon Peyton Jones2019-03-123-0/+31
* Ignore more version numbers in the testsuiteAlec Theriault2019-03-111-2/+2
* Stop inferring over-polymorphic kindsSimon Peyton Jones2019-03-091-2/+2
* Be more careful when naming TyCon bindersSimon Peyton Jones2019-03-051-2/+2
* Treat kind/type variables identically, demolish FKTVVladislav Zavialov2019-02-275-15/+9
* Add AnonArgFlag to FunTySimon Peyton Jones2019-02-233-9/+4
* Remove Simon's special number from typecheck/should_fail/all.twip/unexpected-testMatthew Pickering2019-02-161-1/+0
* Fix tests which were made to pass by "Make a smart mkAppTyM"Matthew Pickering2019-02-161-1/+1
* 'forall' always a keyword, plus the dot type operatorVladislav Zavialov2019-02-153-6/+6
* Fail fast in solveLocalEqualitiesSimon Peyton Jones2019-02-1414-170/+24
* Fix #16188Richard Eisenberg2019-02-123-0/+29
* testsuite: Mark T14740 and tcfail159 as broken in debugged compilerBen Gamari2019-02-071-1/+1
* Reject oversaturated VKAs in type family equationsRyan Scott2019-02-015-0/+56
* testsuite: Use makefile_testBen Gamari2019-01-301-1/+1
* Revert "Batch merge"Ben Gamari2019-01-301-1/+1
* Batch mergeBen Gamari2019-01-301-1/+1
* Control validity-checking of type synonym applications more carefullyRyan Scott2019-01-1511-13/+84
* Visible kind applicationmynguyen2019-01-0318-2/+240
* testsuite: Fix a variety of issues when building with integer-simpleBen Gamari2018-12-241-1/+1
* Fix #16002 by moving a validity check to the renamerRyan Scott2018-12-201-4/+4
* Refine the suppression of RuntimeRep variablesSimon Peyton Jones2018-12-203-0/+28
* don't suggest Rank2Types in error messages (Fixed #16000)chessai2018-12-195-5/+5
* testsuite: Normalise away spurious differences in out-of-scope instancesBen Gamari2018-12-121-2/+2
* Fix #12102/#15872 by removing outdated users' guide proseRyan Scott2018-12-073-0/+24
* Fix #15954 by rejigging check_type's orderRyan Scott2018-12-034-3/+26
* Add a test case for #15962Chaitanya Koparkar2018-11-293-0/+55
* Taming the Kind Inference MonsterSimon Peyton Jones2018-11-297-20/+18
* Overhaul -fprint-explicit-kinds to use VKARyan Scott2018-11-223-16/+11
* Fix #12906: GHC fails to typecheck Main module without mainRoland Senn2018-11-173-1/+18
* Smarter HsType pretty-print for promoted dataconsSimon Peyton Jones2018-11-151-6/+6
* Lower precedence for {-# UNPACK #-}Vladislav Zavialov2018-11-012-5/+32
* Don't lint erroneous programs.Richard Eisenberg2018-11-013-0/+15
* Actually fail in failIfEmitsConstraintsRichard Eisenberg2018-11-013-25/+0
* Finish fix for #14880.Tobias Dammers2018-10-284-9/+11
* Test Trac #15648Simon Peyton Jones2018-10-254-0/+61
View Lorry Controller Status