Refactor kcHsTyVarBndrs
[ghc.git] / testsuite /
2017-09-27  Ben GamariMove check-ppr and check-api-annotations to testsuite...
2017-09-27  Gabor GreifTypofixes
2017-09-26  Ben Gamaridesugar: Catch levity polymorphism in unboxed sum expre...
2017-09-26  Ben Gamaritestsuite: Add test for #14272
2017-09-26  Gabor GreifA bunch of typofixes
2017-09-26  Ben Gamaritestsuite: Expect T13168 to be broken on Windows
2017-09-25  Ryan ScottBump template-haskell to 2.13.0.0
2017-09-25  Simon Peyton JonesFix solving of implicit parameter constraints
2017-09-25  Simon Peyton JonesImprove type-error reporting
2017-09-25  Simon Peyton JonesDeal with large extra-contraints wildcards
2017-09-24  Herbert Valerio... Revert "Typeable: Allow App to match arrow types"
2017-09-22  Facundo DomínguezImplement TH addCorePlugin.
2017-09-21  Herbert Valerio... Reexport Semigroup's <> operator from Prelude (#14191)
2017-09-21  Ben Gamaritestsuite: Bump allocations of T12150
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-21  Ben Gamaritestsuite: Add unboxed sum to T13929
2017-09-21  Ben Gamaritestsuite: Add testcase for #14253
2017-09-21  Adam GundryIdentify fields by selector when type-checking (fixes...
2017-09-21  Ben GamariTypeable: Allow App to match arrow types
2017-09-19  Olivier ChéronRestore function powModSecInteger
2017-09-19  Simon Peyton JonesFix unused-given-constraint bug
2017-09-19  Herbert Valerio... Generalise constraint on `instance Monoid (Maybe a...
2017-09-17  Ben Gamaritestsuite: Fix MonadFail test output for new ST instance
2017-09-15  Alan ZimmermanRenamer now preserves location for IEThingWith list...
2017-09-15  Ryan ScottFix #14228 by marking SumPats as non-irrefutable
2017-09-15  HE, TaoFix missing fields warnings in empty record constructio...
2017-09-14  Richard EisenbergFix #13963.
2017-09-14  Richard EisenbergTest #13938, with expect_broken
2017-09-14  Richard EisenbergFix #13929 by adding another levity polymorphism check
2017-09-14  Richard EisenbergMake rejigConRes do kind substitutions
2017-09-14  Richard EisenbergFix #13909 by tweaking an error message.
2017-09-14  Ben Gamaritestsuite: Fix dependence on grep behavior in T8129
2017-09-14  Richard EisenbergFix #13407 by suppressing invisibles better.
2017-09-14  Richard EisenbergTest #12938 in indexed-types/should_compile/T12938
2017-09-14  Richard EisenbergRegression test for #12742
2017-09-14  Richard EisenbergTest #14038 in dependent/should_compile/T14038
2017-09-14  Simon Peyton JonesAdd test for Trac #14232
2017-09-14  Simon Peyton JonesRefactor tcInferApps
2017-09-14  Simon Peyton JonesTidying could cause ill-kinded types
2017-09-14  Simon Peyton JonesFix subtle bug in TcTyClsDecls.mkGADTVars
2017-09-13  Alan ZimmermanOption "-ddump-rn-ast" dumps imports and exports too
2017-09-13  HE, TaoMake IntPtr and WordPtr as instance of Data.Data typecl...
2017-09-13  Ryan ScottAdd regression test for #14209
2017-09-13  Ryan ScottCheck if -XStaticPointers is enabled when renaming...
2017-09-12  David FeuerAdd a test for #14140
2017-09-12  Joachim BreitnerAllow CSE'ing of work-wrapped bindings (#14186)
2017-09-12  Joachim BreitnerAdd testcase for #14186
2017-09-09  Ben GamariBump T783 expected allocations
2017-09-08  David FeuerDeal with unbreakable blocks in Applicative Do
2017-09-07  Herbert Valerio... Make Semigroup a superclass of Monoid (re #14191)
2017-09-07  Gabor GreifFix typos in diagnostics, testsuite and comments
2017-09-06  Moritz AngermannClean up opt and llc
2017-09-05  Ryan ScottImplicitly bind kind variables in type family instance...
2017-09-05  Alex Bradleybase: Update acosh to handle -1::Complex
2017-09-05  Ben GamariSetLevels: Substitute in ticks in lvlMFE
2017-09-05  Ryan ScottFix egregious duplication of vars in RnTypes
2017-09-05  Ben Gamaritestsuite: Add test for #14129
2017-09-05  Ben Gamaritestsuite: Fix validation of ways
2017-09-04  Herbert Valerio... Move NonEmpty definition into GHC.Base
2017-09-02  Ryan ScottFix #14167 by using isGadtSyntaxTyCon in more places
2017-09-02  Ryan ScottDisallow bang/lazy patterns in the RHSes of implicitly...
2017-09-01  Ben GamariAdd testcase for #14178
2017-08-31  Simon Peyton JonesReally fix Trac #14158
2017-08-29  Ryan ScottRefactor type family instance abstract syntax declarations
2017-08-29  Ben Gamaritestsuite: Add test for #14128
2017-08-29  Simon Peyton JonesUse a well-kinded substitution to instantiate
2017-08-29  Simon Peyton JonesRefactor bindHsQTyVars and friends
2017-08-29  David FeuerMake parsed AST dump output lazily
2017-08-28  David FeuerActually bump T12150
2017-08-28  David FeuerAdjust test suite stats
2017-08-25  Simon Peyton JonesDon't do the RhsCtxt thing for join points
2017-08-25  Simon Peyton JonesRefactor the Mighty Simplifier
2017-08-24  Simon Peyton JonesFix defer-out-of-scope-variables
2017-08-22  Ben GamariAdd support for producing position-independent executables
2017-08-22  Ben GamariBump haddock submodule
2017-08-22  Edward Z. YangFix incorrect retypecheck loop in -j (#14075)
2017-08-22  Ryan ScottRevise function arity mismatch errors involving TypeApp...
2017-08-22  Ryan ScottFix #13885 by freshening reified GADT constructors...
2017-08-22  Ryan ScottFix #14114 by checking for duplicate vars on pattern...
2017-08-22  Ryan ScottFix #14125 by normalizing data family instances more...
2017-08-18  Simon Peyton JonesTest Trac #14110
2017-08-17  Ben Gamaritestsuite: Add test for #13916
2017-08-17  Olivier ChéronMake function intToSBigNat# preserve sign (fixes #14085)
2017-08-17  Ryan ScottRemove unneeded reqlibs for mtl and parsec in the GHC...
2017-08-17  Ryan ScottSuggest how to fix illegally nested foralls in GADT...
2017-08-17  Ryan ScottFix #13972 by producing tidier errors
2017-08-15  Ryan ScottDon't drop GHCi-defined functions with -fobject-code...
2017-08-15  Ryan ScottFix #14060 by more conservatively annotating TH-reified...
2017-08-12  Ryan ScottAdd test for #14101
2017-08-12  Ryan ScottDon't suppress unimplemented type family warnings with...
2017-08-05  Ryan ScottDon't warn when empty casing on Type
2017-08-05  Ryan ScottRemove the deprecated Typeable{1..7} type synonyms
2017-08-05  Oleg GrenrusAdd MonadIO Q - by requiring MonadIO => Quasi
2017-08-02  Simon Peyton JonesGet the roles right for newtype instances
2017-08-01  Ryan ScottAllow bundling pattern synonyms with exported data...
2017-08-01  Ben GamariKnownUniques: Handle DataCon wrapper names
2017-07-31  Simon Peyton JonesReject top-level banged bindings
2017-07-31  Simon Peyton JonesImprove the desugaring of -XStrict
2017-07-30  Gabor GreifTypofixes [ci skip]
next