Remove knot-tying bug in TcHsSyn.zonkTyVarOcc
[ghc.git] / testsuite / tests / patsyn /
2018-08-05  Krzysztof GogolewskiFix typos
2018-07-15  Richard EisenbergMake some tests robust against DEBUG compiler
2018-06-25  Simon Peyton JonesFix error recovery for pattern synonyms
2018-06-20  Ben Gamaritestsuite: Add broken test for #15289
2018-06-14  Vladislav ZavialovEmbrace -XTypeInType, add -XStarIsType
2018-05-20  Alp MestanogullariAnother batch of './validation --slow' tweaks
2018-05-16  Ryan ScottFix #15039 by pretty-printing equalities more systemati...
2018-05-14  Alp MestanogullariFix another batch of `./validate --slow` failures
2018-04-19  Alp Mestanogullaritestsuite: Fix `./validate --slow`
2018-03-21  Simon Peyton JonesAllow as-patterns in unidirectional patttern synonyms
2018-01-22  Ryan ScottPass -dsuppress-uniques when running T14507
2018-01-05  Simon Peyton JonesFix another obscure pattern-synonym crash
2018-01-05  Simon Peyton JonesImprove pretty-printing for pattern synonyms
2018-01-04  Simon Peyton JonesFix deep, dark corner of pattern synonyms
2017-12-18  Simon Peyton JonesFix scoping of pattern-synonym existentials
2017-12-07  Simon Peyton JonesRefactor ConDecl: Trac #14529
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-09  Ben GamariMerge initial Hadrian snapshot
2017-11-09  Ben Gamaritestsuite: Fix output of T14394
2017-11-08  Simon Peyton JonesMinimise provided dictionaries in pattern synonyms
2017-11-06  Andrey MokhovMerge commit '7b0b9f603bb1215e2b7af23c2404d637b95a4988...
2017-10-24  Simon Peyton JonesTemporary fix to Trac #14380
2017-10-05  Ryan ScottAdd regression test for #14326
2017-10-03  Ryan ScottTrack the order of user-written tyvars in DataCon
2017-09-15  Ryan ScottFix #14228 by marking SumPats as non-irrefutable
2017-09-02  Ryan ScottDisallow bang/lazy patterns in the RHSes of implicitly...
2017-08-22  Ryan ScottFix #14114 by checking for duplicate vars on pattern...
2017-08-01  Ryan ScottAllow bundling pattern synonyms with exported data...
2017-07-28  Simon Peyton JonesFix instantiation of pattern synonyms
2017-07-11  Ömer Sinan AğacanMention which -Werror promoted a warning to an error
2017-06-23  Matthew PickeringUse actual universal tvs in check for naughty record...
2017-05-25  Simon Peyton JonesPattern synonyms and higher rank types
2017-05-11  Ben GamariAllow spliced patterns in pattern synonyms
2017-03-29  Matthew PickeringAllow operators as record pattern synonym fields
2017-03-28  Simon Peyton JonesComplete the fix for #13441 (pattern synonyms)
2017-03-27  Simon Peyton JonesFix explicitly-bidirectional pattern synonyms
2017-03-27  Matthew PickeringOnly use locally bound variables in pattern synonym...
2017-03-10  Simon Peyton JonesFix TcSimplify.decideQuantification for kind variables
2017-03-06  Ben GamariRead COMPLETE sets from external packages
2017-03-03  Ben GamariRevert "Read COMPLETE sets from external packages"
2017-03-03  Ryan ScottRead COMPLETE sets from external packages
2017-03-03  Reid BartonDon't allow orphan COMPLETE pragmas (#13349)
2017-02-26  Reid Bartontests: remove extra_files.py (#12223)
2017-02-18  Ben GamariType-indexed Typeable
2017-01-22  Thomas MiedemaRemove clean_cmd and extra_clean usage from .T files
2017-01-19  Richard EisenbergUpdate levity polymorphism
2016-12-21  Simon Peyton JonesTest Trac #12968, plus some comments
2016-12-17  Richard EisenbergReshuffle levity polymorphism checks.
2016-10-26  Matthew PickeringRefine ASSERT in buildPatSyn for the nullary case.
2016-10-21  Simon Peyton JonesA collection of type-inference refactorings.
2016-10-17  Simon Peyton JonesCorrect order of existentials in pattern synonyms
2016-10-08  Matthew PickeringRework renaming of children in export lists.
2016-10-02  Matthew PickeringDon't warn about name shadowing when renaming the patte...
2016-10-02  Matthew PickeringFix interaction of record pattern synonyms and record...
2016-08-17  Simon Peyton JonesKeep the bindings local during defaultCallStacks
2016-08-12  Simon Peyton JonesImprove missing-sig warning
2016-07-04  Seraphime KirkovskiTreat duplicate pattern synonym signatures as an error
2016-07-01  Matthew PickeringAllow one type signature for multiple pattern synonyms
2016-06-20  Thomas MiedemaTestsuite: tabs -> spaces [skip ci]
2016-06-20  Thomas MiedemaTestsuite: remove Windows CR again.. [skip ci]
2016-06-15  Simon Peyton JonesMajor patch to introduce TyConBinder
2016-06-13  Simon Peyton JonesImprove typechecking of let-bindings
2016-06-06  Alan ZimmermanMerge MatchFixity and HsMatchContext
2016-05-24  Simon Peyton JonesDon't split the arg types in a PatSyn signature
2016-05-23  Matthew PickeringAllow unlifted types in pattern synonym result type
2016-05-04  Ben Gamaritestsuite: Add test for #11959
2016-05-01  Matthew PickeringMake sure record pattern synonym selectors are in scope...
2016-04-26  Bartosz NitkaKill varSetElemsWellScoped in quantifyTyVars
2016-04-02  Rik SteenkampImprove printing of pattern synonym types
2016-03-31  Simon Peyton JonesRefactor error generation for pattern synonyms
2016-03-24  Rik SteenkampAdd `PatSynSigSkol` and modify `PatSynCtxt`
2016-03-21  Richard EisenbergTypeApplications does not imply AllowAmbiguousTypes
2016-03-17  Richard EisenbergFix #11711.
2016-03-09  Simon Peyton JonesRefactoring around TcPatSyn.tcPatToExpr
2016-02-25  Michael WalkerPrint which warning-flag controls an emitted warning
2016-02-25  Rik SteenkampImprove pattern synonym error messages (add `PatSynOrigin`)
2016-02-25  Matthew PickeringReconstruct record expression in bidir pattern synonym
2016-02-25  Manav RathiMake warning names more consistent
2016-02-23  Thomas MiedemaTestsuite: delete Windows line endings [skip ci] (...
2016-02-15  Matthew PickeringRename missing-pat-syn-sigs to missing-pat-syn-signatures
2016-01-18  Simon Peyton JonesImplement scoped type variables in pattern synonyms
2016-01-15  Matthew PickeringAllow pattern synonyms which have several clauses.
2016-01-02  Simon Peyton JonesTest Trac #11336
2015-12-29  Adam GundryFix panic when using pattern synonyms with Disambiguate...
2015-12-24  Richard EisenbergVisible type application
2015-12-23  Simon Peyton JonesUpdate tests for Trac #11039
2015-12-23  Simon Peyton JonesFix ASSERT in buildPatSyn, and T10897 test
2015-12-23  Simon Peyton JonesAdd a pattern-syn form of PromotionErr
2015-12-23  Simon Peyton JonesWibble to error message in Trac #10426
2015-12-23  Simon Peyton JonesRevert "Allow as-patterns in pattern synonym declarations."
2015-12-22  Ben GamariRemove another duplicate test
2015-12-22  Ben GamariRemove duplicate T11224 test definition
2015-12-22  Simon Peyton JonesFix typechecking for pattern synonym signatures
2015-12-20  Matthew PickeringAllow as-patterns in pattern synonym declarations.
2015-12-20  Matthew PickeringDisallow empty where bindings in pattern synonym declar...
2015-12-16  Matthew PickeringAdd test for #10897
2015-12-15  Ben GamariAdd testcase for #11224
2015-12-12  Matthew PickeringImplement -fwarn-missing-pat-syn-sigs
next