compiler: Write .o files atomically. See #14533
[ghc.git] / compiler / types /
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
2018-05-14  Ryan ScottFix #14875 by introducing PprPrec, and using it
2018-05-13  Ben GamariTcInteract: Ensure that tycons have representations...
2018-05-05  klebinger.andreas... Split TrieMap into a general (TrieMap) and core specifi...
2018-04-23  Simon Peyton Jonescoercion: Improve debugging output
2018-04-20  Tobias DammersCaching coercion roles in NthCo and coercionKindsRole...
2018-04-13  Matthew PickeringRemove unused function: mkFunCos
2018-04-07  Simon JakobiDocument SumTyCon
2018-04-01  Richard EisenbergApply Note [EtaAppCo] in OptCoercion to another case
2018-04-01  Richard EisenbergApply the interim fix for #14119 to liftCoMatch
2018-04-01  Richard EisenbergTrack type variable scope more carefully.
2018-03-27  Simon Peyton JonesAvoid quadratic complexity in typeKind
2018-03-26  Alexander ViethFix performance of flattener patch (#12919)
2018-03-26  Richard EisenbergFix #12919 by making the flattener homegeneous.
2018-03-21  Simon Peyton JonesFix two obscure bugs in rule matching
2018-03-21  Ryan ScottFix #14869 by being more mindful of Type vs. Constraint
2018-03-19  Simon Peyton JonesComments and tiny refactor
2018-02-27  Simon Peyton JonesComments only
2018-02-27  Simon Peyton JonesFix a nasty bug in the pure unifier
2018-02-22  Richard EisenbergComments in Unify, fixing #12442
next