Add a class HasDynFlags(getDynFlags)
[ghc.git] / compiler / types /
2011-12-13  Simon Peyton JonesDocument the "kind invariant", and check it
2011-12-05  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-12-05  Simon Peyton JonesMerge branch 'master' of ../HEAD
2011-12-05  Simon Peyton JonesAllow full constraint solving under a for-all (Trac...
2011-11-29  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-11-29  David WaernMerge branch 'master' of darcs.haskell.org/ghc
2011-11-28  Dimitrios VytiniotisMerge branch 'master' of darcs.haskell.org/ghc
2011-11-28  Dimitrios VytiniotisSolved goal caching and zonking optimisations.
2011-11-25  David WaernMerge branch 'master' of darcs.haskell.org/ghc
2011-11-25  Jose Pedro MagalhaesFix kind checking of tuples
2011-11-22  Simon Marlowmerge
2011-11-22  Ben LippmeierMerge /Users/benl/devel/ghc/ghc-head-devel
2011-11-21  Jose Pedro MagalhaesRename ? to OpenKind and ?? to ArgKind
2011-11-17  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-11-17  Simon Peyton JonesRemove a quadratic complexity blow-up in coercionKind
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 MagalhaesMove mkPiTypes back to Type, rename mkForAllArrowKinds...
2011-11-16  Jose Pedro MagalhaesBetter error messages when we know the expected kind...
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-11  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-11-11  Jose Pedro MagalhaesNew kind-polymorphic core
2011-11-06  Ian LynaghMerge branch 'dependent7' of https://github.com/gregweb...
2011-11-05  Ian LynaghRemove some out-of-date comments
2011-11-04  Ian LynaghMerge branch 'master' of darcs.haskell.org/ghc
2011-11-04  Ian LynaghUse -fwarn-tabs when validating
2011-11-04  Ross PatersonMerge branch 'master' of darcs.haskell.org//ghc
2011-11-04  Simon Marlowbe specific when importing Data.Typeable
2011-10-31  Manuel M T ChakravartyVECTORISE pragmas for type classes and instances
2011-10-31  Manuel M T ChakravartyTabs -> spaces
2011-10-07  Jose Pedro MagalhaesMerge branch 'fix#5464'
2011-10-06  Jose Pedro MagalhaesFurther refining the generation of Generic instances.
2011-10-06  Simon Peyton JonesWibbles from Simon and Pedro
2011-10-04  Jose Pedro MagalhaesMerge branch 'master' into fix#5464
2011-10-04  Jose Pedro MagalhaesRefactor the implementation.
2011-10-01  Ian LynaghHandle newtypes and type functions correctly in FFI...
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-26  Jose Pedro MagalhaesFix #5464: Change the way the extra bindings for the...
2011-09-23  Simon Peyton JonesImplement GHCi command :kind! which normalises its...
2011-09-21  Simon MarlowAdd support for all top-level declarations to GHCi
2011-09-09  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-09-09  Max BolingbrokeMerge branch 'no-pred-ty'
2011-09-09  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-09-09  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-09-09  Max BolingbrokeImplement associated type defaults
2011-09-08  Jose Pedro MagalhaesFix #5464: Change the way the extra bindings for the...
2011-09-07  Simon Peyton JonesNuke isCertainlyPredReprTy
2011-09-07  Simon Peyton JonesComments and layout
2011-09-07  Simon Peyton JonesMinor refactoring of dsLCoercion, plus comments
2011-09-06  Max BolingbrokeImplement -XConstraintKind
2011-09-06  Max BolingbrokeRemove bogus isCoercionKind function and its sole use
2011-09-05  Simon Peyton JonesEliminate isHiBootTyCon in favour of isAbstractTyCon
2011-09-02  Simon Peyton JonesExport a tiny bit more info with AbstractTyCon (fixes...
2011-09-02  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-09-02  Simon Peyton JonesSome minor wibbling in printing source locations
2011-09-01  Simon Peyton JonesComments about type-family parents
2011-08-22  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-08-22  Simon Peyton JonesMake pprTyThingInContenxt handle associated types right
2011-08-08  Simon Peyton JonesUse parenSymOcc when displaying an export list in RnNam...
2011-08-04  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-08-03  Max BolingbrokeTidy up handling of PredTys: remove dead code, move...
2011-08-03  Simon Peyton JonesPrint type contexts with fsep, not sep
2011-08-03  Simon Peyton JonesFix a grevious error in InstEnv: Trac #5095
2011-08-03  Simon Peyton JonesisCoVarType should look at the *representation* type,
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-27  Simon Peyton JonesFix a nasty scoping error in OptCoercion (EtaAllR/L)
2011-07-27  Simon Peyton JonesImprove StgLint -- a bit
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-18  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-07-18  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-07-15  Simon Peyton JonesA bit more work to to keep the right in-scope set around
2011-07-12  Simon Marlowderive Typeable (eliminate deprecation warnings for...
2011-06-30  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-06-30  Simon Peyton JonesA second bite at the case-floating patch
2011-06-30  David TereiSafeHaskell: Try to be consistent in naming.
2011-06-22  Simon Peyton JonesAdd equality superclasses
2011-06-22  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-06-22  Simon Peyton JonesRemove "silent superclass parameters"
2011-06-20  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-06-18  David TereiSafeHaskell: Fix bug with overlapping instances reporti...
2011-06-18  David TereiSafeHaskell: Move safe haskell flag into Overlap flag
2011-06-18  David TereiSafeHaskell: Restrict OverlappingInstances.
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-26  Simon Peyton JonesMerge remote branch 'origin/master' into ghc-generics
2011-05-25  Jose Pedro MagalhaesBetter output for -ddump-deriv when using generics.
2011-05-23  Jose Pedro MagalhaesRemove comment.
2011-05-20  Jose Pedro MagalhaesMerge branch 'master' of darcs.haskell.org/ghc into...
2011-05-20  Jose Pedro MagalhaesMerge branch 'ghc-generics' of darcs.haskell.org/ghc...
2011-05-20  Simon Peyton JonesSimon's fixes to the generated type instances in Generics
2011-05-18  Dimitrios VytiniotisMerge remote branch 'origin/master'
2011-05-17  Jose Pedro MagalhaesMerge branch 'master' of darcs.haskell.org/ghc into...
2011-05-12  Jose Pedro MagalhaesFix some small things broken with the last merge.
next