tyops
[ghc.git] / compiler / coreSyn / CoreLint.lhs
2012-02-17  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-02-17  Simon Peyton JonesMore simplification of the sub-kinding story
2012-02-16  Ian LynaghFix the build with GHC < 7.4.1
2012-02-16  Ian LynaghMerge branch 'master' of darcs.haskell.org/ghc
2012-02-16  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-02-16  Simon Peyton JonesRejig Core Lint to deal better with polymorphic kinds
2012-02-06  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-02-06  Simon Peyton JonesGive promoted DataCons a tyConArity and promoted TyCons...
2012-01-12  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-01-12  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-01-12  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-01-12  Simon Peyton JonesImplememt -fdefer-type-errors (Trac #5624)
2011-12-13  Simon Peyton JonesDocument the "kind invariant", and check it
2011-11-22  Simon Marlowmerge
2011-11-17  Ben LippmeierMerge /Users/benl/devel/ghc/ghc-head-devel
2011-11-17  Ben LippmeierMerge /Users/benl/devel/ghc/ghc-head-devel
2011-11-16  Jose Pedro MagalhaesMinor fix, and transform a failure into a warning
2011-11-16  Dimitrios VytiniotisMerge branch 'master' of darcs.haskell.org/ghc
2011-11-16  Dimitrios VytiniotisGHC gets a new constraint solver. More efficient and...
2011-11-15  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-11-14  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-11-11  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-11-11  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-11-11  Jose Pedro MagalhaesNew kind-polymorphic core
2011-11-10  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-11-09  Simon Peyton JonesEstablish the invariant that (LitAlt l) is always unlifted
2011-11-04  Ian LynaghMerge branch 'master' of darcs.haskell.org/ghc
2011-11-04  Ian LynaghUse -fwarn-tabs when validating
2011-11-02  Simon MarlowOverhaul of infrastructure for profiling, coverage...
2011-10-30  Max BolingbrokeThe Types inside an OutCoercion are *not* InTypes
2011-10-04  Jose Pedro MagalhaesMerge branch 'master' into fix#5464
2011-09-27  Max BolingbrokeChange the way IfExtName is serialized so (most) wired...
2011-09-26  Jose Pedro MagalhaesMerge branch 'fix#5464' of darcs.haskell.org/ghc into...
2011-09-23  Simon Peyton JonesMake a new type synonym CoreProgram = [CoreBind]
2011-09-17  Ian LynaghImprove the handling of Integer literals
2011-09-14  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-09-13  Ian Lynaghchange how Integer's are handled in Core
2011-09-09  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-09-09  Max BolingbrokeMerge branch 'no-pred-ty'
2011-09-06  Max BolingbrokeImplement -XConstraintKind
2011-08-03  Simon Peyton JonesAdd Type.tyConAppTyCon_maybe and tyConAppArgs_maybe...
2011-08-01  David TereiMerge branch 'master' of ssh://darcs.haskell.org/home...
2011-07-29  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-07-27  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-07-25  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-07-23  Simon Peyton JonesA nice tidy-up for CvSubst and liftCoSubst
2011-07-21  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-07-21  Simon Peyton JonesChange loop breaker terminology
2011-05-26  Jose Pedro MagalhaesMerge branch 'ghc-generics'
2011-05-26  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-05-26  Simon Peyton JonesTreat the (~) type constructor a bit specially
2011-05-18  Dimitrios VytiniotisMerge remote branch 'origin/master'
2011-05-12  Jose Pedro MagalhaesMerge branch 'master' of darcs.haskell.org/ghc into...
2011-05-12  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-05-12  Simon Peyton JonesThe final batch of changes for the new coercion represe...
2011-05-12  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-05-11  Simon Peyton JonesMerge remote branch 'origin/master'
2011-05-09  Simon Peyton JonesMerge ghc-new-co into master branch
2011-05-06  Simon Peyton JonesMerge master into the ghc-new-co branch
2011-05-02  Simon Peyton JonesMerge in changes from HEAD
2011-04-30  Simon Peyton JonesMerge remote branch 'origin/master' into ghc-new-co
2011-04-20  Simon Peyton JonesMerge branch 'master' into ghc-new-co
2011-04-19  Simon Peyton JonesThis BIG PATCH contains most of the work for the New...
2010-11-26  simonpj@microsoft.comAcutally, wild-card variables *can* have occurrences
2010-11-26  simonpj@microsoft.comTidy up the handling of wild-card binders, and make...
2010-10-26  Ian LynaghUse removeDups to find top-level duplicate names
2010-10-22  simonpj@microsoft.comLint should check for duplicate top-level bindings...
2010-09-22  simonpj@microsoft.comGet rid of non-exhaustive lambda
2010-09-16  simonpj@microsoft.comAdd more location info in CoreLint
2010-09-15  simonpj@microsoft.comUse mkAppTy
2010-09-13  simonpj@microsoft.comSuper-monster patch implementing the new typechecker...
2010-09-03  simonpj@microsoft.comBuglet in Core Lint
2010-07-27  simonpj@microsoft.comLayout only
2010-08-12  simonpj@microsoft.comFix bug in linting of shadowed case-alternative binders
2009-12-24  simonpj@microsoft.comContinue refactoring the core-to-core pipeline
2010-01-04  simonpj@microsoft.comSubstantial improvements to coercion optimisation
2009-11-19  simonpj@microsoft.comRemove the (very) old strictness analyser
2009-11-19  simonpj@microsoft.comMake INLINE warning more precise
2009-11-12  simonpj@microsoft.comA radical overhaul of the coercion infrastucture
2009-11-11  simonpj@microsoft.comNo CoreLint warnings if -dno-debug-output is on
2009-11-06  simonpj@microsoft.comTidy up coercions, and implement csel1, csel2, cselR
2009-10-29  simonpj@microsoft.comThe Big INLINE Patch: totally reorganise way that INLIN...
2009-10-29  simonpj@microsoft.comAdd Outputable.blankLine and use it
2009-07-01  Max BolingbrokeSupport for -fwarn-unused-do-bind and -fwarn-wrong...
2008-12-16  Simon MarlowRollback INLINE patches
2008-12-05  simonpj@microsoft.comCompletely new treatment of INLINE pragmas (big patch)
2008-10-02  simonpj@microsoft.comSuppress invalid Core Lint complaint about lack of...
2008-09-20  simonpj@microsoft.comTidy up the treatment of dead binders
2008-07-31  Max BolingbrokeSplit the Id related functions out from Var into Id...
2008-07-20  Thomas SchillingFix Haddock errors.
2008-06-14  simonpj@microsoft.comCoreLint should check for out-of-scope worker
2008-06-05  simonpj@microsoft.comAdd non-recursive let-bindings for types
2008-06-03  simonpj@microsoft.comShorten debug messages
2008-05-28  Simon MarlowUse MD5 checksums for recompilation checking (fixes...
2008-04-12  Ian Lynagh(F)SLIT -> (f)sLit in CoreLint
2008-03-29  Ian LynaghDon't import FastString in HsVersions.h
2008-02-11  Roman LeshchinskiyAllow -ddump-simpl-phases to specify which phases to...
2008-01-25  Twan van LaarhovenFixed warnings in coreSyn/CoreLint
2007-12-13  Roman LeshchinskiyDon't dump simplifier iterations with -dverbose-core2core
2007-12-07  Manuel M T ChakravartyProperly keep track of whether normalising given or...
next