Major patch to introduce TyConBinder
[ghc.git] / compiler / typecheck / TcPatSyn.hs
2016-06-15  Simon Peyton JonesMajor patch to introduce TyConBinder
2016-06-15  Simon Peyton JonesRe-add FunTy (big patch)
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 PickeringFix build by removing unused import.
2016-05-23  Matthew PickeringAllow unlifted types in pattern synonym result type
2016-05-16  Bartosz NitkaKill varSetElems in tcInferPatSynDecl
2016-04-28  Simon Peyton JonesRefactor RecordPatSynField, FieldLabel
2016-04-28  Simon Peyton JonesComments only
2016-04-22  Simon Peyton JonesSimplify defaultKindVar and friends
2016-04-20  Simon Peyton JonesTighten up imports, white space
2016-04-19  Simon Peyton JonesRefactor computing dependent type vars
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 EisenbergZonk before calling splitDepVarsOfType.
2016-03-21  Richard EisenbergTrack specified/invisible more carefully.
2016-03-09  Simon Peyton JonesRefactoring around TcPatSyn.tcPatToExpr
2016-02-26  Simon Peyton JonesFix kind generalisation for pattern synonyms
2016-02-25  Rik SteenkampImprove pattern synonym error messages (add `PatSynOrigin`)
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/