Fix #16411 by making dataConCannotMatch aware of (~~)
[ghc.git] / testsuite / tests / typecheck / should_compile / all.T
2019-03-13  Ryan ScottFix #16411 by making dataConCannotMatch aware of (~~)
2019-03-11  Krzysztof GogolewskiAdd a test for Trac #13951
2019-03-11  Alec TheriaultIgnore more version numbers in the testsuite
2019-02-12  Richard EisenbergFix #16188
2019-02-08  Richard EisenbergFix #14729 by making the normaliser homogeneous
2019-02-02  Ryan ScottReject oversaturated VKAs in type family equations
2019-01-30  Ben Gamaritestsuite: Use makefile_test
2019-01-30  Ben GamariRevert "Batch merge"
2019-01-30  Ben GamariBatch merge
2019-01-27  Ben Gamaritestsuite: Add tests from #11982
2019-01-13  Ryan ScottDon't invoke dataConSrcToImplBang on newtypes
2019-01-03  mynguyenVisible kind application
2018-12-20  Simon Peyton JonesAdd solveLocalEqualities to tcHsPatSigType
2018-12-11  Shayne FletcherEnable rebindable fail with overloaded strings
2018-12-11  Ryan ScottFix #16008 with a pinch of addConsistencyConstraints
2018-12-03  Ryan ScottAdd test cases for #7503, #14451
2018-11-01  Vladislav ZavialovLower precedence for {-# UNPACK #-}
2018-10-25  Simon Peyton JonesRemove a zonkTcTyVarToTyVar
2018-10-23  Ben GamariAdd 'hadrian/' from commit '45f3bff7016a2a0cd9a5455a882...
2018-09-05  Ben Gamaritestsuite: Add test for #15368
2018-09-04  Krzysztof GogolewskiAdd a test for Trac #15586
2018-08-23  Simon Peyton JonesFix a typo in TcValidity.checkFamInstRhs
2018-08-17  Ryan ScottBe mindful of GADT tyvar order when desugaring record...
2018-08-07  Ben Gamaritestsuite: Add (broken) test for #15473
2018-08-06  Alp Mestanogullarifix timeout related i686 validation issues
2018-08-06  Joachim BreitnerAllow scoped type variables refer to types
2018-08-02  Richard EisenbergRemove decideKindGeneralisationPlan
2018-07-27  Krzysztof GogolewskiAdd an expect_broken test for #14185
2018-07-25  Simon Peyton JonesTreat isConstraintKind more consistently
2018-07-24  Matthías Páll Giss... Clone relevant constraints to avoid side-effects on...
2018-07-24  Simon Peyton JonesFix a nasty bug in piResultTys
2018-07-23  Simon Peyton JonesStop marking soluble ~R# constraints as insoluble
2018-06-18  Gabor GreifTypofixes in docs and comments [ci skip]
2018-06-16  Zubin DuggalPreserve parenthesis in function application in typechecker
2018-06-15  Kirill ZaborskyFix #13833: accept type literals with no FlexibleInstances
2018-06-14  Vladislav ZavialovEmbrace -XTypeInType, add -XStarIsType
2018-06-14  Félix Baylac-JacquéMake Control.Exception.throw levity polymorphic.
2018-06-08  Ben Gamaritypecheck: Don't warn about "redundant" TypeError const...
2018-06-07  Ben Gamaritestsuite: Add test for #15232
2018-06-04  Simon Peyton JonesImplement QuantifiedConstraints
2018-05-30  Matthías Páll Giss... Improved Valid Hole Fits
2018-05-30  Alp MestanogullariT14732 now passes with the profasm way
2018-05-26  Ryan ScottAdd regression test for #11766
2018-05-20  Alp MestanogullariAnother batch of './validation --slow' tweaks
2018-05-14  Alp MestanogullariFix another batch of `./validate --slow` failures
2018-04-27  Simon Peyton JonesMake out-of-scope errors more prominent
2018-04-23  Joachim BreitnerAdd testcase for #15050
2018-04-19  Alp Mestanogullaritestsuite: Fix `./validate --slow`
2018-04-02  Richard EisenbergMark test as expected to pass.
2018-04-01  Richard EisenbergTrack type variable scope more carefully.
2018-03-26  Richard EisenbergFix #12919 by making the flattener homegeneous.
2018-03-19  Ryan ScottFix #14934 by including axSub0R in typeNatCoAxiomRules
2018-02-18  Matthías Páll Giss... Add valid refinement substitution suggestions for typed...
2018-02-16  Ryan ScottFix #14811 by wiring in $tcUnit#
2018-02-08  Simon Peyton JonesFix isDroppableCt (Trac #14763)
2018-02-07  Simon Peyton JonesFix solveOneFromTheOther for RecursiveSuperclasses
2018-02-01  Simon Peyton JonesAdd -ddump-ds-preopt
2018-01-31  Simon Peyton JonesLook inside implications in simplifyRule
2018-01-31  Simon Peyton JonesPrioritise equalities when solving, incl deriveds
2018-01-18  Matthías Páll Giss... Inform hole substitutions of typeclass constraints...
2018-01-04  Simon Peyton JonesDrop dead Given bindings in setImplicationStatus
2017-12-21  Ryan ScottImprove treatment of sectioned holes
2017-12-01  Edward Z. YangMake use of boot TyThings during typechecking.
2017-11-22  Ben GamariUpdate Hadrian
2017-11-22  Vladislav ZavialovTest Trac #14488
2017-11-22  Evan Rutledge BordenAdd warn-missing-export-lists
2017-11-15  Andrey MokhovPull recent Hadrian changes from upstream
2017-11-10  Ben GamariMerge commit '5229c43ccf77bcbffeced01dccb27398d017fa34'
2017-11-09  Ben GamariMerge initial Hadrian snapshot
2017-11-08  Simon Peyton JonesFix another dark corner in the shortcut solver
2017-11-06  Andrey MokhovMerge commit '7b0b9f603bb1215e2b7af23c2404d637b95a4988...
2017-10-25  Daishi NakajimaImplement `-Wpartial-fields` warning (#7169)
2017-10-20  Simon Peyton JonesImprove kick-out in the constraint solver
2017-10-18  Simon Peyton JonesBetter solving for representational equalities
2017-10-03  Ryan ScottTrack the order of user-written tyvars in DataCon
2017-10-03  Simon Peyton JonesFix bug in the short-cut solver
2017-09-21  Matthías Páll Giss... Also show types that subsume a hole as valid substituti...
2017-08-31  Simon Peyton JonesReally fix Trac #14158
2017-08-29  Ben Gamaritestsuite: Add test for #14128
2017-08-29  Simon Peyton JonesUse a well-kinded substitution to instantiate
2017-08-24  Simon Peyton JonesFix defer-out-of-scope-variables
2017-08-17  Ryan ScottRemove unneeded reqlibs for mtl and parsec in the GHC...
2017-07-31  Simon Peyton JonesReject top-level banged bindings
2017-07-20  Ben GamariHsPat: Assume that no spliced patterns are irrefutable
2017-07-20  Ben GamariTypeable: Ensure that promoted data family instance...
2017-07-19  Ryan ScottAllow visible type application for []
2017-06-29  Simon Peyton JonesFix lexically-scoped type variables
2017-06-28  Simon Peyton JonesFix constraint solving for forall-types
2017-06-27  Ben GamariTreat banged bindings as FunBinds
2017-06-27  Ben Gamaritypecheck: Consider types containing coercions non...
2017-06-27  Ben Gamaritestsuite: Add broken test for #13871
2017-06-19  Ben Gamaritestsuite: Add testcase for #13822
2017-06-16  Simon Peyton JonesFix the treatment of 'closed' definitions
2017-06-05  Simon Peyton JonesMake the MR warning more accurage
2017-05-11  Ben Gamaritestsuite: Fix location of T13594 test
2017-05-11  Ryan ScottAdd regression test for #12850
2017-05-06  Ryan ScottAdd regression test for #13651
2017-05-03  Richard EisenbergTest #13585 in typecheck/should_compile/T13585
2017-05-03  Richard EisenbergFix #13333 by fixing the covar's type in ctEvCoercion
2017-04-28  Ryan ScottAdd regression test for #12104
next