Refactor the typechecker to use ExpTypes.
[ghc.git] / testsuite /
2016-01-27  Richard EisenbergRefactor the typechecker to use ExpTypes.
2016-01-27  Benjamin Bykowskighci: fix trac issue #11481
2016-01-27  Thomas MiedemaTestsuite: fixup req_profiling tests (#11496)
2016-01-26  RyanGlScottSplit off -Wunused-type-variables from -Wunused-matches
2016-01-26  Thomas MiedemaFix segmentation fault when .prof file not writeable
2016-01-26  Simon Peyton JonesFix three broken tests involving exceptions
2016-01-26  Simon Peyton JonesFix two cloning-related bugs
2016-01-26  Simon Peyton JonesAdd "ticks-exhausted" comment
2016-01-25  Ben GamariImplement -Wunrecognised-warning-flag
2016-01-25  Herbert Valerio... Rename -Wmissing-monadfail-instance to plural-form
2016-01-25  Simon Peyton JonesFix exprIsHNF (Trac #11248)
2016-01-25  Simon Peyton JonesAvoid recursive use of immSuperClasses
2016-01-25  Simon Peyton JonesRefactor validity checking for type/data instances
2016-01-25  Simon Peyton JonesSpecial-case implicit params in superclass expansion
2016-01-24  Herbert Valerio... Implement `-Wnoncanonical-monadfail-instances` warning
2016-01-24  Thomas MiedemaAdd -fwarn-redundant-constrains to test for #9708
2016-01-23  Ben GamariAdd test for #11473
2016-01-23  Ben GamariRemove -Wredundant-superclasses from standard warnings
2016-01-23  RyanGlScottAdd test for Trac #11056
2016-01-22  Reid BartonMark some ghci tests as req_interp
2016-01-22  Reid BartonDon't print "Loaded GHCi configuration" message in...
2016-01-22  Ben GamariAdd tests for #11465 and the kind invariant
2016-01-22  Eric SeidelDefault non-canonical CallStack constraints
2016-01-22  Joachim BreitnerAdd expected stderr for #11466 test case
2016-01-22  Reid BartonAlways run test T9407
2016-01-21  Reid BartonAdd -ignore-dot-ghci to tests that use --interactive
2016-01-21  Reid BartonAdd a missing .gitignore entry in annotations tests
2016-01-21  Simon Peyton JonesAllow implicit parameters in constraint synonyms
2016-01-21  Simon Peyton JonesStrip casts in checkValidInstHead
2016-01-21  Simon Peyton JonesRemove the check_lifted check in TcValidity
2016-01-21  Simon Peyton JonesRe-add missing kind generalisation
2016-01-20  Rik SteenkampAdd test T9407 (Windows)
2016-01-20  Ben GamariRework derivation of type representations for wired...
2016-01-20  Ben GamariUse (&&) instead of `if` in Ix derivation
2016-01-20  Simon Peyton JonesFix combineIdenticalAlts
2016-01-19  Ömer Sinan AğacanT11266: Improve the test by adding more of the other...
2016-01-19  Ömer Sinan AğacanFix IfaceType generation for TyCons without TyVars
2016-01-18  Ben GamariHide derived OccNames from user
2016-01-18  Edward Z. YangSwitch from -this-package-key to -this-unit-id.
2016-01-18  Simon Peyton JonesTest Trac #11379
2016-01-18  Simon Peyton JonesImplement scoped type variables in pattern synonyms
2016-01-18  Simon Peyton JonesRefactoring on IdInfo and system derived names
2016-01-18  Simon Peyton JonesFix typecheck of default associated type decls
2016-01-17  Ben GamariAdd testcase for #11414
2016-01-17  Arthur Fayzrakhman... Complete operators properly
2016-01-16  Simon Peyton JonesAdd missing T11408.hs
2016-01-16  Simon Peyton JonesFix a number of subtle solver bugs
2016-01-16  Alan ZimmermanWork SourceText in for all integer literals
2016-01-15  Richard EisenbergFix #11405.
2016-01-15  Richard EisenbergFix typo in error message (#11409)
2016-01-15  Richard EisenbergConstrained types have kind * in validity check.
2016-01-15  Richard EisenbergFix #11254.
2016-01-15  Richard EisenbergFix #11311
2016-01-15  Richard EisenbergTest #11252 in ghci/scripts/T11252
2016-01-15  Richard EisenbergFix #11355.
2016-01-15  RyanGlScottExpand type/kind synonyms in TyVars before deriving...
2016-01-15  Matthew PickeringAllow pattern synonyms which have several clauses.
2016-01-15  Peter TrommlerLink command line libs to temp so
2016-01-14  Ben GamariRename InjectiveTypeFamilies to TypeFamilyDependencies
2016-01-14  Ben GamariAdd tests for #11391
2016-01-13  Kwang Yul SeoPrint a message when loading a .ghci file.
2016-01-13  Ben GamariAdd test for Data.Typeable.typeOf
2016-01-09  Jan StolarekAdd InjectiveTypeFamilies language extension
2016-01-09  Yuri de Witfix -ddump-splices to parenthesize ((\x -> x) a) correctly
2016-01-09  Ben GamariAdd failing testcase for #10603
2016-01-09  Rik SteenkampReject import declaration with semicolon in GHCi
2016-01-08  Rik SteenkampFix test for T9367 (Windows)
2016-01-08  Simon MarlowRename the test-way prof_h to normal_h
2016-01-08  Simon MarlowFix +RTS -h when compiling without -prof
2016-01-08  RyanGlScottFix Template Haskell's handling of infix GADT constructors
2016-01-08  Simon MarlowEnable stack traces with ghci -fexternal-interpreter...
2016-01-07  Gabor GreifTypos in docs and comments
2016-01-07  Simon Peyton JonesTest Trac #10625
2016-01-07  Simon Peyton JonesMake demand analysis understand catch
2016-01-07  Simon Peyton JonesTurn AThing into ATcTyCon, in TcTyThing
2016-01-07  Simon Peyton JonesUse an Implication in 'deriving' error
2016-01-07  Simon Peyton JonesTidy up tidySkolemInfo
2016-01-06  Ben GamariAdd a note describing the protocol for adding a languag...
2016-01-06  Ben GamariBump Cabal and Haddock to fix #11308
2016-01-06  Jan StolarekChange Template Haskell representation of GADTs.
2016-01-06  RyanGlScottRestore old GHC generics behavior vis-à-vis Fixity
2016-01-05  George KarachaliasRemove -Wtoo-many-guards from default flags (fixes...
2016-01-05  Joachim BreitnerAdd (failing) test case for #11347
2016-01-04  George KarachaliasAvoid generating guards for CoPats if possible (Address...
2016-01-04  Thomas MiedemaAdd test for #10379
2016-01-03  Thomas MiedemaOmit TEST=T10697_decided_3 WAY=ghci
2016-01-02  Simon Peyton JonesTest Trac #11336
2016-01-02  Alan ZimmermanAnnDotDot missing for Pattern Synonym export
2016-01-01  Alan ZimmermanAPI Annotations: AnnTilde missing
2016-01-01  Simon Peyton JonesAdd strictness for runRW#
2015-12-31  Herbert Valerio... Drop redundant/explicit `=1` in `-DFOO=1` flags
2015-12-31  Simon Peyton JonesTest Trac #11245
2015-12-31  Simon Peyton JonesImprove exprIsBottom
2015-12-31  Alan ZimmermanVarious API Annotations fixes
2015-12-30  Ben GamariT11303: Set maximum heap size
2015-12-30  Richard EisenbergFix #11305.
2015-12-29  Herbert Valerio... testsuite: normalise away `ld`-warning on AIX
2015-12-29  Herbert Valerio... Remove `cabal07`-test broken by e4cc19de4bdbcc
2015-12-29  Ben GamariAdd regression test for #11303
2015-12-29  Ben Gamaritestlib: Make TyCon normalization Python 2.6-compatible
next