add -fsimpleopt-before-flatten
[ghc-hetmet.git] / compiler / types /
2011-05-09 Adam Megaczupdate compiler using *->*->* as the kind of environmen...
2011-04-20 Adam Megaczmerge upstream HEAD
2011-04-20 Simon Peyton JonesPretty-print type variables that are operators correctly
2011-04-17 Adam Megaczmerge up to ghc HEAD 16-Apr-2011
2011-03-31 simonpj@microsoft.comAdd a new static flag -fno-opt-coercion
2011-03-31 simonpj@microsoft.comNew statistics flags -ddump-core-stats
2011-03-03 Adam Megaczrebase to ghc main repo
2011-03-02 Adam MegaczInitial checkin of HetMet / -XModalTypes modifications
2011-02-17 simonpj@microsoft.comUse "on the spot" solving for fundeps
2011-03-02 simonpj@microsoft.comComments only
2011-01-19 simonpj@microsoft.comComments only
2011-01-12 simonpj@microsoft.comMajor refactoring of the type inference engine
2010-12-22 simonpj@microsoft.comMake mkDFunUnfolding more robust
2010-12-15 simonpj@microsoft.comTighten up what it means to be an "enumeration data...
2010-12-14 simonpj@microsoft.comInstance declaration overlap allowed if *either* has...
2010-12-14 simonpj@microsoft.comWibble to InstEnv.instanceHead
2010-12-13 simonpj@microsoft.comFix recursive superclasses (again). Fixes Trac #4809.
2010-11-23 Ian LynaghRemove references to Haskell 98
2010-11-12 simonpj@microsoft.comA (final) re-engineering of the new typechecker
2010-10-19 simonpj@microsoft.comClean up the debugger code
2010-10-14 dimitris@microsoft.comMidstream changes for performance improvement related...
2010-10-15 simonpj@microsoft.comComments and layout
2010-10-07 simonpj@microsoft.comFix an ASSERT failure in FamInstEnv
2010-10-06 dimitris@microsoft.comMajor bugfixing pass through the type checker
2010-09-17 simonpj@microsoft.comMinor type printing amomaly
2010-09-16 simonpj@microsoft.comFix a very subtle shadowing bug in optCoercion
2010-09-16 simonpj@microsoft.comFix bad error in tyVarsOfType
2010-09-16 simonpj@microsoft.comMore assertions
2010-09-15 simonpj@microsoft.comRemove dead code dealing with type refinement
2010-09-15 simonpj@microsoft.comUse mkAppTy
2010-09-15 simonpj@microsoft.comImprove pretty-printing of family instances
2010-09-14 simonpj@microsoft.comComment on what an "enumeration" type is
2010-09-13 simonpj@microsoft.comHaddock fixes
2010-09-13 simonpj@microsoft.comSuper-monster patch implementing the new typechecker...
2010-09-03 simonpj@microsoft.comComments and layout
2010-09-02 simonpj@microsoft.comAssert
2010-08-18 simonpj@microsoft.comWibble
2010-08-18 simonpj@microsoft.comPretty printing change
2010-08-30 benl@ouroborus.netFix warning about multiply exported name
2010-08-30 benl@ouroborus.netVectorisation of method types
2010-08-13 simonpj@microsoft.comRe-do the arity calculation mechanism again (fix Trac...
2010-07-13 simonpj@microsoft.comComments on data type families
2010-07-07 simonpj@microsoft.comFix Trac #4127 (and hence #4173)
2010-06-14 simonpj@microsoft.comUse mkFunTy to ensure that invariants are respected
2010-06-04 simonpj@microsoft.comDon't use unnecessary parens when printing types (Fix...
2010-05-25 simonpj@microsoft.comRefactor (again) the handling of default methods
2010-04-17 simonpj@microsoft.comComments only (about type families)
2010-03-30 David WaernAdd Data and Typeable instances to HsSyn
2010-03-04 simonpj@microsoft.comMake `mkFunTy` associate to the right, as it should
2010-03-01 simonpj@microsoft.comImplement a smart constructor mkUnsafeCoercion, and...
2010-01-07 simonpj@microsoft.comSpelling error in comment
2009-12-24 simonpj@microsoft.comRefactor CoreArity a bit
2009-12-22 simonpj@microsoft.comMove isDictTy from TcType to Type
2010-01-04 simonpj@microsoft.comSubstantial improvements to coercion optimisation
2009-12-16 simonpj@microsoft.comComments only
2009-12-16 simonpj@microsoft.comTwo improvements to optCoercion
2009-12-16 simonpj@microsoft.comFix a long-standing infelicity in the type pretty printer
2009-12-16 simonpj@microsoft.comDeal with warnings in Coercion.lhs
2009-12-11 simonpj@microsoft.comUse full equality for CSE
2009-11-24 David WaernAdd a note saying what Haddock relies on about Instance...
2009-11-24 Ian LynaghTreat () as an enumeration tycon
2009-11-19 Roman LeshchinskiyFix splitAppTys
2009-11-12 simonpj@microsoft.comA radical overhaul of the coercion infrastucture
2009-11-08 tom.schrijvers@cs... more aggressive optimization of coercion terms
2009-11-06 simonpj@microsoft.comTidy up coercions, and implement csel1, csel2, cselR
2009-10-30 simonpj@microsoft.comImprove coercion optimisation
2009-10-28 tom.schrijvers@cs... fix and enable coercion optimization
2009-10-29 simonpj@microsoft.comThe Big INLINE Patch: totally reorganise way that INLIN...
2009-10-28 simonpj@microsoft.comTrivial improvement to mkForAllTy
2009-10-26 simonpj@microsoft.comAdd a coercion optimiser, to reduce the size of coercio...
2009-10-15 simonpj@microsoft.comFix Trac #959: a long-standing bug in instantiating...
2009-10-08 simonpj@microsoft.comMake tyConSingleDataCon_maybe more forgiving
2009-10-02 simonpj@microsoft.comFix pretty-printing precedence for equality constraints
2009-08-18 Manuel M T ChakravartyFIX #3405
2009-08-13 simonpj@microsoft.comFix Trac #3409: type synonyms that discard their arguments
2009-07-23 simonpj@microsoft.comAdd tuple sections as a new feature
2009-07-07 Ian LynaghRemove unused imports
2009-07-06 simonpj@microsoft.comTrim unused imports detected by new unused-import code
2009-07-07 Manuel M T ChakravartyFIX #2677
2009-06-22 Simon Marlowfix comment
2009-05-12 simonpj@microsoft.comImprove error messages for type functions
2009-03-30 simonpj@microsoft.comFix an nasty black hole, concerning computation of...
2009-03-16 simonpj@microsoft.comLayout only
2009-03-15 Manuel M T ChakravartyEnsure the orientation of var-var equalities is correct...
2009-03-05 simonpj@microsoft.comFinally fix Trac #3066
2009-02-11 simonpj@microsoft.comFix Trac #3017: ensure that we quantify over enough...
2009-01-15 simonpj@microsoft.comRobustify lookupFamInstEnv, plus some refactoring
2009-01-14 simonpj@microsoft.comRobustify lookupFamInstEnv
2009-02-02 simonpj@microsoft.comImprove error reporting for precedence errors
2009-01-13 simonpj@microsoft.comRename isIdentityCoercion to isIdentityCoI; add Coercio...
2009-01-02 simonpj@microsoft.comMake record selectors into ordinary functions
2008-12-31 simonpj@microsoft.comWhite space and spelling in comments
2008-12-30 simonpj@microsoft.comAvoid nasty name clash with associated data types ...
2008-12-01 simonpj@microsoft.comBetter error message for fundep conflict
2008-11-26 simonpj@microsoft.comFix Trac #2766: printing operator type variables
2008-10-29 simonpj@microsoft.comAdd Outputable instance for CoercionI
2008-09-23 simonpj@microsoft.comImprove crash message from applyTys and applyTypeToArgs
2008-09-20 simonpj@microsoft.comComments only: replace ":=:" by "~" (notation for equal...
2008-10-09 Manuel M T ChakravartyCover PredTy case in Type.tyFamInsts
2008-10-03 simonpj@microsoft.comAdd ASSERTs to all calls of nameModule