Make a constraint synonym for repeated BinaryStringRep and use it.
[ghc.git] / testsuite /
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
2015-12-29  Rik SteenkampModify getFullArgs to include program name
2015-12-29  RyanGlScottFix GEq1 when optimizations are enabled
2015-12-29  Adam GundryFix panic when using pattern synonyms with Disambiguate...
2015-12-28  Herbert Valerio... Patch-level increment integer-gmp to 1.0.0.1
2015-12-28  Herbert Valerio... Synchronise ghci-package version with ghc-package
2015-12-27  Edward Z. YangThe -package flag should select match from right-most...
2015-12-27  George KarachaliasAdding flags: -ffull-guard-reasoning and too-many-guards
2015-12-27  Ben GamariAdd testcase for getSizeofMutableByteArray#
2015-12-27  Ben Gamaritestsuite/CmmSwitchTest: Mark as broken on 32-bit platforms
2015-12-27  Ben Gamaritestsuite/joao-circular: Clean up test results
2015-12-27  Ben Gamaritestsuite/T9430: Fix word-size dependence
2015-12-27  Ben Gamaritestsuite/codegen: Add missing dummy Makefiles
2015-12-27  Ben Gamaritestsuite/T8274: Remove 32-bit test output
2015-12-27  Ben GamariT10518: Ensure literal has 64-bit type
2015-12-26  Richard EisenbergTest #10619 in typecheck/should_fail/T10619
2015-12-26  Richard EisenbergTest #10589 in typecheck/should_compile/T10589
2015-12-26  Richard EisenbergFix #11287.
2015-12-26  Richard EisenbergHave mkCastTy look more closely for reflexivity.
2015-12-26  Richard EisenbergTest #11254 in typecheck/should_compile/T11254
2015-12-26  Richard EisenbergFix #11255.
2015-12-25  Thomas MiedemaTestsuite: mark T7681 expect_broken (#11287)
2015-12-25  Thomas MiedemaTestsuite: fix qq005 and qq006 (#11279)
2015-12-24  Richard EisenbergVisible type application
next