Merge remote-tracking branch 'github/pr/83'
[ghc.git] / compiler / deSugar / DsExpr.hs
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-10-27  Simon MarlowApplicativeDo: handle BodyStmt (#12143)
2017-09-26  Ben Gamaridesugar: Catch levity polymorphism in unboxed sum expre...
2017-09-19  Herbert Valerio... compiler: introduce custom "GhcPrelude" Prelude
2017-09-14  Richard EisenbergFix #13929 by adding another levity polymorphism check
2017-08-29  Simon Peyton JonesSmall refactor of getRuntimeRep
2017-07-31  Simon Peyton JonesImprove the desugaring of -XStrict
2017-06-05  Alan ZimmermanUdate hsSyn AST to use Trees that Grow
2017-06-02  Ryan ScottUse lengthIs and friends in more places
2017-05-09  Ben GamariTreat banged bindings as FunBinds
2017-05-08  NolanMake XNegativeLiterals treat -0.0 as negative 0
2017-05-03  Richard EisenbergFix #13233 by checking for lev-poly primops
2017-03-17  Richard EisenbergFix #12709 by not building bad applications
2017-03-06  Rupert HorlickChanged OverLit warnings to work with negative literals...
2017-02-14  Adam GundryImplement HasField constraint solving and modify Overlo...
2017-01-19  Richard EisenbergUpdate levity polymorphism
2017-01-18  Gabor GreifTypos in comments only [ci skip]
2017-01-13  Facundo DomínguezDesugar static forms to makeStatic calls.
2017-01-06  Facundo DomínguezRevert "Have addModFinalizer expose the local type...
2017-01-06  Facundo DomínguezHave addModFinalizer expose the local type environment.
2016-12-21  Simon Peyton JonesFix 'SPECIALISE instance'
2016-07-21  Ömer Sinan AğacanImplement unboxed sum primitive type
2016-07-08  Ben GamariDsExpr: Remove usage of concatFS in fingerprintName
2016-06-06  Alan ZimmermanMerge MatchFixity and HsMatchContext
2016-05-02  Facundo DomínguezStaticPointers: Allow closed vars in the static form.
2016-03-31  Simon Peyton JonesRefactor in TcMatches
2016-03-24  Ben GamariDsExpr: Rip out static/dynamic check in list desugaring
2016-03-20  Ben GamariDsExpr: Don't build/foldr huge lists
2016-03-15  Richard EisenbergRefactor visible type application.
2016-02-27  Herbert Valerio... Print which flag controls emitted desugaring warnings
2016-02-10  Bartosz NitkaReplace mkTvSubstPrs (a `zip` b) with zipTvSubst a b
2016-01-30  Bartosz NitkaAdd asserts to other substitution functions
2016-01-27  Bartosz NitkaRename "open" subst functions
2016-01-27  Richard EisenbergRefactor the typechecker to use ExpTypes.
2016-01-27  Ömer Sinan Ağacans/unLifted/unlifted for consistency
2016-01-23  Reid BartonGive a more verbose error message when desugaring a...
2016-01-18  Jan StolarekReplace calls to `ptext . sLit` with `text`
2016-01-18  Simon Peyton JonesImplement scoped type variables in pattern synonyms
2016-01-18  Simon Peyton JonesRefactoring on IdInfo and system derived names
2016-01-16  Alan ZimmermanWork SourceText in for all integer literals
2016-01-15  Richard EisenbergFix #11405.
2015-12-24  Richard EisenbergVisible type application
2015-12-23  Simon Peyton JonesComments and white space
2015-12-11  Richard EisenbergAdd kind equalities to GHC.
2015-12-03  George KarachaliasMajor Overhaul of Pattern Match Checking (Fixes #595)
2015-12-01  Simon Peyton JonesRefactor treatment of wildcards
2015-11-22  Alan ZimmermanApiAnnotations: Make all RdrName occurences Located
2015-11-21  Bartosz NitkaCreate a deterministic version of tyVarsOfType
2015-11-18  Simon Peyton JonesRefactor HsExpr.RecordCon, RecordUpd
2015-11-17  Adam GundryImplement OverloadedLabels
2015-11-14  Adam Sandberg ErikssonImplement the Strict language extension
2015-11-13  Alan ZimmermanAPIAnnotations:add Locations in hsSyn for layout
2015-11-11  Alan ZimmermanRemove fun_infix from Funbind, as it is now in Match
2015-11-07  Matthew PickeringRemove PatSynBuilderId
2015-10-30  Ben GamariGenerate Typeable info at definition sites
2015-10-30  Adam GundryDisambiguate record selectors by type signature
2015-10-29  Ben GamariRevert "Generate Typeable info at definition sites"
2015-10-29  Ben GamariGenerate Typeable info at definition sites
2015-10-29  Matthew PickeringRecord pattern synonyms
2015-10-16  Adam GundryImplement DuplicateRecordFields
2015-10-15  Edward Z. YangRename package key to unit ID, and installed package...
2015-09-20  Edward Z. YangPut stable pointer names in the name cache.
2015-09-17  Simon MarlowApplicativeDo transformation
2015-08-02  Alan ZimmermanReplace (SourceText,FastString) with StringLiteral...
2015-06-28  Ben GamariAdd -fcross-module-specialise flag
2015-06-26  Simon Peyton JonesTreat out-of-scope variables as holes
2015-06-16  Ben Gamariusers_guide: Various spelling fixes
2015-06-16  Ben GamariLexer: Suggest adding 'let' on unexpected '=' token
2015-06-01  Alan ZimmermanApiAnnotations : strings in warnings do not return...
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. YangSupport stage 1 Template Haskell (non-quasi) quotes...
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-04-10  Gabor GreifTypos in error messages and in comments
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-28  Edward Z. YangUse strict atomicModifyIORef' (added in GHC 7.6).
2015-01-16  Alan ZimmermanAPI Annotations tweaks.
2015-01-16  Alexander VershilovTrac #9878: Make the static form illegal in interpreted...
2015-01-06  Simon Peyton JonesMajor patch to add -fwarn-redundant-constraints
2014-12-10  Facundo DomínguezImplement -XStaticValues
2014-12-03  Austin Seippcompiler: de-lhs deSugar/