Fix #11407.
[ghc.git] / compiler / basicTypes /
2016-03-11  Ben GamariMove getOccFS to Name
2016-03-09  Simon Peyton JonesFix the implementation of lazyId
2016-02-24  Richard EisenbergAddress #11471 by putting RuntimeRep in kinds.
2016-02-23  Thomas MiedemaAllow combining characters in identifiers (#7650)
2016-02-19  Thomas MiedemaModifier letter in middle of identifier is ok
2016-02-18  Simon Peyton Jones(Another) minor refactoring of substitutions
2016-02-17  Richard EisenbergComments only (#11513)
2016-02-17  Gabriel GonzalezDerive Eq and Ord instance for SrcLoc and RealSrcLoc
2016-02-17  Richard EisenbergExistentials should be specified.
2016-02-16  Rik SteenkampFix typos
2016-02-11  Gabor GreifAnother batch of typo fixes in non-code
2016-02-10  Bartosz NitkaReplace mkTvSubstPrs (a `zip` b) with zipTvSubst a b
2016-02-08  Simon Peyton JonesComments only, on the invariants of GlobalRdrEnv
2016-02-01  Adam GundryAvoid mangled/derived names in GHCi autocomplete (fixes...
2016-02-01  Edward Z. YangSimplify ghc-boot database representation with new...
2016-02-01  Bartosz NitkaSuppress substitution assertions to fix tests
2016-01-30  Bartosz NitkaAdd asserts to other substitution functions
2016-01-27  Bartosz NitkaRename "open" subst functions
2016-01-27  Ömer Sinan Ağacans/unLifted/unlifted for consistency
2016-01-26  Simon Peyton JonesLess verbose output for the in-scope set
2016-01-21  Ben GamariMkId: Update OpenKind reference
2016-01-20  Ben GamariRework derivation of type representations for wired...
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  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  Edward Z. YangFix #11015 with a nice note.
2016-01-08  Bartosz NitkaAdd a pointer to the relevant paper for InScopeSet
2016-01-07  Gabor GreifTypos in docs and comments
2016-01-07  Simon Peyton JonesMake demand analysis understand catch
2016-01-01  Simon Peyton JonesAdd strictness for runRW#
2015-12-31  Herbert Valerio... Remove some redundant definitions/constraints
2015-12-31  Herbert Valerio... Drop pre-AMP compatibility CPP conditionals
2015-12-24  Richard EisenbergVisible type application
2015-12-22  Simon Peyton JonesRefactor named wildcards (again)
2015-12-22  Simon Peyton JonesFix typechecking for pattern synonym signatures
2015-12-21  Michał SośnickiWarn about unused type variables in type families
2015-12-18  Ben GamariSrcLoc: Eliminate constructors of RealSrcSpan
2015-12-17  Simon MarlowRemote GHCi, -fexternal-interpreter
2015-12-15  Ben GamariExpose enabled language extensions to TH
2015-12-11  Richard EisenbergAdd kind equalities to GHC.
2015-12-09  Gabor GreifMore typos in comments/docs
2015-12-08  Gabor GreifAn assortment of typos
2015-12-08  Simon Peyton JonesComments only
2015-12-03  George KarachaliasMajor Overhaul of Pattern Match Checking (Fixes #595)
2015-12-02  Bartosz NitkaImplement more deterministic operations and document...
2015-12-01  Simon Peyton JonesRefactor treatment of wildcards
2015-12-01  Ömer Sinan AğacanMkId: Typos in comments
2015-11-25  Simon Peyton JonesRefactor default methods (Trac #11105)
2015-11-21  Bartosz NitkaCreate a deterministic version of tyVarsOfType
2015-11-21  Bartosz NitkaAdd DVarSet - a deterministic set of Vars
2015-11-18  Michał SośnickiFix inconsistent pretty-printing of type families
2015-11-16  Edward Z. YangMove usage calculation to desugaring, simplifying ModGuts.
2015-11-13  Matthew PickeringUpdate note for Parent to explain PatternSynonym.
2015-11-12  Ben GamariNew magic function for applying realWorld#
2015-11-12  Luite StegemanChange demand information for foreign calls
2015-11-11  Matthew PickeringAssociate pattern synonyms with types in module exports
2015-11-07  Matthew PickeringRemove PatSynBuilderId
2015-10-30  Bartosz NitkaMake type-class dictionary let binds deterministic
2015-10-30  Ben GamariGenerate Typeable info at definition sites
2015-10-30  Simon Peyton JonesRecord usage information using GlobalRdrElt
2015-10-30  Simon Peyton JonesFix unused-import stuff in a better way
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-28  Simon Peyton JonesPattern synonyms: swap provided/required
2015-10-27  Bartosz NitkaSort field labels before fingerprint hashing
2015-10-27  Bartosz NitkaMake it possible to have different UniqSupply strategies
2015-10-17  Herbert Valerio... Make Monad/Applicative instances MRP-friendly
2015-10-16  Jan StolarekAdd typed holes support in Template Haskell.
2015-10-16  Adam GundryImplement DuplicateRecordFields
2015-10-16  Simon Peyton JonesRemove dead function patSynTyDetails
2015-10-15  Edward Z. YangRename package key to unit ID, and installed package...
2015-10-13  RyanGlScottMake dataToQa aware of Data instances which use functio...
2015-10-10  Edward Z. YangRename SpecInfo to RuleInfo (upon SPJ's advice).
2015-09-24  Ömer Sinan AğacanFix DeriveGeneric for types with same OccName (#10487)
2015-09-22  Bartosz NitkaMake derived names deterministic
2015-09-11  Jan StolarekRemove redundant language extensions
2015-09-11  Simon Peyton JonesComments on oneShot
2015-09-03  Jan StolarekInjective type families
2015-09-02  Eric SeidelUse IP based CallStack in error and undefined
2015-08-27  Ben GamariMkIface: Introduce PatSynId, ReflectionId, DefMethId
2015-08-26  Simon Peyton JonesComments and white space
2015-08-21  Thomas MiedemaRefactor: delete most of the module FastTypes
2015-08-18  Matthew PickeringAdd selectors for common fields (DataCon/PatSyn) to...
2015-08-13  Ben GamariName: Show NameSort in warning
2015-08-10  Adam Sandberg ErikssonReplace HsBang type with HsSrcBang and HsImplBang
2015-08-08  Joachim BreitnerMake oneShot open-kinded
2015-08-05  Simon Peyton JonesAllow proper errors/warnings in core2core passes
2015-08-05  Christiaan BaaijMake -fcpr-off a dynamic flag
2015-08-03  Simon Peyton JonesTypos in comments
2015-08-02  Alan ZimmermanReplace (SourceText,FastString) with StringLiteral...
2015-08-01  Gabor GreifTypos in comments
2015-07-31  Gabor GreifTypos in comments
2015-07-30  Simon Peyton JonesFix an outright error in competesWith
2015-07-29  Reid BartonAdd a missing check for -fcpr-off
2015-07-27  Simon Peyton JonesImprove warnings for rules that might not fire
2015-07-27  Adam Sandberg ErikssonImplementation of StrictData language extension
2015-07-24  Simon Peyton JonesComments only
next