Fix bytecode gen to deal with rep-polymorphism
[ghc.git] / testsuite /
2016-07-25  Simon Peyton JonesFix bytecode gen to deal with rep-polymorphism
2016-07-25  Simon Peyton JonesDon't quantify over Refl in a RULE
2016-07-25  Bartosz NitkaMake accept wip/ghc-8.0-det
2016-07-25  Bartosz NitkaAdd a new determinism test
2016-07-25  Bartosz NitkaMake the Ord Module independent of Unique order (2nd...
2016-07-25  Bartosz NitkaMake checkFamInstConsistency less expensive
2016-07-25  Bartosz NitkaDesugar ApplicativeDo and RecDo deterministically
2016-07-25  Simon MarlowAdd -foptimal-applicative-do
2016-07-25  Bartosz NitkaMake Arrow desugaring deterministic
2016-07-25  Bartosz NitkaKill varSetElems in tidyFreeTyCoVars
2016-07-25  Simon Peyton JonesRefactor validity checking for type/data instances
2016-07-25  Bartosz NitkaMake inert_model and inert_eqs deterministic sets
2016-07-25  Bartosz NitkaMake accept
2016-07-25  Bartosz NitkaKill non-deterministic foldUFM in TrieMap and TcAppMap
2016-07-25  Bartosz NitkaKill varSetElems in TcErrors
2016-07-25  Bartosz NitkaKill varSetElemsWellScoped in quantifyTyVars
2016-06-04  Ben GamariPrelInfo: Ensure that tuple promoted datacon names...
2016-05-21  Simon Peyton JonesAvoid double error on out-of-scope identifier
2016-05-21  Ben GamariGive lifted primitive types a representation
2016-05-21  Ben Gamaritestsuite: Add a TypeRep test
2016-05-17  Ben Gamaritestsuite: Bump expected 32-bit perf numbers for haddoc...
2016-05-16  Ben GamariMove Extension type to ghc-boot-th
2016-05-16  Ben Gamaritestsuite/ImpSafe03: Normalize version of bytestring
2016-05-10  Ben GamariRdrHsSyn: Only suggest `type` qualification when approp...
2016-05-10  Matthew PickeringForbid variables to be parents in import lists.
2016-04-21  Simon Peyton JonesAdjust error check for class method types ghc-8.0.1-rc4
2016-04-21  Ben GamariBump bytestring submodule
2016-04-20  Simon Peyton JonesMove DFunUnfolding generation to TcInstDcls
2016-04-20  Ben GamariEnsure Typeable declarations end up in boot interface...
2016-04-17  Iavor S. DiatchkiAdd TemplateHaskell support for Overlapping pragmas
2016-04-15  Ben Gamaritestsuite: Add test for #11827
2016-04-15  Ben Gamaritestsuite: Add T11824
2016-04-15  Richard EisenbergFix #11797.
2016-04-15  Richard EisenbergFix #11811.
2016-04-11  RyanGlScottDeriving Functor-like classes should unify kind variables ghc-8.0.1-rc3
2016-04-11  RyanGlScottFilter out invisible kind arguments during TH reification
2016-04-11  Rik SteenkampFix a closed type family error message
2016-04-11  Thomas MiedemaOmit TEST=T10697_decided_3 WAY=ghci
2016-04-10  Tamar ChristinaChange runtime linker to perform lazy loading of symbol...
2016-04-10  RyanGlScottRemove the instantiation check when deriving Generic(1)
2016-04-10  Jason EisenbergFix suggestions for unbound variables (#11680)
2016-04-10  Herbert Valerio... Reduce default for -fmax-pmcheck-iterations from 1e7...
2016-04-10  Dominik BollmannFix Template Haskell bug reported in #11809.
2016-04-06  Simon Peyton JonesElaborate test for #11376
2016-04-06  Ben Gamaritestsuite: One more 32-bit performance slip
2016-04-06  Ben Gamaritestsuite: Update 32-bit performance numbers
2016-04-06  Ben GamariT10870: Skip on 32-bit architectures
2016-04-06  Ben GamariT10272, T4340: Add 32-bit output
2016-04-06  Thomas MiedemaSkip TEST=TcCoercibleFail when compiler_debugged
2016-04-06  Simon Peyton JonesDeeply instantiate in :type
2016-04-05  Herbert Valerio... Fix misattribution of `-Wunused-local-binds` warnings
2016-04-05  Jason Eisenbergrts: Make StablePtr derefs thread-safe (#10296)
2016-04-04  Eric SeidelDon't infer CallStacks
2016-04-04  Rik SteenkampImprove printing of pattern synonym types
2016-03-30  Simon Peyton JonesAlways do eta-reduction
2016-03-30  Edward Z. YangAdd -f(no-)version-macro to explicitly control macros.
2016-03-30  Thomas MiedemaDon't require -hide-all-packages for MIN_VERSION_*...
2016-03-30  Ben Gamarighc-prim: Delay inlining of {gt,ge,lt,le}Int to phase 1
2016-03-29  Ben Gamarirename: Disallow type signatures in patterns in plain...
2016-03-28  Richard EisenbergCheck for rep poly on wildcard binders.
2016-03-28  Richard EisenbergFix #11754 by adding an additional check.
2016-03-24  Simon Peyton JonesTidy up handling of coercion variables
2016-03-24  Kai HarriesAdd test for incompatible flags (issue #11580)
2016-03-24  Ben GamariDefer inlining of Eq for primitive types
2016-03-24  Ben GamariDefault RuntimeRep variables unless -fprint-explicit...
2016-03-24  Ben GamariShow: Restore redundant parentheses around records
2016-03-24  Kai HarriesCreate empty dump files (fixes #10320)
2016-03-24  Ben GamariDsExpr: Rip out static/dynamic check in list desugaring
2016-03-24  Flaviu Andrei CsernikClose ticky profiling file stream after printing (...
2016-03-24  Rik SteenkampAdd `PatSynSigSkol` and modify `PatSynCtxt`
2016-03-24  Ben GamariEnsure T9646 dump-simpl output is cleaned
2016-03-24  Dominik BollmannFix regression test for #11145.
2016-03-24  Dominik Bollmannadd regression test for #11145.
2016-03-24  Ben GamariSimplify: Make generated names more useful
2016-03-23  Richard EisenbergPrevent eager unification with type families.
2016-03-23  Richard EisenbergRename test for #11334 to 11334b, fixing conflict
2016-03-23  Richard EisenbergMake equality print better. (#11712)
2016-03-23  Richard EisenbergFix #11723 and #11724.
2016-03-23  Richard EisenbergZonk before calling splitDepVarsOfType.
2016-03-23  Richard EisenbergTrack specified/invisible more carefully.
2016-03-23  Simon Peyton JonesRefactoring around TcPatSyn.tcPatToExpr
2016-03-23  Rik SteenkampImprove pattern synonym error messages (add `PatSynOrigin`)
2016-03-23  Richard EisenbergFix #11635 / #11719.
2016-03-23  Richard EisenbergAdd two small optimizations. (#11196)
2016-03-23  Richard EisenbergTypeApplications does not imply AllowAmbiguousTypes
2016-03-23  Jason Eisenbergprof: Fix heap census for large ARR_WORDS (#11627)
2016-03-23  Ben GamariFix T9646
2016-03-23  Erik de Castro LopoAdd test for #9646
2016-03-23  Ben GamariT9357: Fix expected output
2016-03-23  Ben GamariPrelRules: Fix constant folding for WordRemOp
2016-03-23  Simon Peyton JonesRemove the check_lifted check in TcValidity
2016-03-23  Ben GamariDsExpr: Don't build/foldr huge lists
2016-03-23  Richard EisenbergFix #11357.
2016-03-23  Ben GamariRevert "Add test for #11473"
2016-03-23  Richard EisenbergFix #11473.
2016-03-23  Richard EisenbergFix #11711.
2016-03-23  Richard EisenbergFix #11512 by getting visibility right for methods
2016-03-23  Richard EisenbergFix #11716.
2016-03-23  Richard EisenbergClean up some pretty-printing in errors.
2016-03-23  Richard EisenbergFix printing of "kind" vs. "type"