Fix two more bugs in partial signatures
[ghc.git] / testsuite / tests / partial-sigs / should_compile / all.T
2018-01-09  Simon Peyton JonesFix two more bugs in partial signatures
2017-11-22  Ben GamariUpdate Hadrian
2017-11-15  Andrey MokhovPull recent Hadrian changes from upstream
2017-11-10  Ben GamariMerge commit '5229c43ccf77bcbffeced01dccb27398d017fa34'
2017-11-06  Andrey MokhovMerge commit '7b0b9f603bb1215e2b7af23c2404d637b95a4988...
2017-09-25  Simon Peyton JonesDeal with large extra-contraints wildcards
2017-04-13  Simon Peyton JonesYet more work on TcSimplify.simplifyInfer
2017-02-26  Reid Bartontests: remove extra_files.py (#12223)
2017-01-22  Thomas MiedemaRemove clean_cmd and extra_clean usage from .T files
2016-11-25  Simon Peyton JonesFix inference of partial signatures
2016-11-25  Simon Peyton JonesTest Trac #12845
2016-11-05  Mikhail VorozhtsovHandle types w/ type variables in signatures inside...
2016-08-26  Simon Peyton JonesAllow typed holes to be levity-polymorphic
2016-08-17  Simon Peyton JonesNot-in-scope variables are always errors
2016-06-28  Simon Peyton JonesDon't omit any evidence bindings
2016-06-13  Simon Peyton JonesImprove typechecking of let-bindings
2016-05-10  Simon Peyton JonesRecord that EqualityConstraint now works
2016-05-10  Simon Peyton JonesUse partial-sig constraints as givens
2016-05-10  Simon Peyton JonesFix partial sigs and pattern bindings interaction
2016-04-30  Thomas MiedemaTestsuite: accept new output for 2 partial-sigs tests
2016-04-28  Thomas MiedemaTestsuite: benign test fixes
2016-02-25  Thomas MiedemaTestsuite: for tests that use TH, omit *all* prof_ways
2016-02-16  Thomas MiedemaTestsuite: delete only_compiler_types, assume ghc
2015-12-21  Michał SośnickiWarn about unused type variables in type families
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-07  Simon MarlowMake GHCi & TH work when the compiler is built with...
2015-08-03  Thomas WinantSupport wild cards in data/type family instances
2015-07-20  Thomas WinantSupport wild cards in TH splices
2015-07-13  Simon Peyton JonesTest Trac #10463
2015-07-03  Thomas WinantFix Trac #10519
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-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-01-06  Simon Peyton JonesMajor patch to add -fwarn-redundant-constraints
2014-11-28  Thomas WinantImplement Partial Type Signatures