Merge remote-tracking branch 'origin/master' into tc-untouchables
[ghc.git] / compiler / typecheck / TcHsSyn.lhs
2012-09-18  Simon Peyton JonesMerge remote-tracking branch 'origin/master' into tc...
2012-09-17  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2012-09-17  Ian LynaghMove tARGET_* out of HaskellConstants
2012-09-17  Simon Peyton JonesImplement 'left' and 'right' coercions
2012-09-17  Simon Peyton JonesAdd type "holes", enabled by -XTypeHoles, Trac #5910
2012-09-17  Simon Peyton JonesMerge remote-tracking branch 'origin/master' into tc...
2012-09-01  Simon Peyton JonesMerge branch 'tc-untouchables', remote branch 'origin...
2012-08-29  Simon Peyton JonesMerge remote-tracking branch 'origin/HEAD' into tc...
2012-08-28  Simon Peyton JonesBig changes on tc-untouchables branch
2012-08-15  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2012-08-14  Simon Peyton JonesFix Trac #7128, by zonking kind varaibles more assiduou...
2012-07-25  Ian LynaghMerge commit 'c859d17f9b0ae8559dac4f7e5cb8521e7ab5f0fb'
2012-07-23  Simon Peyton JonesNumerous small changes to the constraint solver
2012-07-19  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2012-07-16  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2012-07-16  Mikhail VorozhtsovImplemented MultiWayIf extension.
2012-07-16  Mikhail VorozhtsovImplemented \case expressions.
2012-07-04  Simon MarlowMerge remote-tracking branch 'origin/master' into newcg
2012-06-14  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2012-06-13  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-06-13  Simon Peyton JonesSimplify the implementation of Implicit Parameters
2012-06-08  Dimitrios.VytiniotisMerge branch 'master' of darcs.haskell.org/ghc
2012-06-08  Paolo CapriottiMerge remote-tracking branch 'origin/pretty-build'
2012-06-07  Ian LynaghMerge branch 'master' of darcs.haskell.org//ghc
2012-06-07  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-06-05  Paolo CapriottiMerge remote-tracking branch 'origin/unboxed-tuple...
2012-06-05  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2012-06-05  Ian LynaghChange how macros like ASSERT are defined
2012-05-15  Ian LynaghMerge branch 'master' of darcs.haskell.org//ghc
2012-05-09  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org//ghc
2012-05-09  Simon Peyton JonesMerge branch 'ghc-new-flavor'
2012-05-07  Simon Peyton JonesYet another major refactoring of the constraint solver
2012-05-01  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-05-01  Simon Peyton JonesTidy up a remaining glitch in unification
2012-04-30  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org//ghc
2012-04-26  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2012-04-25  Simon Peyton JonesMore fixes to kind polymorphism, fixes Trac #6035,...
2012-03-28  Dimitrios VytiniotisMerge branch 'master' of darcs.haskell.org/ghc into...
2012-03-26  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org//ghc
2012-03-24  Iavor S. DiatchkiMerge remote-tracking branch 'origin/master' into type...
2012-03-21  Iavor S. DiatchkiMerge remote-tracking branch 'origin/master' into type...
2012-03-20  Iavor S. DiatchkiMerge remote-tracking branch 'origin/master' into type...
2012-03-14  Iavor S. DiatchkiMerge remote-tracking branch 'origin/master' into type...
2012-03-02  Simon Peyton JonesHurrah! This major commit adds support for scoped...
2012-02-17  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-02-17  Simon Peyton JonesFix a missing defaultKind that resulted in lingering...
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 JonesWibbles to the ATyVar changes
2012-02-14  Me at workMerge remote-tracking branch 'laptop/newcg' into newcg
2012-02-13  Simon MarlowMerge remote-tracking branch 'origin/master' into newcg
2012-02-12  Iavor S. DiatchkiMerge remote-tracking branch 'origin/master' into type...
2012-01-25  Iavor S. DiatchkiAdd support for type-level "strings".
2012-01-25  Iavor S. DiatchkiMerge remote-tracking branch 'origin/master' into type...
2012-01-23  Simon Peyton JonesMerge in more HEAD, fix stuff up
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)
2012-01-07  Iavor S. DiatchkiMerge remote-tracking branch 'origin/master' into type...
2011-12-30  Iavor S. DiatchkiAdd the built-in instances for class NatI.
2011-12-30  Iavor S. DiatchkiMerge branch 'master' into type-nats
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-19  Iavor S. DiatchkiMerge remote-tracking branch 'origin/type-nats' into...
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
next