Add kind equalities to GHC.
[ghc.git] / testsuite / tests / partial-sigs /
2015-12-11  Richard EisenbergAdd kind equalities to GHC.
2015-12-10  Simon Peyton JonesTest Trac #11192
2015-12-04  Simon Peyton JonesAdd derived constraints for wildcard signatures
2015-12-01  Simon Peyton JonesRefactor treatment of wildcards
2015-11-24  Evan LaforgeRearrange error msgs and add section markers (Trac...
2015-11-21  Bartosz NitkaCreate a deterministic version of tyVarsOfType
2015-11-18  Michał SośnickiFix inconsistent pretty-printing of type families
2015-11-07  Simon MarlowMake GHCi & TH work when the compiler is built with...
2015-11-01  Herbert Valerio... Bump ghc-prim version to 0.5.0.0 (closes #11043)
2015-11-01  Herbert Valerio... Bump `base` version to 4.9.0.0 (closes #11026)
2015-10-30  Ben GamariGenerate Typeable info at definition sites
2015-10-29  Ben GamariRevert "Generate Typeable info at definition sites"
2015-10-29  Ben GamariGenerate Typeable info at definition sites
2015-10-27  Thomas MiedemaTestsuite: accept output for T10999 (#10999)
2015-10-27  Simon Peyton JonesAdd regression tests for #10045, #10999
2015-08-05  Simon Peyton JonesFix quantification for inference with sigs
2015-08-05  Simon Peyton JonesTidy up and refactor wildcard handling
2015-08-03  Thomas WinantSupport wild cards in data/type family instances
2015-07-30  Simon Peyton JonesBetter treatment of signatures in cls/inst
2015-07-20  Thomas WinantSupport wild cards in TH splices
2015-07-13  Thomas MiedemaTestsuite: delete remaining only_compiler_types(['ghc...
2015-07-13  Simon Peyton JonesTest Trac #10463
2015-07-10  Simon Peyton JonesBetter type wildcard errors
2015-07-03  Thomas WinantFix Trac #10519
2015-06-28  Ben GamariAdd -fcross-module-specialise flag
2015-06-26  Simon Peyton JonesImprove error message for Typeable k (T k)
2015-06-26  Simon Peyton JonesError message wibbles from out-of-scope changes
2015-06-23  Simon Peyton JonesFurther elaborate Trac #10403 test
2015-06-18  Simon Peyton JonesElaborate test for Trac #10403
2015-06-16  Ben Gamariusers_guide: Various spelling fixes
2015-06-16  Ben GamariLexer: Suggest adding 'let' on unexpected '=' token
2015-06-11  Thomas MiedemaTestsuite: change some expect_fail tests to expect_broken
2015-06-09  Thomas WinantRefactor wild card renaming
2015-06-02  Simon Peyton JonesTest Trac #10438
2015-05-18  Simon Peyton JonesTest Trac #10403
2015-05-14  Austin SeippRevert multiple commits
2015-05-13  Simon Peyton JonesTest Trac #10403
2015-04-25  Herbert Valerio... Bump base version to 4.8.2.0
2015-04-07  Simon Peyton JonesError msg wibbles from reduced module prefixes
2015-03-24  Simon Peyton JonesImprove environment handling in TcBinds
2015-03-23  Herbert Valerio... Minor bump `base` version to 4.8.1.0
2015-03-20  Herbert Valerio... Bump ghc-prim to 0.4.0.0
2015-03-02  Simon Peyton JonesTwo kind-polymorphism fixes (Trac #10122)
2015-02-19  Thomas WinantFix #10045
2015-01-13  Thomas WinantFix panics of PartialTypeSignatures combined with exten...
2015-01-06  Simon Peyton JonesMajor patch to add -fwarn-redundant-constraints
2015-01-06  Simon Peyton JonesPrint singleton consraints without parens
2015-01-06  Simon Peyton JonesModify a couple of error messages slightly
2014-12-23  Thomas WinantRename NamedWildcards flag to NamedWildCards
2014-12-23  Thomas WinantFix panic on :kind _ in GHCi (Trac #9879)
2014-12-15  Thomas WinantFix panic on [t| _ |] (Trac #9879)
2014-11-28  Thomas WinantImplement Partial Type Signatures