Reconstruct record expression in bidir pattern synonym
[ghc.git] / compiler / typecheck / TcPatSyn.hs
2016-02-25  Matthew PickeringReconstruct record expression in bidir pattern synonym
2016-02-24  Richard EisenbergAddress #11471 by putting RuntimeRep in kinds.
2016-02-16  Rik SteenkampFix typos
2016-02-09  Ben GamariTcPatSyn: Fix spelling of "pattern" in error message
2016-02-02  Bartosz NitkaUse a correct substitution in tcCheckPatSynDecl
2016-01-27  Richard EisenbergRefactor the typechecker to use ExpTypes.
2016-01-27  Ömer Sinan Ağacans/unLifted/unlifted for consistency
2016-01-21  Simon Peyton JonesRe-add missing kind generalisation
2016-01-19  Bartosz NitkaCheck InScopeSet in substTy and provide substTyUnchecked
2016-01-18  Jan StolarekReplace calls to `ptext . sLit` with `text`
2016-01-18  Simon Peyton JonesImplement scoped type variables in pattern synonyms
2016-01-07  Simon Peyton JonesUse an Implication in 'deriving' error
2015-12-31  Herbert Valerio... Drop pre-AMP compatibility CPP conditionals
2015-12-24  Richard EisenbergVisible type application
2015-12-23  Simon Peyton JonesRevert "Allow as-patterns in pattern synonym declarations."
2015-12-22  Simon Peyton JonesFix typechecking for pattern synonym signatures
2015-12-20  Matthew PickeringAllow as-patterns in pattern synonym declarations.
2015-12-11  Richard EisenbergAdd kind equalities to GHC.
2015-12-11  Matthew PickeringMake sure PatSyns only get added once to tcg_patsyns
2015-12-01  Simon Peyton JonesRefactor treatment of wildcards
2015-11-22  Alan ZimmermanApiAnnotations: Make all RdrName occurences Located
2015-11-13  Alan ZimmermanAPIAnnotations:add Locations in hsSyn for layout
2015-11-11  Alan ZimmermanRemove fun_infix from Funbind, as it is now in Match
2015-11-07  Matthew PickeringRemove PatSynBuilderId
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-29  Ben GamariMove mkDefaultMethodIds, mkRecSelBinds from TcTyClsDecl...
2015-10-29  Matthew PickeringRecord pattern synonyms
2015-10-27  Simon Peyton JonesZonk properly when checkig pattern synonyms
2015-10-12  Simon Peyton JonesReinstate monomorphism-restriction warnings
2015-08-05  Simon Peyton JonesTidy up and refactor wildcard handling
2015-07-21  Simon Peyton JonesAdd NOINLINE for hs-boot functions
2015-05-06  Austin SeippRevert "API Annotations : add Locations in hsSyn were...
2015-05-06  Alan ZimmermanAPI Annotations : add Locations in hsSyn were layout...
2015-03-24  Simon Peyton JonesImprove environment handling in TcBinds
2015-02-10  Simon Peyton JonesRefactor the handling of quasi-quotes
2015-01-22  Simon Peyton JonesMerge branch 'master' of ssh://git.haskell.org/ghc
2015-01-20  Dr. ERDI GergoCosmetic: Fix all uses of the word 'worker' when referr...
2015-01-19  Simon Peyton JonesAdd missing argument in Match, a merge bug (apologies)
2015-01-19  Simon Peyton JonesFix the 'builder' code for pattern synonyms with type...
2015-01-16  Alan ZimmermanAPI Annotations tweaks.
2015-01-06  Simon Peyton JonesMajor patch to add -fwarn-redundant-constraints
2014-12-20  Dr. ERDI GergoUse a new $b prefix for pattern synonym builder names...
2014-12-16  Peter WortmannGeneralized Coverage pass to allow adding multiple...
2014-12-15  Simon Peyton JonesPattern-synonym matcher and builder Ids must be *LocalIds*
2014-12-03  Austin Seippcompiler: de-lhs typecheck/