rts: Rename the nondescript initProfiling2 to refreshProfilingCCSs
[ghc.git] / compiler / types /
2019-06-20  Simon Peyton JonesComments and tiny refactor
2019-06-20  Ömer Sinan AğacanProperly trim IdInfos of DFunIds and PatSyns in TidyPgm
2019-06-14  Andrew MartinImplement the -XUnliftedNewtypes extension.
2019-06-12  Krzysztof GogolewskiUse DeriveFunctor throughout the codebase (#15654)
2019-06-04  Xavier DenisAdd GHCi :instances command
2019-05-29  Krzysztof GogolewskiFix missing unboxed tuple RuntimeReps (#16565)
2019-05-28  Richard EisenbergImprove comments around injectivity checks
2019-05-03  Ryan ScottMake equality constraints in kinds invisible
2019-04-14  Krzysztof GogolewskiFix assertion failures reported in #16533
2019-04-11  Carter Schonwaldremoving x87 register support from native code gen
2019-04-04  Ryan ScottFix #16518 with some more kind-splitting smarts
2019-03-25  Takenobu TaniUpdate Wiki URLs to point to GitLab
2019-03-15  Ryan ScottUpdate Trac ticket URLs to point to GitLab
2019-03-11  Krzysztof GogolewskiChange the warning in substTy back to an assertion
2019-03-07  Ryan ScottFix #16391 by using occCheckExpand in TcValidity
2019-03-05  Simon Peyton JonesBe more careful when naming TyCon binders
2019-03-01  Ryan ScottVisible dependent quantification
2019-02-24  Simon Peyton JonesAdd AnonArgFlag to FunTy
2019-02-22  Simon Peyton JonesRemove tcTyConUserTyVars
2019-02-20  Simon Peyton JonesTiny refactor in isUnliftedRuntimeRep
2019-02-18  Simon Peyton JonesGet rid of tcm_smart from TyCoMapper
2019-02-14  Simon Peyton JonesMake a smart mkAppTyM
2019-02-12  Richard EisenbergFix #16188
2019-02-12  Ryan ScottFix #16293 by cleaning up Proxy# infelicities
2019-02-08  Richard EisenbergFix #14729 by making the normaliser homogeneous
2019-02-06  Ryan ScottFix #14579 by defining tyConAppNeedsKindSig, and using it
2019-01-28  Richard EisenbergSome refactoring in tcInferApps
2019-01-18  Herbert Valerio... Prepare source-tree for base-4.13 MFP bump
2019-01-11  Richard EisenbergMore minor comment improvements
2019-01-06  Adam Sandberg ErikssonRemove OPTIONS_HADDOCK hide in favour for not-home
2019-01-04  Richard EisenbergFix some typos, etc., in comments.
2019-01-03  mynguyenVisible kind application
2018-12-07  Simon Peyton JonesWibble to Taming the Kind Inference Monster
2018-12-03  Simon Peyton JonesIntroduce tcTypeKind, and use it
2018-12-03  Ryan ScottFix #15954 by rejigging check_type's order
2018-11-29  Simon Peyton JonesTaming the Kind Inference Monster
2018-11-22  David EichmannFix unused-import warnings
2018-11-22  Ryan ScottOverhaul -fprint-explicit-kinds to use VKA
2018-11-22  Ryan ScottFix #15852 by eta expanding data family instance RHSes...
2018-11-17  Abhiroop SarkarIntroduce Int16# and Word16#
2018-11-15  Simon Peyton JonesComments adding to the fix for Trac #15859
2018-11-15  Simon Peyton JonesComments only, about polykinded TyConApps
2018-11-08  Ryan ScottFix #15845 by defining etaExpandFamInstLHS and using it
2018-11-02  Michal TerepetaAdd Int8# and Word8#
2018-11-02  mniipMove eta-reduced coaxiom compatibility handling quirks...
2018-11-01  Richard EisenbergFix embarrassing, egregious bug in roles of (->)
2018-10-29  Tobias DammersFinish fix for #14880.
2018-10-26  Simon Peyton JonesFix nasty bug in the type free-var finder, at last
2018-10-24  Simon Peyton JonesRefactor the treatment of predicate types
2018-10-24  Ryan ScottFix #15792 by not reifying invisible arguments in AppTys
2018-10-23  Ben GamariAdd 'hadrian/' from commit '45f3bff7016a2a0cd9a5455a882...
2018-10-22  Richard EisenbergClarify Note about ForAllCo coercions.
2018-10-19  Ningning XieAdding almost devoid check for covar in ForAllCo
2018-10-15  Tobias DammersUse an accumulator version of tyCoVarsOfType
2018-10-15  Ryan ScottFix #15725 with an extra Sym
2018-10-09  Ben GamariRevert "Add Int8# and Word8#"
2018-10-07  Michal TerepetaAdd Int8# and Word8#
2018-10-04  Alec TheriaultImprove generated `GHC.Prim` docs
2018-10-01  Ryan ScottFix #15637 by using VTA more in GND
2018-09-23  Ryan ScottAdd a recursivity check in nonVoid
2018-09-15  ningningCoercion Quantification
2018-09-02  Ryan ScottReject class instances with type families in kinds
2018-08-31  Simon Peyton JonesComments only
2018-08-31  Richard EisenbergMinor improvements to comments [skip ci]
2018-08-28  Ryan ScottRename kind vars in left-to-right order in bindHsQTyVars
2018-08-24  Simon Peyton JonesAdd comments about pretty-printing via IfaceSyn
2018-08-23  Simon Peyton JonesComments only
2018-08-22  Simon Peyton JonesTurn infinite loop into a panic
2018-08-21  klebinger.andreas... Replace most occurences of foldl with foldl'.
2018-08-06  Piyush P KururSupport typechecking of type literals in backpack
2018-08-02  Richard EisenbergRemove decideKindGeneralisationPlan
2018-08-01  Richard EisenbergRemove the type-checking knot.
2018-07-29  Ningning XieFix #15453: bug in ForAllCo case in opt_trans_rule
2018-07-25  Simon Peyton JonesTreat isConstraintKind more consistently
2018-07-24  Simon Peyton JonesFix a nasty bug in piResultTys
2018-07-23  Richard EisenbergFix some casts.
2018-07-19  Sasa BogicevicSmall spelling fixes for Unify.hs
2018-07-11  Ryan ScottUse IfaceAppArgs to store an IfaceAppTy's arguments
2018-07-10  Richard EisenbergNote [Ordering of implicit variables]
2018-07-10  Simon Peyton JonesFix decompsePiCos and visible type application
2018-07-10  ningningRefactor coercion rule
2018-07-08  Ryan ScottDefine an Outputable MCoercion instance
2018-06-29  Gabor GreifA few typofixes in comments
2018-06-26  Simon Peyton JonesAdd commnent about binder order
2018-06-26  Gabor GreifTypofixes in comments and whitespace only [ci skip]
2018-06-19  Simon Peyton JonesAdjust comments (Trac #14164)
2018-06-18  Gabor GreifTypofixes in docs and comments [ci skip]
2018-06-18  Simon Peyton JonesTwo small refactorings
2018-06-18  Simon Peyton JonesFix an infinite loop in niFixTCvSubst
2018-06-15  Simon Peyton JonesFix corner case in typeKind, plus refactoring
2018-06-14  Vladislav ZavialovEmbrace -XTypeInType, add -XStarIsType
2018-06-14  Ben GamariOptCoercion: Ensure we use new UnivCo provenance to...
2018-06-07  Matthew PickeringRename dataConRepNameUnique to dataConTyRepNameUnique
2018-06-07  Ben GamariDon't use unsafeGlobalDynFlags in optCoercion
2018-06-04  Simon Peyton JonesImplement QuantifiedConstraints
2018-06-04  Simon Peyton JonesExpand type synonyms when Linting a forall
2018-05-30  ningningDefine MCoercion type
2018-05-25  Simon Peyton JonesComments about the substition invariant
2018-05-24  Ryan ScottClean up the conflicting data family instances error...
2018-05-23  Simon Peyton JonesAdd missing check to isReflCoVar_maybe
next