Refactor checkHiBootIface so that TcGblEnv is not necessary.
[ghc.git] / compiler /
2014-07-01  Edward Z. YangRefactor checkHiBootIface so that TcGblEnv is not neces...
2014-07-01  Jan StolarekReplace thenM/thenM_ with do-notation in RnExpr
2014-06-30  Reid BartonRemove extraneous debugging output (#9071)
2014-06-30  Johan TibellRe-add more primops for atomic ops on byte arrays
2014-06-30  Austin SeippRevert "Fix obscure problem with using the system linke...
2014-06-30  Jan StolarekRemove dead code. Fix comment typo.
2014-06-30  Iavor S. DiatchkiEliminate `Unify.validKindShape` (#9242)
2014-06-30  Iavor S. DiatchkiOverlapable pragmas for individual instances (#9242)
2014-06-29  Iavor S. DiatchkiFactor-out the `OverlapMode` from `OverlapFlag`.
2014-06-29  Gabor GreifTyop in comment
2014-06-28  Edward Z. YangFix #9245 by always checking hi-boot for consistency...
2014-06-28  Gabor GreifUntabify and M-x whitespace cleanup
2014-06-27  Herbert Valerio... Add -XBinaryLiterals language extension (re #9224)
2014-06-27  Gabor GreifComments only
2014-06-27  Edward Z. YangRevert "Make -fno-write-interface to all modes of GHC...
2014-06-27  Edward Z. YangMake -fno-write-interface to all modes of GHC, not...
2014-06-27  Herbert Valerio... Refactor extension-bitmap in Lexer
2014-06-27  Simon Peyton JonesIn TcValidity.checkAmbiguity, skolemise kind vars that...
2014-06-27  Simon Peyton JonesMore allDistinctTyVars from TcDeriv to Type
2014-06-26  Gabor Greifs/KnownLit/KnownSymbol/g and a typo fix
2014-06-26  Edward Z. YangAdd new flag -fwrite-interface for -fno-code.
2014-06-26  Johan TibellRevert "Add more primops for atomic ops on byte arrays"
2014-06-26  Joachim BreitnerMerge Thomas Miedema’s syn-all improvments
2014-06-25  Gabor GreifTypos in comments
2014-06-24  Johan TibellAdd more primops for atomic ops on byte arrays
2014-06-24  Simon Peyton JonesAdd Note [Placeholder PatSyn kinds] in TcBinds
2014-06-24  Simon Peyton JonesMinor refactoring of interface to extraTyVarInfo
2014-06-23  Austin SeippFix up b84748121e777d
2014-06-23  Austin SeippFix #9047
2014-06-22  Edward Z. YangSimplify package dump for -v4
2014-06-21  Dr. ERDI GergoAdd fake entries into the global kind environment for...
2014-06-20  Edward Z. YangUpdate documentation to follow 2dc3b476aff28
2014-06-20  Simon Peyton JonesReject forall types in constraints in signatures
2014-06-20  Simon Peyton JonesComment typo
2014-06-20  Simon Peyton JonesMake splitStrProdDmd (and similarly Use) more robust
2014-06-20  Simon Peyton JonesTidy up the printing of single-predicate contexts
2014-06-20  Simon Peyton JonesA bit more tracing of functional dependencies
2014-06-14  Iavor S. DiatchkiImplement `Typeable` support for type-level literals...
2014-06-12  Simon Peyton JonesRemove forgotten redundant import
2014-06-12  Simon Peyton JonesFix elemLocalRdrEnv (Trac #9160)
2014-06-12  Simon Peyton JonesLine up kind and type variables correctly when desugari...
2014-06-12  Simon Peyton JonesBetter debug printing
2014-06-12  Simon Peyton JonesImprove IfaceSyn a bit further
2014-06-11  Simon Peyton JonesFix a serious, but rare, strictness analyser bug (Trac...
2014-06-11  Simon Peyton JonesSimplify variable naming in tcDataKindSig
2014-06-11  Simon Peyton JonesFix tyConToIfaceDecl (Trac #9190)
2014-06-11  Simon Peyton JonesWhite space only
2014-06-11  Simon Peyton JonesImprove error message in Trac #8883
2014-06-11  Gabor GreifSome typos in comments
2014-06-11  Gabor GreifTypo in variable name, no functional change
2014-06-11  Richard EisenbergFix #9062.
2014-06-11  Richard EisenbergFix #9085.
2014-06-11  Richard EisenbergFix #9097.
2014-06-11  Richard EisenbergClarify error message. See #9167.
2014-06-11  Richard EisenbergMake FunPtr's role be phantom; add comments.
2014-06-10  Johan TibellMake better use of the x86 addressing mode
2014-06-10  Duncan CouttsImprove the API doc description of the SmallArray primi...
2014-06-09  Dr. Heinrich HördegenBetter warning message for orphan instances (Ticket...
2014-06-09  Simon Peyton JonesSuggest -fprint-explicit-kinds when only kind variables...
2014-06-09  Simon Peyton JonesCheck that an associated type mentions at least one...
2014-06-08  Simon MarlowDon't use showPass in the backend (#8973)
2014-06-08  Simon MarlowRemove unused --run-cps/--run-cpsz options
2014-06-08  Simon MarlowFix obscure problem with using the system linker (...
2014-06-07  Joachim BreitnerPretty-print built in synonym families in interfaces
2014-06-06  Guido Zayassupress warning of bang wildcard pattern-binding (i...
2014-06-06  Simon MarlowFix discarding of unreachable code in the register...
2014-06-06  Joachim BreitnerOnly use UnicodeSytanx pretty printing if the locale...
2014-06-06  Joachim BreitnerUse UnicodeSyntax when printing
2014-06-06  Sjoerd VisscherMake DeriveTraversable imply DeriveFunctor/Foldable
2014-06-06  Sjoerd VisscherMerge branch 'master' of git://git.haskell.org/ghc
2014-06-06  Simon Peyton JonesMake the matcher and wrapper Ids in PatSyn into LocalId...
2014-06-06  Joachim BreitnerReport all possible results from related name spaces
2014-06-06  Joachim BreitnerSuggest Int when user writes int
2014-06-05  Mateusz KowalczykTypo
2014-06-05  Yuras ShumovichFix compilation of cmm files with -outputdir (Trac...
2014-06-05  Gabor GreifTweak comments
2014-06-05  Yuras ShumovichEmit error in case of duplicate GRE; fixes #7241
2014-06-05  Simon Peyton JonesFix egregious instantiation bug in matchOneConLike...
2014-06-04  Owen StephensSubsume NullaryTypeClasses by MultiParamTypeClasses...
2014-06-03  Simon Peyton JonesComments only (related to Trac #7730)
2014-06-03  Simon Peyton JonesUse IfLclName instead of OccName in IfaceEqSpec
2014-06-03  Simon Peyton JonesDo pretty-printing of TyThings via IfaceDecl (Trac...
2014-06-03  Simon Peyton JonesFix inverted gadt-syntax flag for data families
2014-06-03  Simon Peyton JonesUse mkTcEqPred rather than mkEqPred
2014-06-03  Simon Peyton JonesRename TypeRep.Prec to TypeRep.TyPrec
2014-05-30  Simon Peyton JonesImprove Note [Order of Coercible Instances] about Trac...
2014-05-30  Simon MarlowJust formatting
2014-05-30  Simon MarlowRemove deprecated -optdep options
2014-05-30  Simon MarlowmkHiPath & mkObjPath didn't need to be in IO
2014-05-30  Edward Z. Yangs/implict/implicit/i
2014-05-28  Jan StolarekFix comment typo
2014-05-28  Simon Peyton JonesNo need to call defaultKind in mkTcEqPred
2014-05-28  Simon Peyton JonesUse mkTcEqPred rather than mkEqPred in the type checker
2014-05-27  Dr. ERDI GergoAssert that matcher-derived PatSyn types match the...
2014-05-27  Dr. ERDI GergoStore IfExtNames for PatSyn matchers and wrappers in...
2014-05-26  Simon Peyton JonesFix yet another bug in 'deriving' for polykinded classe...
2014-05-23  Gabor GreifTypos in comments
2014-05-23  Simon Peyton JonesWhite space only
2014-05-23  Simon Peyton JonesMore debug info for failures in typeKind and kindFunResult
2014-05-23  Simon Peyton JonesBetter pretty-printing for ClsInst
next