Hurrah! This major commit adds support for scoped kind variables,
[ghc.git] / compiler / typecheck / TcBinds.lhs
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-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-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
2011-10-31  Manuel M T ChakravartyTabs -> Spaces
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-09-29  Simon Peyton JonesEliminate alleged optimisation that means we bogusly...
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-09-01  Simon Peyton JonesWibble to fix of Trac #5439: deal with the error-recove...
2011-09-01  Simon Peyton JonesFix the trimming of bind_fvs (fixes Trac #5439)
2011-09-01  Simon Peyton JonesImprove debug tracing
2011-08-24  Manuel M T ChakravartyFunctions and types can now be post-hoc vectorised...
2011-08-22  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-08-20  Manuel M T ChakravartyUntil the type checker can use vectorised signatures...
2011-08-18  Manuel M T ChakravartyImprove import and export of vectorisation information
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-06-20  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-06-17  David WaernMerge branch 'master' of darcs.haskell.org/ghc
2011-06-14  David WaernMerge branch 'master' of darcs.haskell.org/ghc
2011-06-13  David WaernMerge branch 'master' of darcs.haskell.org/ghc
2011-06-13  David WaernMerge branch 'master' of darcs.haskell.org/ghc
2011-06-13  David WaernMerge branch 'master' of darcs.haskell.org/ghc
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  Simon Peyton JonesFix the SPECIALISE error in the haddock invocation...
2011-06-13  Manuel M T ChakravartyAdded a pragma {-# NOVECTORISE f #-} that suppresses...
2011-06-11  David WaernMerge branch 'master' of darcs.haskell.org/ghc
2011-06-11  Simon Peyton JonesWithout -O do not complain about SPECIALISE pragmas...
2011-06-10  David WaernMerge branch 'master' of darcs.haskell.org/ghc
2011-06-10  David WaernChange TypeSig and GenericSig to take a list of names...
2011-06-10  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-06-10  Ian LynaghMerge branch 'master' of darcs.haskell.org/ghc
2011-06-10  Manuel M T ChakravartyTake vectorisation declarations into account during...
2011-05-18  Dimitrios VytiniotisMerge remote branch 'origin/master'
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 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-02  Simon Peyton JonesMerge in changes from HEAD
2011-04-30  Simon Peyton JonesMerge remote branch 'origin/master' into ghc-new-co
2011-04-27  Ben LippmeierMerge branch 'master' of /Users/benl/devel/ghc/ghc...
2011-04-20  Simon Peyton JonesMerge remote branch 'origin/master' into ghc-generics
2011-04-20  Simon Peyton JonesMerge branch 'master' into ghc-new-co
2011-04-19  simonpjSimplify treatement of pragmas slightly
2011-04-19  Simon Peyton JonesThis BIG PATCH contains most of the work for the New...
2011-03-31  simonpj@microsoft.comFix Trac #5048: location on AbsBinds
2011-03-31  simonpj@microsoft.comComments and variable naming only
2011-02-20  Manuel M T ChakravartyAdded a VECTORISE pragma
2011-01-12  simonpj@microsoft.comMajor refactoring of the type inference engine
2010-12-02  simonpj@microsoft.comImprove error message (Trac #4799)
2010-11-17  simonpj@microsoft.comFix Trac #4498: bang-pattern bindings are monomorphic
2010-11-16  simonpj@microsoft.comWarn a bit less often about unlifted bindings.
2010-11-05  simonpj@microsoft.comTrack change in isInlinePragma
2010-10-27  simonpj@microsoft.comWarn (not error) for SPECIALISE pragmas without INLINE
2010-10-21  simonpj@microsoft.comTidy-up sweep, following the Great Skolemisation Simpli...
2010-10-15  Simon MarlowInlinePrag needs an arity only for INLINE, not INLINABLE
2010-10-08  simonpj@microsoft.comBeautiful new approach to the skolem-escape check and...
2010-10-07  simonpj@microsoft.comImplement auto-specialisation of imported Ids
2010-09-24  simonpj@microsoft.comFix an egregious bug: INLINE pragmas on monomorphic...
2010-09-19  simonpj@microsoft.comAdd a flag -fwarn-missing-local-sigs, and improve ...
2010-09-18  Ian LynaghAdd separate functions for querying DynFlag and Extensi...
2010-09-17  simonpj@microsoft.comAdd types of implicit parameters as untouchable
next