testsuite: Add test for #14129
[ghc.git] / testsuite /
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...
2017-07-25  Ben Gamaritestsuite: Add testcase for #13168
2017-07-23  Ben Gamaritestsuite: Fix cabal01 for real this time
2017-07-23  Ben Gamarighc-prim: Bump version
2017-07-23  Ben GamariBump integer-gmp version
2017-07-22  Ryan ScottFix ungrammatical error message
2017-07-20  Ben GamariHsPat: Assume that no spliced patterns are irrefutable
2017-07-20  Ben GamariRevert "testsuite: Add test for #13916"
2017-07-20  Ben Gamaritestsuite: Add test for #13916
2017-07-20  Edward Z. YangMake IfaceAxiom typechecking lazier.
2017-07-20  Douglas WilsonFix busy-wait in SysTools.builderMainLoop
2017-07-20  Ben Gamaritestsuite: Pipe stdin directly to process
2017-07-20  Gabor GreifSpelling fixes
2017-07-20  Ben GamariTypeable: Ensure that promoted data family instance...
2017-07-19  Ryan ScottFix #13983 by creating a TyConFlavour type, and using it
2017-07-19  Ryan ScottAllow visible type application for []
2017-07-19  Ben Gamaritestsuite: Ensure that hs_try_putmvar003 terminates
2017-07-18  Bartosz NitkaMake module membership on ModuleGraph faster
2017-07-12  Ryan ScottFix some excessive spacing in error messages
2017-07-12  Ben Gamaritestsuite: Again update allocations of T13701
2017-07-12  Ben Gamaritestsuite: Update haddock allocations
2017-07-12  Ben Gamari[iserv] Fixing the word size for RemotePtr and toWordArray
2017-07-11  Ömer Sinan AğacanMention which -Werror promoted a warning to an error
2017-07-11  Ben Gamaritestsuite: Show stderr output on command failure
2017-07-11  Ben Gamaritestsuite: Fix T13701 allocations yet again
2017-07-11  Eugene AkentyevParenthesize infix type names in data declarations...
2017-07-11  Ryan ScottFix #13947 by checking for unbounded names more
2017-07-11  Ryan ScottFix #13948 by being pickier about when to suggest DataKinds
next