Make rejigConRes do kind substitutions
[ghc.git] / testsuite /
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]
2017-07-29  Ryan ScottFollow-up to #13887, for promoted infix constructors
2017-07-29  Ryan ScottAdd regression test for #14055
2017-07-29  Richard EisenbergFix #14045 by omitting an unnecessary check
2017-07-28  Ben GamariEnsure that GHC.Stack.callStack doesn't fail
2017-07-28  Andreas KlebingerAdd rtsopts ignore and ignoreAll.
2017-07-28  Edward Z. YangFix hs-boot knot-tying with record wild cards.
2017-07-28  Ben Gamaritestsuite: Don't pass allow_abbrev
2017-07-28  Ben Gamaritestsuite: Add test for #14028
2017-07-28  Ben Gamaritestsuite: Produce JUnit output
2017-07-28  Jared WeaklySwitched out optparse for argparse in runtests.py
2017-07-28  Ryan ScottAdd regression tests for #13601, #13780, #13877
2017-07-28  Ryan ScottMerge types and kinds in DsMeta
2017-07-28  Ryan ScottError eagerly after renaming failures in reifyInstances
2017-07-28  Simon Peyton JonesDo not discard insolubles in implications
2017-07-28  Simon Peyton JonesFix instantiation of pattern synonyms
2017-07-27  Andreas KlebingerInitialize hs_init with UTF8 encoded arguments on Windows.
2017-07-27  Richard EisenbergFix #12369 by being more flexible with data insts
2017-07-27  Richard EisenbergFix #12176 by being a bit more careful instantiating.
2017-07-27  Richard EisenbergFix #11963 by checking for more mixed type/kinds
2017-07-27  Richard EisenbergTrack visibility in TypeEqOrigin
2017-07-27  Richard EisenbergFix #13819 by refactoring TypeEqOrigin.uo_thing
2017-07-27  Richard EisenbergPreserve CoVar uniques during pretty printing
2017-07-27  Richard EisenbergTest #11672 in typecheck/should_fail/T11672.
2017-07-27  Richard EisenbergImprove error messages around kind mismatches.
2017-07-26  Ryan ScottFix #13968 by consulting isBuiltInOcc_maybe
2017-07-26  Gabor GreifFix note references and some typos
2017-07-26  Simon Peyton JonesTest Trac #14033
2017-07-26  Simon Peyton JonesFix binder visiblity for default methods
2017-07-25  Ryan ScottFix #10684 by processing deriving clauses with finer...
2017-07-25  Eugene AkentyevFix import error with -XPackageImports when the module...
next