Propagate scalar variables and tycons for vectorisation through 'HscTypes.VectInfo'.
[ghc-hetmet.git] / compiler / typecheck / TcClassDcl.lhs
2011-05-26 Simon Peyton JonesRejig the way in which generic default method signature...
2011-04-28 Jose Pedro MagalhaesMore code cleanup and removing old generics stuff.
2011-04-28 Jose Pedro MagalhaesRemove a lot of stuff from the old generic mechanism.
2011-04-21 Simon Peyton JonesFix Trac #5084
2011-04-20 Simon Peyton JonesMake TcClassDcl compile
2011-04-19 Simon Peyton JonesMore small fixes to generics branch (doesn't compile...
2011-04-14 unknownSmall fixes to the generics branch to get rid of warnings,
2011-04-12 simonpjAdapt mkGenericDefMethBind to the new generics
2011-04-12 simonpjInitial commit for Pedro's new generic default methods
2011-01-12 simonpj@microsoft.comMajor refactoring of the type inference engine
2010-12-15 simonpj@microsoft.comImprove printing for -ddump-deriv
2010-12-13 simonpj@microsoft.comFix recursive superclasses (again). Fixes Trac #4809.
2010-10-21 simonpj@microsoft.comTidy-up sweep, following the Great Skolemisation Simpli...
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-13 simonpj@microsoft.comSuper-monster patch implementing the new typechecker...
2010-07-07 simonpj@microsoft.comFix Trac #4127 (and hence #4173)
2010-05-25 simonpj@microsoft.comRefactor (again) the handling of default methods
2010-02-10 simonpj@microsoft.comKeep track of explicit kinding in HsTyVarBndr; plus...
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-07-24 Ian LynaghRemove GHC's haskell98 dependency
2009-07-23 simonpj@microsoft.comFix Trac #3012: allow more free-wheeling in standalone...
2009-07-06 simonpj@microsoft.comTrim unused imports detected by new unused-import code
2009-07-01 Max BolingbrokeSupport for -fwarn-unused-do-bind and -fwarn-wrong...
2008-12-16 Simon MarlowRollback INLINE patches
2008-12-05 simonpj@microsoft.comCompletely new treatment of INLINE pragmas (big patch)
2008-09-10 simonpj@microsoft.comMore refactoring of instance declarations (fixes Trac...
2008-09-10 simonpj@microsoft.comSimplify the type signature for tcPolyBinds
2008-09-05 simonpj@microsoft.comComments only
2008-09-03 simonpj@microsoft.comMajor change in compilation of instance declarations...
2008-07-01 simonpj@microsoft.comSeveral fixes to 'deriving' including Trac #2378
2008-06-16 Ian LynaghMore commandline flag improvements
2008-06-06 Ian LynaghFix warnings in TcClassDcl
2008-06-06 Ian LynaghFix a bug in eqPatType
2008-05-21 simonpj@microsoft.comFix Trac #1061: refactor handling of default methods
2008-04-12 Ian Lynagh(F)SLIT -> (f)sLit in TcClassDcl
2008-01-17 Twan van LaarhovenReplace ioToTcRn with liftIO
2008-01-17 Twan van LaarhovenMonadify typecheck/TcClassDcl: use do, return and stand...
2008-01-17 Twan van LaarhovenseqMaybe is more commonly known as mplus
2007-09-04 Ian LynaghFix CodingStyle#Warnings URLs
2007-09-03 Ian LynaghUse OPTIONS rather than OPTIONS_GHC for pragmas
2007-09-01 Ian LynaghAdd {-# OPTIONS_GHC -w #-} and some blurb to all compil...
2007-08-28 Manuel M T ChakravartyType checking for type synonym families
2007-08-19 Manuel M T ChakravartyCheck for correct number of parameters in type instances
2007-05-11 Simon MarlowStore a SrcSpan instead of a SrcLoc inside a Name
2007-03-14 simonpj@microsoft.comImprove error messages slightly, saying "a1...an" inste...
2007-01-05 Manuel M T ChakravartyHsSyn clean up for indexed types
2006-11-10 simonpj@microsoft.comUse implication constraints to improve type inference
2006-10-11 Simon MarlowModule header tidyup, phase 1
2006-09-25 simonpj@microsoft.comFix newtype deriving properly (un-doing Audreys patch)
2006-09-20 Manuel M T ChakravartyWarn of missing ATs and complain about bad ATs
2006-09-20 Manuel M T ChakravartyKind and type checking of indexed types
2006-09-20 Manuel M T ChakravartyComplete the evidence generation for GADTs
2006-06-12 simonpj@microsoft.comMake scoped type variables work for default methods
2006-04-07 Simon MarlowReorganisation of the source tree