Generate Typeable info at definition sites
[ghc.git] / compiler / typecheck / TcHsSyn.hs
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  Matthew PickeringRecord pattern synonyms
2015-10-16  Adam GundryImplement DuplicateRecordFields
2015-09-17  Simon MarlowApplicativeDo transformation
2015-06-28  Ben GamariAdd -fcross-module-specialise flag
2015-06-21  Iavor S. DiatchkiChange `Typeable` instance for type-lis to use the...
2015-05-18  Simon Peyton JonesRefactor tuple constraints
2015-05-14  Austin SeippRevert multiple commits
2015-05-13  Simon Peyton JonesRefactor tuple constraints
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-04-22  Simon Peyton JonesFix superclass generation in an instance
2015-04-09  Simon Peyton JonesMake the evidence in a CtGiven into an EvId
2015-03-19  Iavor S. DiatchkiRemove unused parameter to `EvTypeableTyCon`
2015-03-17  Simon Peyton JonesRefactor the extra-deps stuff for hs-boot
2015-03-07  Iavor S. DiatchkiCustom `Typeable` solver, that keeps track of kinds.
2015-02-10  Simon Peyton JonesRefactor the handling of quasi-quotes
2015-01-19  Eric SeidelExpose source locations via Implicit Parameters of...
2015-01-16  Alan ZimmermanAPI Annotations tweaks.
2015-01-06  Simon Peyton JonesMajor patch to add -fwarn-redundant-constraints
2014-12-18  Iavor S. DiatchkiAdd a provenance field to universal coercions.
2014-12-12  Richard EisenbergRewrite `Coercible` solver
2014-12-10  Facundo DomínguezImplement -XStaticValues
2014-12-03  Austin Seippcompiler: de-lhs typecheck/