Pretty-print the following TyThings via their IfaceDecl counterpart:
[ghc.git] / compiler / basicTypes /
2014-03-13  Dr. ERDI GergoAdd OutputableBndr instance for OccName
2014-03-06  Simon Peyton JonesMake the demand on a binder compatible with type (fixes...
2014-02-18  Simon Peyton JonesAllow ($) to return an unlifted type (Trac #8739)
2014-02-13  Baldur BlöndalCleaned up Maybes.lhs
2014-02-11  Joachim BreitnerReplace forall'ed Coercible by ~R# in RULES
2014-02-10  Joachim BreitnerImplement CallArity analysis
2014-02-01  Gabor GreifFix a popular typo in comments
2014-01-26  Gabor GreifSquash some spelling issues
2014-01-23  Joachim BreitnerSome polishing of the demand analyser.
2014-01-20  Dr. ERDI GergoImplement pattern synonyms
2014-01-16  Joachim Breitner...and clean up the imports
2014-01-16  Joachim BreitnerRemove unused returnsCPR
2014-01-16  Joachim BreitnerRefactor WorkWrap, get rid of worthSplittingArgDmd
2014-01-16  Joachim BreitnerReplace worthSplittingThunkDmd by worthSplittingArgDmd
2014-01-12  Herbert Valerio... Fold testsuite.git into ghc.git (re #8545)
2014-01-10  Gabor GreifComment typos only
2014-01-10  Joachim BreitnerNotes and code cosmetics
2014-01-09  Simon Peyton JonesRe-work the naming story for the GHCi prompt (Trac...
2014-01-09  Simon Peyton JonesComment typo
2014-01-03  Simon Peyton JonesRefactor the way shadowing in handled in GHCi
2014-01-03  Simon Peyton JonesAdd alterOccEnv
2013-12-28  Simon Peyton JonesRe-factor TcCanonical (again), fixes Trac #8603
2013-12-16  Joachim BreitnerMake types of bothDmdType more precise
2013-12-16  Joachim BreitnerDisentangle postProcessDmdTypeM and postProcessUnsat
2013-12-16  Joachim BreitnerRefactor peelManyCalls
2013-12-16  Joachim BreitnerRename postProcessDmdType to postProcessUnsat and use...
2013-12-16  Joachim BreitnerDo not export DmdResult constructors in Demand.lhs
2013-12-16  Joachim BreitnerSplit DmdResult into DmdResult and CPRResult
2013-12-16  Joachim BreitnerClarify the default demand on demand environments
2013-12-12  Joachim BreitnerMove peelFV from DmdAnal to Demand
2013-12-12  Simon Peyton JonesImprove the handling of used-once stuff
2013-12-12  Simon Peyton JonesAssign strictness signatures to primitive operations
2013-12-12  Simon Peyton JonesSome refactoring of Demand and DmdAnal
2013-12-09  Joachim BreitnerReplace mkTopDmdType by mkClosedStrictSig
2013-12-09  Joachim BreitnerRename topDmdType to nopDmdType
2013-12-09  Joachim BreitnerDo not forget CPR information after an IO action
2013-12-04  Simon Peyton JonesImprove ASSERT
2013-12-02  Gabor GreifSome popular typos in comments
2013-12-02  Joachim BreitnerNote [HyperStr and Use demands]
2013-11-22  Simon Peyton JonesReplace (State# RealWorld) with Void# where we just...
2013-11-22  Richard EisenbergImplement GeneralizedNewtypeDeriving in terms of `coerce`.
2013-11-22  Simon Peyton JonesA raft of changes driven by Trac #8540
2013-11-20  Joachim BreitnerMake Coercible higher-kinded
2013-11-13  Patrick PalkaRemove unnecessary and deprecated inclusions of Typeable.h
2013-11-06  Simon Peyton JonesUntabify and whitespace
2013-11-06  Simon Peyton JonesAdd filterVarEnv
2013-10-23  Richard EisenbergMerge branch 'master' of git://git.haskell.org/ghc
2013-10-23  Simon Peyton JonesRename topNormaliseType to topNormaliseType_maybe
2013-10-10  Iavor S. DiatchkiUpdate and clean-up the implmenation of GHC.TypeLits
2013-10-09  Austin SeippUse evaldUnfolding for proxyHashId
2013-10-04  Geoffrey MainlandMerge New Template Haskell branch.
2013-10-04  Geoffrey MainlandTrack TH stage in the renamer.
2013-10-01  Gabor GreifTypos in comments
2013-10-01  unknownComments only
2013-10-01  Simon Peyton JonesLift an unnecessary assumption in the demand analyser...
2013-10-01  Simon MarlowGlobally replace "hackage.haskell.org" with "ghc.haskel...
2013-09-27  Austin SeippImplement an unlifted Proxy type, Proxy#
2013-09-22  Austin SeippRestructure compilation pipeline to allow hooks
2013-09-13  Joachim BreitnerIntroduce coerce :: Coercible a b -> a -> b
2013-09-13  Joachim BreitnerExpose tcTyConsOfType as Types.tyConsOfType
2013-09-09  Patrick PalkaMerge branch 'ghc-parmake-gsoc' (#910)
2013-09-09  Patrick PalkaMerge remote-tracking branch 'origin/master' into ghc...
2013-09-08  Nicolas Frisbyresurrected -fdicts-strict, off by default
2013-09-06  Patrick PalkaMerge remote-tracking branch 'origin/master' into ghc...
2013-09-04  Patrick PalkaMerge remote-tracking branch 'origin/master' into ghc...
2013-09-04  Simon Peyton JonesFix over-eager unpacking in isUnpackableType
2013-08-31  Ryan NewtonMerge branch 'master' into atomics
2013-08-30  Patrick PalkaMerge branch 'master' into ghc-parmake-gsoc
2013-08-30  Joachim BreitnerImprove documentation of the new IncoherentInstances...
2013-08-30  Joachim BreitnerLiberalising IncoherentInstances
2013-08-27  Patrick PalkaUniqSupply: make mkSplitUniqSupply thread-safe
2013-08-19  David TereiAdd note on isSafeOverlap field.
2013-08-02  Richard EisenbergImplement "roles" into GHC.
2013-07-28  Ian LynaghWhitespace only in basicTypes/RdrName.lhs
2013-07-27  Ian LynaghDe-orphan a load of Binary instances
2013-07-27  Ian LynaghWhitespace only in basicTypes/BasicTypes.lhs
2013-07-27  Ian LynaghWhitespace only in basicTypes/Avail.hs
2013-07-06  Patrick PalkaAvoid needlessly splitting a UniqSupply when extracting...
2013-06-19  Austin SeippFix many ASSERT uses under Clang.
2013-06-06  Simon Peyton JonesAdd important missing case for bothCPR
2013-06-06  Simon Peyton JonesRemove bogus-looking check, which was causing Trac...
2013-06-06  Simon Peyton JonesComments about the Name Cache
2013-06-06  Simon Peyton JonesImplement cardinality analysis
2013-05-30  Ian LynaghMerge branch 'master' of darcs.haskell.org/ghc
2013-05-30  Iavor S. DiatchkiAdd a primitive for coercing values into dictionaries...
2013-05-30  Simon Peyton JonesMake 'SPECIALISE instance' work again
2013-05-28  Simon Peyton JonesGive 'unboundName' a very low binding precedence
2013-05-21  Simon Peyton JonesSimplify kind generalisation, and fix Trac #7916
2013-05-17  Ian LynaghMove the genSym stuff from rts into compiler
2013-05-15  Ian LynaghMerge branch 'master' of darcs.haskell.org/ghc
2013-05-15  Simon Peyton JonesComments only
2013-04-25  Gabor GreifFixed moer tyops
2013-04-21  Krzysztof GogolewskiDisplay operators using parentheses/backticks in error...
2013-04-19  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-03-08  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-03-05  Simon Peyton JonesEnsure that isStrictDmd is False for Absent (fixes...
2013-02-14  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2013-02-14  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-02-14  Simon Peyton JonesBetter pretty-printing for HsType, fixes Trac #7645
2013-02-09  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
next