Implememt -fdefer-type-errors (Trac #5624)
[ghc.git] / compiler / typecheck / TcHsSyn.lhs
2012-01-12  Simon Peyton JonesImplememt -fdefer-type-errors (Trac #5624)
2011-12-23  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-12-22  Dimitrios VytiniotisMerge branch 'master' of darcs.haskell.org//ghc
2011-12-22  Dimitrios VytiniotisIntroduced new form of TcEvidence for KindCasts, this...
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-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 VytiniotisImplemented -dsuppress-var-kinds flag to remove silly...
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-25  Manuel M T ChakravartyFix newtype wrapper for 'PData[s] (Wrap a)' and fix...
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  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-04  Ian LynaghMerge branch 'master' of darcs.haskell.org/ghc
2011-11-04  Ian LynaghUse -fwarn-tabs when validating
2011-10-31  Manuel M T ChakravartyVECTORISE pragmas for type classes and instances
2011-10-10  Manuel M T ChakravartyFully implement for VECTORISE type pragmas (non-SCALAR).
2011-10-04  Jose Pedro MagalhaesMerge branch 'master' into fix#5464
2011-10-01  Ian LynaghHandle newtypes and type functions correctly in FFI...
2011-09-26  Jose Pedro MagalhaesMerge branch 'fix#5464' of darcs.haskell.org/ghc into...
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-18  Manuel M T ChakravartyAdd VECTORISE [SCALAR] type pragma
2011-08-16  Simon Peyton JonesMajor improvement to pattern bindings
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-18  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-07-14  Ian LynaghSeparate the warning flags into their own datatype
2011-07-12  Simon MarlowAdd 64-bit signed and unsigned integer literals to...
2011-06-13  David WaernMerge branch 'master' of darcs.haskell.org/ghc
2011-06-13  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-06-13  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-06-13  Manuel M T ChakravartyAdded a pragma {-# NOVECTORISE f #-} that suppresses...
2011-05-20  Jose Pedro MagalhaesMerge branch 'ghc-generics' of darcs.haskell.org/ghc...
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-15  Max BolingbrokeUse FractionalLit more extensively to improve other...
2011-05-15  Max BolingbrokeRecord the original text along with parsed Rationals...
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-08  Ian LynaghMerge branch 'coloured-core' of https://github.com...
2011-05-06  Simon Peyton JonesMerge master into the ghc-new-co branch
2011-05-05  Simon Peyton JonesMerge branch 'ghc-generics' of darcs.haskell.org/ghc...
2011-05-04  Jose Pedro MagalhaesMerge branch 'master' of darcs.haskell.org/ghc into...
2011-05-04  Simon Peyton JonesMerge branch monad-comp onto master
2011-05-04  Simon Peyton JonesMerge remote branch 'origin/master' into monad-comp
2011-05-03  Simon Peyton JonesMore hacking on monad-comp
2011-05-02  Simon Peyton JonesMerge in changes from HEAD
2011-05-02  Simon Peyton JonesMore hacking on monad-comp; now works
2011-04-30  Simon Peyton JonesMerge remote branch 'origin/master' into ghc-new-co
2011-04-29  Simon Peyton JonesSimon's hacking on monad-comp; incomplete
2011-04-28  Simon Peyton JonesMerge remote branch 'origin/master' into monad-comp
2011-04-28  Simon Peyton JonesPreliminary monad-comprehension patch (Trac #4370)
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...
2011-02-20  Manuel M T ChakravartyAdded a VECTORISE pragma
2011-01-12  simonpj@microsoft.comMajor refactoring of the type inference engine
2010-12-22  simonpj@microsoft.comTidy up rebindable syntax for MDo
2010-12-13  simonpj@microsoft.comFix recursive superclasses (again). Fixes Trac #4809.
2010-12-02  simonpj@microsoft.comRe-jig simplifySuperClass (again)
2010-11-05  simonpj@microsoft.comRemove the now-unused constructor VarPatOut
2010-10-22  simonpj@microsoft.comAdd rebindable syntax for if-then-else
2010-10-15  simonpj@microsoft.comComments and layout
2010-10-07  simonpj@microsoft.comImplement auto-specialisation of imported Ids
2010-09-19  simonpj@microsoft.comAdd a flag -fwarn-missing-local-sigs, and improve ...
2010-09-13  simonpj@microsoft.comSuper-monster patch implementing the new typechecker...
2010-03-04  simonpj@microsoft.comRefactor part of the renamer to fix Trac #3901
2010-01-06  simonpj@microsoft.comImprove the handling of default methods
2009-10-29  simonpj@microsoft.comThe Big INLINE Patch: totally reorganise way that INLIN...
2009-10-28  simonpj@microsoft.comAdd 'rec' to stmts in a 'do', and deprecate 'mdo'
2009-10-15  simonpj@microsoft.comFix Trac #959: a long-standing bug in instantiating...
2009-07-23  simonpj@microsoft.comAdd tuple sections as a new feature
2009-07-07  Ian LynaghRemove unused imports
2009-07-01  Max BolingbrokeSupport for -fwarn-unused-do-bind and -fwarn-wrong...
2009-07-02  simonpj@microsoft.comFix Trac #3342: missed zonking in TcHsSyn
2009-03-26  Manuel M T ChakravartyTemplate Haskell: support for kind annotations
2008-12-16  Simon MarlowRollback INLINE patches
2008-12-05  simonpj@microsoft.comCompletely new treatment of INLINE pragmas (big patch)
2008-10-28  simonpj@microsoft.comMostly-fix Trac #2595: updates for existentials
2008-10-01  Manuel M T ChakravartyMake sure to zonk the kind of coercion variables
2008-09-10  simonpj@microsoft.comFix the zonking of HsWrappers
2008-07-20  Thomas SchillingFix Haddock errors.
next