Filter out BuiltinRules in occurrence analysis
[ghc.git] / compiler / typecheck /
2016-02-27  Manav RathiMake warning names more consistent
2016-02-27  Facundo DomínguezOverload the static form to reduce verbosity.
2016-02-18  Ben GamariUnwire Typeable representation types
2016-02-18  Richard EisenbergFix #11313.
2016-02-18  Richard EisenbergFix #11246.
2016-02-18  Richard EisenbergMake exactTyCoVarsOfTypes closed over kinds.
2016-02-18  Yuras ShumovichSuggest candidate instances in error message
2016-02-18  Rik SteenkampFix typos
2016-02-18  Rik SteenkampFix two wrong uses of "data constructor" in error msgs
2016-02-18  Simon Peyton JonesA tiny, outright bug in tcDataFamInstDecl
2016-02-18  Simon Peyton JonesImprove error message suppression
2016-02-18  Simon Peyton JonesAllow foralls in instance decls
2016-02-18  Ömer Sinan Ağacans/unLifted/unlifted for consistency
2016-02-18  Simon Peyton JonesMinor refactoring to tauifyMultipleMatches
2016-02-18  Simon Peyton JonesImprove pretty-printing of HsWrappers
2016-02-18  Simon Peyton JonesSimplify AbsBinds wrapping
2016-02-11  Simon Peyton JonesWrap solveEqualities in checkNoErrs
2016-02-11  Ben GamariTcPatSyn: Fix spelling of "pattern" in error message
2016-02-11  Ben GamariTcErrors: Fix plural form of "instance" error
2016-02-11  Simon Peyton JonesFix a nasty superclass expansion bug
2016-02-11  Simon Peyton JonesImprove error messages for recursive superclasses
2016-02-11  Simon Peyton JonesDocument and improve superclass expansion
2016-02-11  Simon Peyton JonesRemove unused export from TcUnify
2016-02-04  George KarachaliasOverhaul the Overhauled Pattern Match Checker
2016-02-02  Richard EisenbergFix some substitution InScopeSets
2016-02-02  Bartosz NitkaRename "open" subst functions
2016-02-02  Bartosz NitkaUse a correct substitution in tcCheckPatSynDecl
2016-02-02  Richard EisenbergRefactor the typechecker to use ExpTypes.
2016-02-02  Simon Peyton JonesTidy up tidySkolemInfo
2016-02-01  Eric SeidelHide the CallStack implicit parameter
2016-01-27  Gabor GreifTypos in comments
2016-01-27  Bartosz NitkaConstruct in_scope set in mkTopTCvSubst
2016-01-27  Simon Peyton JonesKill off zipTopTCvSubst in favour of zipOpenTCvSubst
2016-01-25  Simon Peyton JonesAvoid recursive use of immSuperClasses
2016-01-25  Herbert Valerio... Rename -Wmissing-monadfail-instance to plural-form
2016-01-25  Simon Peyton JonesSpecial-case implicit params in superclass expansion
2016-01-25  Thomas MiedemaRemove `replaceDynFlags` from `ContainsDynFlags`
2016-01-22  Eric SeidelDefault non-canonical CallStack constraints
2016-01-22  Simon Peyton JonesAllow implicit parameters in constraint synonyms
2016-01-21  Simon Peyton JonesStrip casts in checkValidInstHead
2016-01-21  Simon Peyton JonesComments only
2016-01-21  Simon Peyton JonesRe-add missing kind generalisation
2016-01-21  Bartosz NitkasubstTy to substTyUnchecked to fix Travis build
2016-01-21  Bartosz NitkaCheck InScopeSet in substTy and provide substTyUnchecked
2016-01-21  Ben GamariRework derivation of type representations for wired...
2016-01-21  Ben GamariUse (&&) instead of `if` in Ix derivation
2016-01-21  Gabor GreifTypos in comments
2016-01-19  Jan StolarekReplace calls to `ptext . sLit` with `text`
2016-01-18  Simon Peyton JonesTypo in comment
2016-01-18  Simon Peyton JonesImplement scoped type variables in pattern synonyms
2016-01-18  Simon Peyton JonesAdd Trac #11427 to Note [Recursive superclasses]
2016-01-18  Simon Peyton JonesRefactoring on IdInfo and system derived names
2016-01-18  Simon Peyton JonesImprove debug printing/warnings
2016-01-18  Simon Peyton JonesWhite space only
2016-01-18  Simon Peyton JonesLayout only
2016-01-18  Simon Peyton JonesSimplify API to tcMatchTys
2016-01-18  Simon Peyton JonesFix typecheck of default associated type decls
2016-01-18  Eric Seidelun-wire-in error, undefined, CallStack, and IP
2016-01-17  Simon Peyton JonesFix a number of subtle solver bugs
2016-01-17  Alan ZimmermanWork SourceText in for all integer literals
2016-01-17  Rik SteenkampFix some typos
2016-01-15  Richard EisenbergFix #11405.
2016-01-15  Richard EisenbergFix typo in error message (#11409)
2016-01-15  Richard EisenbergTiny refactoring in TcUnify
2016-01-15  Richard EisenbergConstrained types have kind * in validity check.
2016-01-15  Richard EisenbergFix #11254.
2016-01-15  Richard EisenbergFix #11355.
2016-01-15  RyanGlScottExpand type/kind synonyms in TyVars before deriving...
2016-01-15  RyanGlScottRefactor lookupFixityRn-related code following D1744
2016-01-14  Ben GamariRename InjectiveTypeFamilies to TypeFamilyDependencies
2016-01-14  Jan StolarekMinor code refactoring
2016-01-14  Iavor S. DiatchkiHandle over-applied custom type errors too.
2016-01-09  Jan StolarekAdd InjectiveTypeFamilies language extension
2016-01-09  Simon Peyton JonesTurn AThing into ATcTyCon, in TcTyThing
2016-01-09  Simon Peyton JonesUse an Implication in 'deriving' error
2016-01-08  Simon MarlowSupport for qRecover in TH with -fexternal-interpreter
2016-01-08  Simon MarlowEnable stack traces with ghci -fexternal-interpreter...
2016-01-08  RyanGlScottFix Template Haskell's handling of infix GADT constructors
2016-01-08  Jan StolarekChange Template Haskell representation of GADTs.
2016-01-06  RyanGlScottRestore old GHC generics behavior vis-à-vis Fixity
2015-12-30  Gabor GreifFix some typos
2015-12-30  Richard EisenbergFix #11305.
2015-12-26  Richard EisenbergFix #11287.
2015-12-26  Richard EisenbergHave mkCastTy look more closely for reflexivity.
2015-12-26  Richard EisenbergFix #11255.
2015-12-24  Richard EisenbergVisible type application
2015-12-24  Simon Peyton JonesRefactoring only
2015-12-23  Simon Peyton JonesFix super-class cycle check
2015-12-23  Simon Peyton JonesTidy up and comment wildcards in family instances
2015-12-23  Simon Peyton JonesAdd a pattern-syn form of PromotionErr
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-22  RyanGlScottRework Template Haskell's handling of strictness
2015-12-22  Simon Peyton JonesComments only, about coercion holes
2015-12-21  Jan StolarekAdd proper GADTs support to Template Haskell
2015-12-21  Ömer Sinan AğacanTcTyClsDecls: Remove invalid comments about list monads
2015-12-21  RyanGlScottEncode strictness in GHC generics metadata
2015-12-21  Michał SośnickiWarn about unused type variables in type families
2015-12-21  Alan ZimmermanAdd Location to RdrName in FieldOcc
2015-12-21  Ömer Sinan AğacanTcTyClsDecls: Add a type annotation
next