Fix regDotColor for amd64.
[ghc.git] / compiler / typecheck /
2019-01-23  Gabor GreifA few typofixes
2019-01-21  Matthew PickeringFix typo in TcRnTypes.hs [skip ci]
2019-01-20  Chaitanya KoparkarMention DerivingStrategies in the warning when DAC...
2019-01-18  Herbert Valerio... Prepare source-tree for base-4.13 MFP bump
2019-01-17  Simon Peyton JonesSmall refactor
2019-01-17  Simon Peyton JonesRemove export of checkValidFamPats, never used
2019-01-15  Ryan Scott@simonpj's suggested refactor
2019-01-15  Ryan ScottControl validity-checking of type synonym applications...
2019-01-11  Matthew PickeringRun typed splices in the zonker
2019-01-08  Ryan ScottBe pickier about unsaturated synonyms in :kind
2019-01-06  Ryan ScottFix #16133 by checking for TypeApplications in rnExpr
2019-01-06  chessaiAdd -Wmissing-deriving-strategies
2019-01-03  mynguyenVisible kind application
2018-12-29  Shayne Fletcherrebindable-clash-warning-fix : correct warning logic
2018-12-21  Ben GamariTcRnDriver: Fix haddock-like comment
2018-12-21  Simon Peyton JonesFix treatment of hi-boot files and dfuns
2018-12-21  Simon Peyton JonesTiny refactor to tcExtendRecEnv
2018-12-21  Simon Peyton JonesMake candidateQTvs contain tyvar with zonked kinds
2018-12-21  Ryan ScottFix #16002 by moving a validity check to the renamer
2018-12-20  Simon Peyton JonesAdd solveLocalEqualities to tcHsPatSigType
2018-12-19  chessaidon't suggest Rank2Types in error messages (Fixed ...
2018-12-17  Gabor GreifStomp a few typos and grammaros
2018-12-15  Ingo BlechschmidtUse https links in user-facing startup and error messages
2018-12-11  Shayne FletcherEnable rebindable fail with overloaded strings
2018-12-11  Alec TheriaultSupport generating HIE files
2018-12-11  Daniel GröberSupport registering Plugins through the GHC API
2018-12-11  Ryan ScottFix #16008 with a pinch of addConsistencyConstraints
2018-12-10  Richard EisenbergFix minor mistake in comment about data decls.
2018-12-07  Simon Peyton JonesWibble to Taming the Kind Inference Monster
2018-12-06  Simon Peyton JonesRemove a tcTrace
2018-12-03  Simon Peyton JonesComments only
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  Chaitanya KoparkarFix #15953 by consistently using dumpIfSet_dyn to print...
2018-11-29  Simon Peyton JonesTaming the Kind Inference Monster
2018-11-24  Shayan-Najd[TTG: Handling Source Locations] Foundation and Pat
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-22  Simon JakobiRefactor TcRnMonad.mapAndRecoverM
2018-11-22  Simon JakobiDon't reverse explicit export lists during renaming
2018-11-22  Sylvain HenryRename literal constructors
2018-11-17  Abhiroop SarkarIntroduce Int16# and Word16#
2018-11-17  Chris SmithFix trac #15702, as a followon to fix for #13704.
2018-11-17  Roland SennFix #12906: GHC fails to typecheck Main module without...
2018-11-15  Simon Peyton JonesComments adding to the fix for Trac #15859
2018-11-11  rolandGHCi does not need a main function
2018-11-08  Ryan ScottFix #15845 by defining etaExpandFamInstLHS and using it
2018-11-05  Richard EisenbergFix #15859 by checking, not assuming, an ArgFlag
2018-11-04  rolandFix for Trac #15611: Scope errors lie about what module...
2018-11-02  Michal TerepetaAdd Int8# and Word8#
2018-11-01  Matthías Páll Giss... Add built-in syntax suggestions, and refactor to allow...
2018-11-01  Richard EisenbergDon't lint erroneous programs.
2018-11-01  Richard EisenbergActually fail in failIfEmitsConstraints
2018-10-29  Richard EisenbergRevert "Remove kind generalisation from tcRnType"
2018-10-29  Richard EisenbergRemove kind generalisation from tcRnType
2018-10-29  Richard EisenbergFix #15787 by squashing a coercion hole.
2018-10-29  Tobias DammersFinish fix for #14880.
2018-10-28  Ben GamariPlugins: Add documentation and missing exports
2018-10-28  Ningning XieFix TcType.anyRewritableTyVar
2018-10-28  Ningning XieFix `:k` command: add validity checking
2018-10-27  Matthew YacavoneMore explicit foralls (GHC Proposal 0007)
2018-10-26  Simon JakobiRemove redundant SOURCE import
2018-10-26  Simon Peyton JonesFix generalisation for type constructors
2018-10-26  Simon Peyton JonesDe-monadise the 'extract' functions in RnTypes
2018-10-25  Simon Peyton JonesA little more wibbling to -ddump-types
2018-10-25  Simon Peyton JonesFix comment in TcType
2018-10-25  Simon Peyton JonesImprove comments, triggered by Trac #15135
2018-10-25  Simon Peyton JonesRemove a zonkTcTyVarToTyVar
2018-10-24  Simon Peyton JonesRemove unnecessary free-var-set deletion
2018-10-24  Simon Peyton JonesWibble report a wanted
2018-10-24  Simon Peyton JonesAdd HasDebugCallStack to ctEvCoecion
2018-10-24  Simon Peyton JonesReport a Wanted error even if there are Given ones
2018-10-24  Simon Peyton JonesDon't print out undefined coercions
2018-10-24  Simon Peyton JonesSolve equalities in a pattern signature
2018-10-24  Simon Peyton JonesRefactor the treatment of predicate types
2018-10-24  Simon Peyton JonesImprove output from -ddump-types
2018-10-24  Ryan ScottFix #15792 by not reifying invisible arguments in AppTys
2018-10-24  Ryan ScottKeep top-level names in typed TH quotes alive
2018-10-23  Ben GamariAdd 'hadrian/' from commit '45f3bff7016a2a0cd9a5455a882...
2018-10-15  Ryan ScottFix #12430 by expanding type synonyms in injTyVarsOfType
2018-10-11  Piyush P KururSupport builtin classes like KnownNat in backpack
2018-10-09  Ben GamariRevert "Add Int8# and Word8#"
2018-10-07  Michal TerepetaAdd Int8# and Word8#
2018-10-05  Krzysztof GogolewskiMake TcRnMonad independent of TcSplice (#14391)
2018-10-04  Simon Peyton Jonestc-trace changes only
2018-10-04  Simon Peyton JonesDistinguish Inferred from Specified tyvars
2018-10-04  Simon Peyton JonesFail fast on pattern synonyms
2018-10-04  Simon Peyton JonesBetter comments and debug-print only
2018-10-04  Simon Peyton JonesBetter -ddump-types
2018-10-02  chessairesolve T13704
2018-10-01  Ryan ScottQuantify class variables first in associated families...
2018-10-01  Ryan ScottFix #15637 by using VTA more in GND
2018-09-28  Ryan ScottNormalise EmptyCase types using the constraint solver
2018-09-27  Simon MarlowFix for recover with -fexternal-interpreter (#15418)
2018-09-26  Simon Peyton JonesExpand the Note on let-bound skolems
2018-09-23  Simon Peyton JonesComments only
2018-09-15  ningningCoercion Quantification
2018-09-14  Michael SloanAdd support for ImplicitParams and RecursiveDo in TH
2018-09-13  Krzysztof GogolewskiFix build
next