testsuite: Add test for #16104
[ghc.git] / testsuite / tests / partial-sigs /
2019-01-03  mynguyenVisible kind application
2018-12-13  Ben Gamaritestsuite: Normalise away spurious differences in out...
2018-12-07  Simon Peyton JonesWibble to Taming the Kind Inference Monster
2018-11-29  Simon Peyton JonesTaming the Kind Inference Monster
2018-11-22  Ryan ScottOverhaul -fprint-explicit-kinds to use VKA
2018-11-22  Ryan ScottFix #15852 by eta expanding data family instance RHSes...
2018-10-26  Simon Peyton JonesFix nasty bug in the type free-var finder, at last
2018-10-24  Simon Peyton JonesRefactor the treatment of predicate types
2018-10-24  Simon Peyton JonesImprove output from -ddump-types
2018-10-23  Ben GamariAdd 'hadrian/' from commit '45f3bff7016a2a0cd9a5455a882...
2018-10-15  Vladislav ZavialovEnable -Wcompat=error in the testsuite
2018-10-04  Simon Peyton JonesBetter -ddump-types
2018-08-01  Vladislav ZavialovFix #15415 and simplify tcWildCardBinders
2018-07-16  Vladislav ZavialovDo not imply NoStarIsType by TypeOperators/TypeInType
2018-07-11  Ryan ScottUse IfaceAppArgs to store an IfaceAppTy's arguments
2018-07-10  Richard EisenbergUnwrap casts before checking vars in eager unifier
2018-07-05  Simon Peyton JonesRefactor validity checking for constraints
2018-06-15  Sylvain HenryBuilt-in Natural literals in Core
2018-06-14  Vladislav ZavialovEmbrace -XTypeInType, add -XStarIsType
2018-05-30  Matthías Páll Giss... Improved Valid Hole Fits
2018-05-24  Ryan ScottClean up the conflicting data family instances error...
2018-05-21  Ben Gamarighc-prim: Bump version
2018-05-20  Alp MestanogullariAnother batch of './validation --slow' tweaks
2018-05-18  Simon Peyton JonesOrient TyVar/TyVar equalities with deepest on the left
2018-05-18  Ryan ScottAdd regression tests for #11515 and #12563
2018-05-16  Ryan ScottFix #15039 by pretty-printing equalities more systemati...
2018-05-15  Simon Peyton JonesTidy up error suppression
2018-05-05  Sebastian GrafAdd 'addWordC#' PrimOp
2018-04-19  Ryan ScottBump base to version 4.12.0.0
2018-04-13  Ryan ScottBump version numbers: base-4.11.1.0, integer-gmp-1...
2018-04-01  Richard EisenbergTrack type variable scope more carefully.
2018-03-23  Ryan ScottAllow PartialTypeSignatures in standalone deriving...
2018-03-05  Simon Peyton JonesSimplify rnLHsInstType
2018-02-01  Ben Gamaritestsuite: Fix test output of T14715
2018-01-31  Simon Peyton JonesMove zonkWC to the right place in simplfyInfer
2018-01-09  Simon Peyton JonesFix two more bugs in partial signatures
2017-12-21  Simon Peyton JonesFix floating of equalities
2017-12-21  Simon Peyton JonesCheck for bogus quantified tyvars in partial type sigs
2017-12-12  Ryan ScottAdd regression test for #14040
2017-11-27  Simon Peyton JonesCheck quantification for partial type signatues
2017-11-22  Ben GamariUpdate Hadrian
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 JonesMinimise provided dictionaries in pattern synonyms
2017-11-06  Andrey MokhovMerge commit '7b0b9f603bb1215e2b7af23c2404d637b95a4988...
2017-10-16  Herbert Valerio... Bump ghc-prim to 0.5.2.0 and update changelog
2017-09-25  Simon Peyton JonesImprove type-error reporting
2017-09-25  Simon Peyton JonesDeal with large extra-contraints wildcards
2017-09-21  Matthías Páll Giss... Also show types that subsume a hole as valid substituti...
2017-09-21  Ben GamariBump base to 4.11.0.0
2017-09-04  Herbert Valerio... Move NonEmpty definition into GHC.Base
2017-07-23  Ben Gamarighc-prim: Bump version
2017-07-22  Ryan ScottFix ungrammatical error message
2017-05-26  Simon Peyton JonesSome tidying up of type pretty-printing
2017-04-25  Ryan ScottOnly pretty-print binders in closed type families with...
2017-04-13  Simon Peyton JonesYet more work on TcSimplify.simplifyInfer
2017-04-11  Gabor GreifTypos in comments [ci skip]
2017-04-06  Simon Peyton JonesBe less aggressive about fragile-context warrnings
2017-03-17  Richard EisenbergRemove solveSomeEqualities
2017-03-14  Richard EisenbergFix #13337.
2017-03-10  Simon Peyton JonesImprove error messages for skolems
2017-03-10  Simon Peyton JonesFix TcSimplify.decideQuantification for kind variables
2017-02-28  Ben GamariTry submodule bumps again
2017-02-26  Reid Bartontests: remove extra_files.py (#12223)
2017-02-22  Ben GamariRevert recent submodule bumps
2017-02-22  Ben GamariBump Cabal and containers submodules
2017-02-18  Ben GamariGeneralize kind of the (->) tycon
2017-01-22  Thomas MiedemaRemove clean_cmd and extra_clean usage from .T files
2017-01-20  Phil de JouxShow explicit quantifiers in conflicting definitions...
2016-12-15  Ben Gamaribase: Bump version to 4.10.0.0
2016-12-07  Alan ZimmermanAdd HsSyn prettyprinter tests
2016-11-29  Sylvain HenryReplace -fshow-source-paths with -fhide-source-paths
2016-11-25  Simon Peyton JonesFix inference of partial signatures
2016-11-25  Simon Peyton JonesTest Trac #12845
2016-11-25  Simon Peyton JonesAnother major constraint-solver refactoring
2016-11-12  Sylvain HENRYMake default output less verbose (source/object paths)
2016-11-05  Mikhail VorozhtsovHandle types w/ type variables in signatures inside...
2016-10-28  Ryan ScottAdd test for #12732
2016-10-21  Simon Peyton JonesA collection of type-inference refactorings.
2016-09-29  Simon Peyton JonesTest Trac #12634
2016-08-30  Edward Z. YangMissing stderr for T12531.
2016-08-26  Simon Peyton JonesAllow typed holes to be levity-polymorphic
2016-08-17  Simon Peyton JonesNot-in-scope variables are always errors
2016-07-14  Joachim BreitnertidyOccNames: Rename variables fairly
2016-06-28  Simon Peyton JonesDon't omit any evidence bindings
2016-06-23  Simon Peyton JonesNarrow the warning for simplifiable constraints
2016-06-20  Thomas MiedemaTestsuite: remove Windows CR [skip ci]
2016-06-15  Simon Peyton JonesMajor patch to introduce TyConBinder
2016-06-15  Simon Peyton JonesRe-add FunTy (big patch)
2016-06-13  Simon Peyton JonesImprove typechecking of let-bindings
2016-05-13  Simon Peyton JonesTest Trac #12039
2016-05-10  Simon Peyton JonesRecord that EqualityConstraint now works
2016-05-10  Simon Peyton JonesUse partial-sig constraints as givens
2016-05-10  Simon Peyton JonesError message wibbles, re partial type sigs
2016-05-10  Simon Peyton JonesFix partial sigs and pattern bindings interaction
2016-05-04  Bartosz NitkaKill non-deterministic foldUFM in TrieMap and TcAppMap
2016-04-30  Thomas MiedemaTestsuite: accept new output for 2 partial-sigs tests
2016-04-28  Thomas MiedemaTestsuite: benign test fixes
2016-04-28  Simon Peyton JonesAdd missing solveEqualities
next