Implememt -fdefer-type-errors (Trac #5624)
[ghc.git] / compiler / typecheck /
2012-01-12  Simon Peyton JonesImplememt -fdefer-type-errors (Trac #5624)
2012-01-04  Jose Pedro MagalhaesRestore printing of Rep type family instance with ...
2012-01-03  Simon Peyton JonesMajor refactoring of CoAxioms
2011-12-29  Simon Peyton JonesFix Trac #5721; type variables can be quoted in TH
2011-12-23  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-12-23  Simon Peyton JonesUse HsTupleTy [] for unit tuples, uniformly
2011-12-23  Simon Peyton JonesFix an outright bug in the implementation of default...
2011-12-22  Dimitrios VytiniotisMerge branch 'master' of darcs.haskell.org//ghc
2011-12-22  Dimitrios VytiniotisNow the constraint simplifier solves kind constraints...
2011-12-22  Dimitrios VytiniotisIntroduced new form of TcEvidence for KindCasts, this...
2011-12-22  Dimitrios VytiniotisVery small tweaks to pave the way for solving kind...
2011-12-19  Ross Patersonfix #5022: polymorphic definitions inside arrow rec
2011-12-19  Ian LynaghMerge branch 'master' of darcs.haskell.org/ghc
2011-12-19  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org//ghc
2011-12-19  Simon Peyton JonesTidy up pretty-printing for variables
2011-12-19  Ian LynaghAdd a class HasDynFlags(getDynFlags)
2011-12-18  Ian LynaghMerge branch 'master' of darcs.haskell.org/ghc
2011-12-16  Jose Pedro MagalhaesFix a bug in TcCanonical (Dimitrios spotted)
2011-12-16  Jose Pedro MagalhaesBetter failure with promoted kinds in TH
2011-12-15  Dimitrios VytiniotisMerge branch 'master' of darcs.haskell.org//ghc
2011-12-15  Dimitrios VytiniotisExposing a useful assertion which was hidden inside...
2011-12-13  Simon Peyton JonesTowards fixing Trac #5664
2011-12-13  Simon Peyton JonesDocument typechecking of pattern bindings
2011-12-13  Simon Peyton JonesDocument the "kind invariant", and check it
2011-12-13  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org//ghc
2011-12-12  Simon Peyton JonesMake derived functor stuff watch out for type functions...
2011-12-12  Simon Peyton JonesAllow type signatures in instance decls (Trac #5676)
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-30  Ian LynaghMerge branch 'master' of darcs.haskell.org/ghc
2011-11-30  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-11-29  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-11-29  Dimitrios VytiniotisMerge branch 'master' of darcs.haskell.org//ghc
2011-11-29  Dimitrios VytiniotisInsufficient rewriting during flattening. This fixes...
2011-11-29  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-11-29  Simon Peyton JonesRefactor (again) the treatment of record-selector bindings
2011-11-29  Simon Peyton JonesWhite space only
2011-11-29  Dimitrios VytiniotisMerge branch 'master' of darcs.haskell.org/ghc
2011-11-29  Dimitrios VytiniotisReintroducing isReflCo optimization: invariant
2011-11-29  David WaernMerge branch 'master' of darcs.haskell.org/ghc
2011-11-28  Ian LynaghImplement a capi calling convention; fixes #2979
2011-11-28  Dimitrios VytiniotisMerge branch 'master' of darcs.haskell.org/ghc
2011-11-28  Dimitrios VytiniotisisReflCo no longer reliable for detection of type identity.
2011-11-28  Dimitrios VytiniotisImplemented -dsuppress-var-kinds flag to remove silly...
2011-11-28  Dimitrios VytiniotisSolved goal caching and zonking optimisations.
2011-11-28  Dimitrios VytiniotisThis patch includes:
2011-11-27  Simon Peyton JonesComments and white space only
2011-11-26  Simon Peyton JonesAdd missing cases in TcUnify.uUnfilledVars
2011-11-25  David WaernMerge branch 'master' of darcs.haskell.org/ghc
2011-11-25  Jose Pedro MagalhaesLess kinds in error messages
2011-11-25  Jose Pedro MagalhaesFix kind checking of tuples
2011-11-25  Jose Pedro MagalhaesWhitespace only
2011-11-25  Manuel M T ChakravartyFix newtype wrapper for 'PData[s] (Wrap a)' and fix...
2011-11-24  Daniel FischerMerge ../bghc
2011-11-24  Simon MarlowRelax the restriction on using abstract newtypes in...
2011-11-24  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-11-24  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-11-23  Simon Peyton JonesUse mkAppTys, not foldl AppTy, which was utterly wrong
2011-11-22  Simon MarlowuType_defer: only call mkErrInfo if -ddump-tc-trace...
2011-11-22  Simon Marlowmerge
2011-11-22  Ben LippmeierMerge /Users/benl/devel/ghc/ghc-head-devel
2011-11-21  Jose Pedro MagalhaesReplace EkCtxt by an SDoc
2011-11-21  Jose Pedro MagalhaesRename ? to OpenKind and ?? to ArgKind
2011-11-18  Ian LynaghMerge branch 'master' of darcs.haskell.org/ghc
2011-11-18  Simon MarlowTrack #included files for recompilation checking (...
2011-11-17  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-11-17  Dimitrios VytiniotisFix panic (missing keepWanteds) in simplifyApprox
2011-11-17  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-11-17  George GiorgidzeRemoving the default grouping clause from the SQL-like...
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  David TereiRemove executable mode from some files
2011-11-16  Jose Pedro MagalhaesMove mkPiTypes back to Type, rename mkForAllArrowKinds...
2011-11-16  Jose Pedro MagalhaesChanges to the kind checker
2011-11-16  Jose Pedro MagalhaesBetter error messages when we know the expected kind...
2011-11-16  Jose Pedro MagalhaesAdd dependencies on all .hs-boot TyCons in rnTyClDecls
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 JonesReplace unused variable with "_"
2011-11-15  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-11-15  Simon Peyton JonesFix Trac #5628: equality on data types with no constructors
2011-11-14  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-11-14  Jose Pedro MagalhaesUse mapAccumL when performing kind and type instantiation
2011-11-14  Jose Pedro MagalhaesWhitespace only.
2011-11-11  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-11-11  Jose Pedro MagalhaesBetter kind error messages from TcCanonical
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-10  Manuel M T ChakravartyGHC is now independent of the DPH library structure
2011-11-09  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-11-09  Stefan Wehradded NOUNPACK pragma (see #2338)
2011-11-08  David TereiFix up Safe Haskell handling of FFI imports
2011-11-06  Ian LynaghMerge branch 'dependent7' of https://github.com/gregweb...
2011-11-05  Ian LynaghFix warnings in typecheck/TcSplice.lhs
2011-11-05  Ian LynaghWhitespace only in typecheck/TcSplice.lhs
2011-11-05  Ian LynaghRemove some out-of-date comments
2011-11-05  Greg WeberaddDependentFile #4900
2011-11-04  Ian LynaghMerge branch 'master' of darcs.haskell.org/ghc
next