Refactor visible type application.
[ghc.git] / compiler / typecheck / TcExpr.hs
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)
2015-12-24  Richard EisenbergVisible type application
2015-12-22  Simon Peyton JonesFix typechecking for pattern synonym signatures
2015-12-21  Alan ZimmermanAdd Location to RdrName in FieldOcc
2015-12-15  Ben GamariExpose enabled language extensions to TH
2015-12-11  Richard EisenbergAdd kind equalities to GHC.
2015-12-11  Adam GundryFix infix record field fixity (#11167 and #11173).
2015-12-01  Simon Peyton JonesRefactor treatment of wildcards
2015-11-22  Alan ZimmermanApiAnnotations: Make all RdrName occurences Located
2015-11-18  Simon Peyton JonesRefactor HsExpr.RecordCon, RecordUpd
2015-11-17  Adam GundryImplement OverloadedLabels
2015-11-13  Alan ZimmermanAPIAnnotations:add Locations in hsSyn for layout
2015-11-07  Matthew PickeringRemove PatSynBuilderId
2015-10-30  Adam GundryDisambiguate record selectors by type signature
2015-10-30  Simon Peyton JonesRecord usage information using GlobalRdrElt
2015-10-29  Matthew PickeringRecord pattern synonyms
2015-10-19  Erik de Castro LopoSystools.hs: Improve detection of GCC and Clang
2015-10-16  Adam GundryImplement DuplicateRecordFields
2015-09-02  Eric SeidelUse IP based CallStack in error and undefined
2015-08-05  Simon Peyton JonesTidy up and refactor wildcard handling
2015-07-27  Adam Sandberg ErikssonImplementation of StrictData language extension
2015-07-21  Simon Peyton JonesMake seq-of-cast rule generate a case
2015-06-28  Ben GamariAdd -fcross-module-specialise flag
2015-06-26  Simon Peyton JonesTreat out-of-scope variables as holes
2015-06-26  Simon Peyton JonesUse a Representaional coercion for data families
2015-06-18  Simon Peyton JonesRename getCtLoc, setCtLoc
2015-05-18  Simon Peyton JonesRefactor tuple constraints
2015-05-14  Austin SeippRevert multiple commits
2015-05-13  Simon Peyton JonesRefactor tuple constraints
2015-05-11  Edward Z. YangSupport stage 1 Template Haskell (non-quasi) quotes...
2015-05-09  Edward Z. YangRevert stage 1 template-haskell. This is a combination...
2015-05-09  Edward Z. YangAlways do polymorphic typed quote check, c.f. #10384
2015-05-06  Austin SeippRevert "API Annotations : add Locations in hsSyn were...
2015-05-06  Alan ZimmermanAPI Annotations : add Locations in hsSyn were layout...
2015-05-06  Vikraman ChoudhuryFix typo: identifer -> identifier
2015-05-05  Edward Z. YangDoc: checkCrossStageLifting, RnSplice/TcExpr is untyped...
2015-03-23  Richard EisenbergDo proper depth checking in the flattener to avoid...
2015-02-10  Simon Peyton JonesRefactor the handling of quasi-quotes
2015-02-10  Yuri de WitReplace .lhs with .hs in compiler comments
2015-01-19  Eric SeidelExpose source locations via Implicit Parameters of...
2015-01-16  Alan ZimmermanAPI Annotations tweaks.
2015-01-08  Simon Peyton JonesImprove HsBang
2014-12-15  Simon Peyton JonesFix dll-split problem with patch 'Make Core Lint check...
2014-12-10  Facundo DomínguezImplement -XStaticValues
2014-12-08  Simon Peyton JonesComments and variable names only, in type checking...
2014-12-03  Austin Seippcompiler: de-lhs typecheck/