Introduce tcTypeKind, and use it
[ghc.git] / compiler / typecheck / TcExpr.hs
2018-12-03  Simon Peyton JonesIntroduce tcTypeKind, and use it
2018-11-15  Simon Peyton JonesComments adding to the fix for Trac #15859
2018-11-05  Richard EisenbergFix #15859 by checking, not assuming, an ArgFlag
2018-10-27  Matthew YacavoneMore explicit foralls (GHC Proposal 0007)
2018-10-24  Ryan ScottKeep top-level names in typed TH quotes alive
2018-10-23  Ben GamariAdd 'hadrian/' from commit '45f3bff7016a2a0cd9a5455a882...
2018-10-04  Simon Peyton Jonestc-trace changes only
2018-10-04  Simon Peyton JonesFail fast on pattern synonyms
2018-09-28  Ryan ScottNormalise EmptyCase types using the constraint solver
2018-08-24  Simon Peyton JonesBetter error reporting for inaccessible code
2018-08-21  klebinger.andreas... Replace most occurences of foldl with foldl'.
2018-07-10  Simon Peyton JonesMore tc-tracing
2018-06-25  Simon Peyton JonesImprove tc-tracing a bit
2018-06-18  Gabor GreifTypofixes in docs and comments [ci skip]
2018-06-16  Zubin DuggalPreserve parenthesis in function application in typechecker
2018-06-12  Simon Peyton JonesRefactor TcExpr.tcSeq
2018-06-04  Matthew PickeringAdd Outputable instance for HsArg
2018-06-03  Alanas PlascinskastcExtendTyVarEnv2 changed to tcExtendNameTyVarEnv
2018-06-02  Ben Gamarivectorise: Put it out of its misery
2018-04-27  Alan ZimmermanTTG : complete for balance of hsSyn AST
2018-04-09  Alan ZimmermanRestore Trees That Grow reverted commits
2017-12-13  Simon Peyton JonesMinor refactor of TcExpr.tcApp
2017-11-22  Ben GamariUpdate Hadrian
2017-11-21  Ben GamariRevert "trees that grow" work
2017-11-15  Andrey MokhovPull recent Hadrian changes from upstream
2017-11-14  Alan ZimmermanTTG3 Combined Step 1 and 3 for Trees That Grow
2017-11-11  Alan ZimmermanWIP on combined Step 1 and 3 for Trees That Grow, HsExpr
2017-11-10  Ben GamariMerge commit '5229c43ccf77bcbffeced01dccb27398d017fa34'
2017-11-09  Ben GamariMerge initial Hadrian snapshot
2017-11-08  Alan ZimmermanWIP on Doing a combined Step 1 and 3 for Trees That...
2017-11-08  Ben GamariMerge remote-tracking branch 'github/pr/83'
2017-11-07  Ben GamariRevert "WIP on combining Step 1 and 3 of Trees That...
2017-11-07  Alan ZimmermanWIP on combining Step 1 and 3 of Trees That Grow
2017-11-06  Andrey MokhovMerge commit '7b0b9f603bb1215e2b7af23c2404d637b95a4988...
2017-09-21  Adam GundryIdentify fields by selector when type-checking (fixes...
2017-09-19  Herbert Valerio... compiler: introduce custom "GhcPrelude" Prelude
2017-09-15  HE, TaoFix missing fields warnings in empty record constructio...
2017-08-31  Simon Peyton JonesReally fix Trac #14158
2017-08-30  Simon Peyton JonesDefine and use HsArg
2017-08-29  Simon Peyton JonesSmall refactor of getRuntimeRep
2017-08-22  Ryan ScottRevise function arity mismatch errors involving TypeApp...
2017-07-28  Simon Peyton JonesDo not discard insolubles in implications
2017-07-27  Richard EisenbergFix #13819 by refactoring TypeEqOrigin.uo_thing
2017-07-19  Ryan ScottAllow visible type application for []
2017-07-03  Ryan ScottFix #13311 by using tcSplitNestedSigmaTys in the right...
2017-06-05  Alan ZimmermanUdate hsSyn AST to use Trees that Grow
2017-05-28  Alan ZimmermanRemove HsContext from ppr_mono_ty, and remove ppParendH...
2017-05-03  Richard EisenbergFix #13233 by checking for lev-poly primops
2017-04-12  Matthew PickeringSplit up RnEnv into 4 modules, RnUnbound, RnUtils and...
2017-04-11  Gabor GreifTypos in comments [ci skip]
2017-04-06  Simon Peyton JonesComments only
2017-03-10  Simon Peyton JonesImprove error messages for skolems
2017-03-01  David FeuerUpgrade UniqSet to a newtype
2017-02-23  Gabor GreifSpelling only [ci skip]
2017-02-16  Simon Peyton JonesUse the correct origin in SectionL and Section R
2017-02-14  Adam GundryImplement HasField constraint solving and modify Overlo...
2017-02-10  Alan ZimmermanTH-spliced class instances are pretty-printed incorrect...
2017-01-19  Richard EisenbergUpdate levity polymorphism
2017-01-13  Facundo DomínguezDesugar static forms to makeStatic calls.
2017-01-12  Simon Peyton JonesFix top-level constraint handling (Trac #12921)
2016-11-25  Simon Peyton JonesAnother major constraint-solver refactoring
2016-11-15  Gabor GreifTypos in comments, notes and manual
2016-11-13  Ben GamariKill Type pretty-printer
2016-10-24  Simon Peyton JonesTake account of kinds in promoteTcType
2016-10-21  Simon Peyton JonesA collection of type-inference refactorings.
2016-08-26  Simon Peyton JonesAllow typed holes to be levity-polymorphic
2016-08-05  Ömer Sinan AğacanReplace some `length . filter` with `count`
2016-07-21  Ömer Sinan AğacanImplement unboxed sum primitive type
2016-07-06  Facundo DomínguezHave addModFinalizer expose the local type environment.
2016-06-25  Richard Eisenbergs/Invisible/Inferred/g s/Visible/Required/g
2016-06-23  Richard EisenbergFix #10963 and #11975 by adding new cmds to GHCi.
2016-06-15  Simon Peyton JonesRe-add FunTy (big patch)
2016-06-13  Simon Peyton JonesImprove typechecking of let-bindings
2016-06-10  Simon Peyton JonesMinor refactoring
2016-06-09  Facundo DomínguezImprove the error messages for static forms.
2016-06-06  Alan ZimmermanMerge MatchFixity and HsMatchContext
2016-05-24  Simon Peyton JonesDon't split the arg types in a PatSyn signature
2016-05-10  Bartosz NitkaGet rid of Traversable UniqFM and Foldable UniqFM
2016-05-10  Simon Peyton JonesComments only
2016-05-10  Simon Peyton JonesEmit wild-card constraints in the right place
2016-05-02  Facundo DomínguezStaticPointers: Allow closed vars in the static form.
2016-04-10  Jason EisenbergFix suggestions for unbound variables (#11680)
2016-03-31  Simon Peyton JonesMake SigSkol take TcType not ExpType
2016-03-31  Simon Peyton JonesRefactor in TcMatches
2016-03-30  Gabor GreifTypos in non-code
2016-03-25  Simon Peyton JonesAn extra traceTc in tcExpr for ExprWithSig
2016-03-17  Richard EisenbergFix #11512 by getting visibility right for methods
2016-03-15  Richard EisenbergRefactor visible type application.
2016-02-25  Michael WalkerPrint which warning-flag controls an emitted warning
2016-02-25  Facundo DomínguezOverload the static form to reduce verbosity.
2016-02-24  Richard EisenbergAddress #11471 by putting RuntimeRep in kinds.
2016-02-18  Simon Peyton Jones(Another) minor refactoring of substitutions
2016-02-12  Simon Peyton JonesImprove pretty-printing of HsWrappers
2016-01-30  Bartosz NitkaAdd asserts to other substitution functions
2016-01-27  Richard EisenbergRefactor the typechecker to use ExpTypes.
2016-01-19  Bartosz NitkaCheck InScopeSet in substTy and provide substTyUnchecked
2016-01-18  Jan StolarekReplace calls to `ptext . sLit` with `text`
2016-01-18  Eric Seidelun-wire-in error, undefined, CallStack, and IP
2016-01-16  Alan ZimmermanWork SourceText in for all integer literals
2016-01-15  Richard EisenbergFix typo in error message (#11409)
next