Document -floopification flag in user guide
[ghc.git] / compiler / types /
2013-09-18  Simon Peyton JonesComments only
2013-09-18  Twan van LaarhovenImplement checkable "minimal complete definitions"...
2013-09-18  Richard EisenbergChange role annotation syntax.
2013-09-13  Joachim BreitnerExpose tcTyConsOfType as Types.tyConsOfType
2013-09-13  Iavor S. DiatchkiAdd support for evaluation of type-level natural numbers.
2013-09-11  Austin SeippFix AMP warnings.
2013-09-09  Patrick PalkaMerge remote-tracking branch 'origin/master' into ghc...
2013-09-08  Nicolas Frisbyresurrected -fdicts-strict, off by default
2013-09-04  Patrick PalkaMerge remote-tracking branch 'origin/master' into ghc...
2013-09-03  Richard EisenbergAllow non-Nominal covars (bugfix)
2013-09-02  Simon Peyton JonesMake Specialise close over kind variables (fixes Trac...
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-28  Richard EisenbergClarify comments about apartness
2013-08-28  Richard EisenbergImprove error messages for roles by writing role names out
2013-08-22  Gabor GreifStrings and comments only: 'to to ' fixes
2013-08-20  Gabor GreifFix typo
2013-08-19  David TereiAdd note on isSafeOverlap field.
2013-08-05  Richard EisenbergAdded support for writing and checking closed type...
2013-08-02  Richard EisenbergImplement "roles" into GHC.
2013-08-02  Richard EisenbergFix Trac #8020.
2013-07-27  Ian LynaghDe-orphan a load of Binary instances
2013-06-28  Richard EisenbergMerge branch 'master' of ssh://darcs.haskell.org/srv...
2013-06-28  Richard EisenbergFix stale comments around closed type families.
2013-06-21  Richard EisenbergRevise implementation of overlapping type family instances.
2013-06-19  Austin SeippFix many ASSERT uses under Clang.
2013-06-11  Gabor GreifTypo in comment
2013-06-11  Ian LynaghMerge branch 'master' of darcs.haskell.org/ghc
2013-06-11  Simon Peyton JonesActually make the change described in 'Fix egregious...
2013-06-10  Simon Peyton JonesFix egregious typo in cmpTypeX
2013-06-10  Simon Peyton JonesFix substitution but in liftCoSubst (Trac #7973)
2013-06-06  Simon Peyton JonesAdd TyCon.checkRecTc, and use in in typeArity
2013-05-30  Simon Peyton JonesDefine chkAppend, and use it
2013-05-30  Simon Peyton JonesEta-reduce data/newtype family instance axioms (Trac...
2013-05-30  Simon Peyton JonesUse new TcHsType.zonkSigType to establish Type invariants
2013-05-03  Simon Peyton JonesMake isPredTy not use typeKind
2013-04-25  Richard EisenbergUpdated documentation; changed "group" to "branched...
2013-04-19  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-04-06  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2013-04-06  Ian LynaghWhitespace only in Type
2013-03-16  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2013-03-15  Patrick PalkaImplement type family instance support for ":info"...
2013-03-04  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-03-04  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2013-03-03  Simon Peyton JonesMake sure that Constraint is unrelated to other kinds...
2013-02-15  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2013-02-15  Iavor S. DiatchkiLook through type synonyms when deciding if something...
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 Type
2013-02-13  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2013-02-13  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2013-02-12  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2013-02-12  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-02-12  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2013-02-12  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2013-02-09  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-02-09  Simon Peyton JonesYet more refactoring in overlapping type-family instances
2013-02-08  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-02-08  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2013-02-06  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2013-02-06  Simon Peyton JonesBetter pretty-printing of types and coercions
2013-02-05  Manuel M T ChakravartyMerge branch 'refs/heads/vect-avoid' into vect-avoid...
2013-02-02  Gabor Greifspelling
2013-02-01  Geoffrey MainlandAlways pass vector values on the stack.
2013-01-31  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2013-01-30  Gabor Greiftypos
2013-01-30  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-01-29  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2013-01-28  Simon Peyton JonesMinor pretty printing changes only
2013-01-28  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-01-28  Simon Peyton JonesPure refactoring
2013-01-28  Simon Peyton JonesMore refactoring of FamInst/FamInstEnv; finally fixes...
2013-01-25  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-01-25  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2013-01-25  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-01-25  Simon Peyton JonesUse kind 'Symbol' consistently, rather than kind 'String'
2013-01-25  Simon Peyton JonesRefactor and improve the promotion inference
2013-01-24  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-01-24  Simon Peyton JonesIntroduce CPR for sum types (Trac #5075)
2013-01-24  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2013-01-22  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2013-01-22  Simon Peyton JonesExploit the invariant for AxInstCo to simplify coercionKind
2013-01-16  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-01-16  Richard EisenbergFix Trac #7585.
2013-01-15  Simon Peyton JonesTiny refactoring, really just white space
2013-01-15  Simon Peyton JonesTidy up FunDeps.oclose
2013-01-15  Simon Peyton JonesWhen doing UNPACK pragmas, be careful to only unpack...
2013-01-14  Iavor S. DiatchkiFix up comment: I was just wrong previously, the origi...
2013-01-14  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-01-14  Iavor S. DiatchkiFixup comment: typos + I had the generalization rule...
2013-01-14  Iavor S. DiatchkiUse a version of the coverage condition even with Undec...
2013-01-09  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-01-09  Simon Peyton JonesMore tidying up in FamInstBranch
2013-01-08  Simon Peyton JonesMerge remote branch 'origin/master'
2013-01-07  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2013-01-05  Richard EisenbergRefactor invariants for FamInsts.
2013-01-02  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
next