TcTypeable: Try to reuse KindReps
[ghc.git] / testsuite / tests / simplCore /
2017-03-03  Ben GamariTcTypeable: Try to reuse KindReps
2017-03-03  David FeuerFix up test results.
2017-03-02  David FeuerProhibit RULES changing constructors
2017-03-02  Ben Gamaritestsuite: Mark T13340 as fixed
2017-03-02  Ben GamariTypeable: Rename KindRep bindings to $krep...
2017-03-02  David FeuerFix expected result from T13143
2017-02-28  Simon Peyton JonesThe Early Inline Patch
2017-02-28  Simon Peyton JonesInline data constructor wrappers in phase 2 only
2017-02-28  Reid BartonWhen floating, don't box an expression that's okay...
2017-02-27  Simon Peyton JonesOccurrence-analyse the result of rule firings
2017-02-26  Reid Bartontests: remove extra_files.py (#12223)
2017-02-26  Ben GamariAdd testcase for #13340
2017-02-24  Simon Peyton JonesMake exprIsConApp_maybe work better for literals strings
2017-02-18  Ben GamariType-indexed Typeable
2017-02-17  Simon Peyton JonesSimplify OutputableBndr
2017-02-13  Gabor GreifTypos in notes and comments [ci skip]
2017-02-09  Gabor GreifTweaks and typos in manual, note refs, comments
2017-02-06  Eric SeidelDo Worker/Wrapper for NOINLINE things
2017-02-06  David FeuerAdd liftA2 to Applicative class
2017-02-03  Joachim BreitnerGet rid of ProbOneShot
2017-02-02  Joachim BreitnerAdd a testcase for #13227
2017-02-01  Luke MaurerJoin points
2017-01-24  Reid BartonRe-sort case alternatives after scrutinee constant...
2017-01-24  Sylvain HenryEnsure that scrutinee constant folding wraps numbers
2017-01-22  Thomas MiedemaRemove clean_cmd and extra_clean usage from .T files
2017-01-20  Takano AkioAllow top-level string literals in Core (#8472)
2017-01-20  Simon Peyton JonesTest Trac #11444
2017-01-20  Simon Peyton JonesSimplify and improve CSE
2017-01-20  Simon Peyton JonesFix a nasty bug in exprIsExpandable
2017-01-19  Richard EisenbergUpdate levity polymorphism
2017-01-10  David FeuerInline partially-applied wrappers
2017-01-09  Gabor GreifTypos in comments (and in a test)
2016-12-27  Ben Gamaritestsuite: Fix T13025
2016-12-23  Sylvain HenryFix test for T12877
2016-12-23  Simon Peyton JonesPush coercions in exprIsConApp_maybe
2016-12-23  Simon Peyton JonesPropagate evaluated-ness a bit more faithfully
2016-12-23  Simon Peyton JonesFloat unboxed expressions by boxing
2016-12-21  Simon Peyton JonesDon't eta-expand in stable unfoldings
2016-12-13  Ben GamariRevert "Float unboxed expressions by boxing"
2016-12-12  Simon Peyton JonesFloat unboxed expressions by boxing
2016-12-11  Moritz AngermannMake globals use sharedCAF
2016-12-07  Alan ZimmermanAdd HsSyn prettyprinter tests
2016-12-05  Simon Peyton JonesFix an asymptotic bug in the occurrence analyser
2016-12-01  Gabor GreifTypos in comments
2016-11-30  Ben GamariRevert "Make globals use sharedCAF"
2016-11-29  Moritz AngermannMake globals use sharedCAF
2016-11-28  Simon Peyton JonesTest Trac #12776
2016-10-21  Simon Peyton JonesA collection of type-inference refactorings.
2016-10-11  Joachim BreitnerAdd a broken test case for #12689
2016-10-11  Joachim BreitnerAdd test case for #12689
2016-09-15  Joachim BreitnerAdd test case for #7611
2016-09-05  Takano AkioTurn divInt# and modInt# into bitwise operations when...
2016-08-30  Edward Z. YangFix binary-trees regression from unnecessary floating...
2016-08-21  Edward Z. YangFix #12472 by looking for noinline/lazy inside oversatu...
2016-08-21  Edward Z. YangWhen a value Id comes from hi-boot, insert noinline...
2016-08-21  Edward Z. YangSupport for noinline magic function.
2016-07-12  Joachim BreitnerDemand analyser: Implement LetUp rule (#12370)
2016-06-21  Simon Peyton JonesDon't quantify over Refl in a RULE
2016-06-20  Thomas MiedemaTestsuite: mark tests expect broken
2016-06-20  Thomas MiedemaTestsuite: tabs -> spaces [skip ci]
2016-06-09  Edward Z. YangFix #12076 by inlining trivial expressions in CorePrep.
2016-05-18  Edward Z. YangFailing test case for #12076.
2016-05-17  Thomas MiedemaTestsuite: run tests in /tmp after copying required...
2016-04-22  Simon Peyton JonesTest Trac #3990
2016-04-22  Simon Peyton JonesWarn about simplifiable class constraints
2016-04-14  Joachim BreitnerAdd a final demand analyzer run right before TidyCore
2016-04-14  Joachim BreitnerAdd a test case for #11731.
2016-04-06  Joachim BreitnerCore pretty printer: Omit wild case binders
2016-03-30  Ben GamariKill the magic of Any
2016-03-29  Joachim BreitnerDo not print DmdType in Core output
2016-03-24  Simon Peyton JonesTidy up handling of coercion variables
2016-03-24  Ben GamariDsExpr: Rip out static/dynamic check in list desugaring
2016-03-24  Ben GamariEnsure T9646 dump-simpl output is cleaned
2016-03-23  Simon Peyton JonesMove DFunUnfolding generation to TcInstDcls
2016-03-20  Ben GamariFix T9646
2016-03-19  Erik de Castro LopoAdd test for #9646
2016-03-12  Ben GamariSimplify: Make generated names more useful
2016-02-27  Herbert Valerio... Print which flag controls emitted desugaring warnings
2016-02-26  Gabor GreifTypos in comments, etc.
2016-02-25  Michael WalkerPrint which warning-flag controls an emitted warning
2016-02-25  Thomas MiedemaTestsuite: delete empty files [skip ci]
2016-02-25  Thomas MiedemaTestsuite: for tests that use TH, omit *all* prof_ways
2016-02-25  Thomas MiedemaTestsuite: Introduce config.plugin_way_flags.
2016-02-24  Richard EisenbergAddress #11471 by putting RuntimeRep in kinds.
2016-02-23  Thomas MiedemaTestsuite: delete Windows line endings [skip ci] (...
2016-02-23  Thomas MiedemaTestsuite: accept output without Windows line endings...
2016-02-23  Thomas MiedemaTestsuite: delete Windows line endings [skip ci] (...
2016-02-21  Thomas MiedemaTestsuite: pass '-s --no-print-directory' to MAKE
2016-02-18  Ben GamariUnwire Typeable representation types
2016-02-17  Thomas MiedemaTestsuite: delete compiler_lt/le/gt/ge setup functions
2016-02-11  Simon Peyton JonesAlways do eta-reduction
2016-01-26  RyanGlScottSplit off -Wunused-type-variables from -Wunused-matches
2016-01-20  Simon Peyton JonesFix combineIdenticalAlts
2016-01-18  Simon Peyton JonesRefactoring on IdInfo and system derived names
2016-01-07  Simon Peyton JonesMake demand analysis understand catch
2015-12-27  Ben Gamaritestsuite/T8274: Remove 32-bit test output
2015-12-24  Richard EisenbergVisible type application
2015-12-23  Eric SeidelAllow CallStacks to be frozen
2015-12-23  Erik de Castro LopoDelete incorrect *-ws-32 expected test output
2015-12-21  Michał SośnickiWarn about unused type variables in type families
next