Add kind equalities to GHC.
[ghc.git] / testsuite / tests / partial-sigs / should_fail /
2015-12-11  Richard EisenbergAdd kind equalities to GHC.
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-07  Simon MarlowMake GHCi & TH work when the compiler is built with...
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-10  Simon Peyton JonesBetter type wildcard errors
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-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-03-24  Simon Peyton JonesImprove environment handling in TcBinds
2015-02-19  Thomas WinantFix #10045
2015-01-13  Thomas WinantFix panics of PartialTypeSignatures combined with exten...
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-15  Thomas WinantFix panic on [t| _ |] (Trac #9879)
2014-11-28  Thomas WinantImplement Partial Type Signatures