Wibbles to yesterday's "Simplify kind generalisation" patch
[ghc.git] / compiler / typecheck / TcBinds.lhs
2013-05-22  Simon Peyton JonesWibbles to yesterday's "Simplify kind generalisation...
2013-05-15  Ian LynaghMerge branch 'master' of darcs.haskell.org/ghc
2013-05-15  Simon Peyton JonesFix typechecking of pattern bindings that have type...
2013-02-09  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-02-08  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-02-06  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2013-02-06  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2013-02-06  Manuel M T ChakravartyMerge branch 'refs/heads/vect-avoid-merge'
2013-02-05  Manuel M T ChakravartyMerge branch 'refs/heads/vect-avoid' into vect-avoid...
2013-01-30  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-01-29  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2013-01-28  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-01-28  Simon Peyton JonesPure refactoring
2013-01-25  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-01-16  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-01-15  Simon Peyton JonesTidy up FunDeps.oclose
2013-01-08  Simon Peyton JonesMerge remote branch 'origin/master'
2013-01-08  Simon Peyton JonesRe-engineer the ambiguity test for user type signatures
2013-01-04  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2013-01-04  Simon Peyton JonesRefactor HsExpr.MatchGroup
2013-01-02  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2013-01-01  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2012-12-24  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-12-23  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-12-22  Richard EisenbergImplement overlapping type family instances.
2012-12-05  Manuel M T ChakravartyRewrote vectorisation avoidance (based on the HS paper)
2012-11-15  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2012-11-10  Iavor S. DiatchkiMerge branch 'master' of ssh://darcs.haskell.org/srv...
2012-11-06  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-11-02  Ian LynaghRefactoring: Make a HasModule class for getModule
2012-10-19  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-10-16  Ian LynaghSome alpha renaming
2012-10-03  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2012-10-03  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-10-03  Simon Peyton JonesThis big patch re-factors the way in which arrow-syntax...
2012-10-02  Simon Peyton JonesMerge branch 'tc-untouchables'
2012-09-28  Simon Peyton JonesMerge remote-tracking branch 'origin/master' into tc...
2012-09-20  Simon Peyton JonesMerge remote-tracking branch 'origin/master' into tc...
2012-09-18  Simon Peyton JonesMerge remote-tracking branch 'origin/master' into tc...
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-29  Simon Peyton JonesMinor fixes, mostly simplificaitons
2012-08-23  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2012-08-23  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-08-23  Simon Peyton JonesMerge ../HEAD
2012-08-21  Simon Peyton JonesRefactor the way we infer types for functions in a...
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  Dimitrios.VytiniotisSignificant refactoring of TcSimplify, in particular...
2012-06-08  Paolo CapriottiMerge remote-tracking branch 'origin/pretty-build'
2012-06-07  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
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-07  Simon Peyton JonesSupport polymorphic kind recursion
2012-06-06  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2012-06-05  Paolo CapriottiMerge remote-tracking branch 'origin/unboxed-tuple...
2012-05-15  Max BolingbrokeSupport code generation for unboxed-tuple function...
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 JonesTake care not to mix polymorphic and unlifted bindings...
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-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 JonesChange ATyVar to only have a *tyvar* not a *type* in it
2012-02-16  Simon Peyton JonesGet rid of now-outdated zonkTypeCarefully
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-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-19  Ian LynaghRemove getDOpts; use getDynFlags instead
2012-01-17  Simon Peyton JonesWarn when a SPECIALISE pragma gives rise to a totally...
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-19  Iavor S. DiatchkiMerge remote-tracking branch 'origin/type-nats' into...
2011-12-13  Simon Peyton JonesDocument typechecking of pattern bindings
2011-12-13  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org//ghc
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  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-25  David WaernMerge branch 'master' of darcs.haskell.org/ghc
2011-11-25  Manuel M T ChakravartyFix newtype wrapper for 'PData[s] (Wrap a)' and fix...
2011-11-22  Simon Marlowmerge
2011-11-11  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-11-11  Jose Pedro MagalhaesNew kind-polymorphic core
2011-11-02  Simon MarlowOverhaul of infrastructure for profiling, coverage...
2011-10-31  Manuel M T ChakravartyVECTORISE pragmas for type classes and instances
next