Merge remote branch 'origin/master'
[ghc-hetmet.git] / compiler / typecheck / TcMType.lhs
2011-05-18 Dimitrios VytiniotisMerge remote branch 'origin/master'
2011-05-17 Dimitrios VytiniotisIntroducing:
2011-04-30 Simon Peyton JonesMerge remote branch 'origin/master' into ghc-new-co
2011-04-20 Simon Peyton JonesTidy up SigTv
2011-04-19 Simon Peyton JonesThis BIG PATCH contains most of the work for the New...
2011-03-31 simonpj@microsoft.comRe-enable assertion now the new type checker is in
2011-02-21 simonpj@microsoft.comFix another fundep error (fixes Trac #4969)
2011-01-12 simonpj@microsoft.comMajor refactoring of the type inference engine
2010-12-13 simonpj@microsoft.comFix recursive superclasses (again). Fixes Trac #4809.
2010-10-19 simonpj@microsoft.comReject programs with equality superclasses for now
2010-10-19 simonpj@microsoft.comClean up the debugger code
2010-10-15 Caching FD improvements for efficiency, (2) prevent...
2010-10-15 simonpj@microsoft.comFix Trac #4401: meta-tyvars allocated by the constraint...
2010-10-08 simonpj@microsoft.comBeautiful new approach to the skolem-escape check and...
2010-10-04 dimitris@microsoft.comTypechecker performance fixes and flatten skolem bugfixing
2010-10-06 simonpj@microsoft.comRefactoring: mainly rename ic_env_tvs to ic_untch
2010-09-19 simonpj@microsoft.comLoosen the conditions for -XUndecidableInstances; fixes...
2010-09-19 simonpj@microsoft.comFurther improvements in error messages
2010-09-18 Ian LynaghAdd separate functions for querying DynFlag and Extensi...
2010-09-13 simonpj@microsoft.comSuper-monster patch implementing the new typechecker...
2010-09-02 simonpj@microsoft.comRemove checkFreeness; no longer needed
2010-08-31 simonpj@microsoft.comWibbles
2010-08-23 simonpj@microsoft.comWibbles to error message
2010-08-11 simonpj@microsoft.comRemember to zonk FlatSkols!
2010-01-07 simonpj@microsoft.comA little refactoring, plus improve error locations
2009-09-30 simonpj@microsoft.comFix Trac #3540: malformed types
2009-08-20 Manuel M T ChakravartyFIX #2767 & original problem of #3208
2009-07-10 Manuel M T ChakravartyTFs: FIX #2203 (second half)
2009-05-27 simonpj@microsoft.comTemplate Haskell: allow type splices
2009-04-27 Manuel M T ChakravartyEquality constraint solver is now externally pure
2009-02-11 simonpj@microsoft.comFix Trac #3017: ensure that we quantify over enough...
2009-02-11 simonpj@microsoft.comTurn another ASSERT into a WARN (temproraily)
2008-12-31 implies -XRankNTypes, and improve...
2008-10-21 Manuel M T ChakravartyReject programs with superclass equalities for now
2008-10-01 Manuel M T ChakravartyMake sure to zonk the kind of coercion variables
2008-09-10 simonpj@microsoft.comFix Trac #2573; and explanatory comment
2008-09-03 simonpj@microsoft.comMajor change in compilation of instance declarations...
2008-08-27 simonpj@microsoft.comFix Trac #2538: better error messages when validating...
2008-07-21 Ian LynaghFixes for haddock 0.8
2008-07-15 Manuel M T ChakravartyFix for 1st half of #2203 Before_cabalised-GHC
2008-07-14 Manuel M T ChakravartyFix check of rhs of type family instances (#2157)
2008-07-07 simonpj@microsoft.comWhite space only
2008-06-16 Ian LynaghTweak a comment to talk about UnboxedTuples rather...
2008-06-16 Ian LynaghMore commandline flag improvements
2008-06-06 Ian LynaghFix warnings in TcMType
2008-04-22 Ian LynaghChange the last few (F)SLIT's into (f)sLit's
2008-04-10 simonpj@microsoft.comImprove error message layout slightly
2008-03-29 Ian LynaghDon't import FastString in HsVersions.h
2008-03-29 Ian LynaghRemove an #ifdef DEBUG
2008-03-15 Ian LynaghRemove leftover NoteTy/FTVNote bits
2008-02-07 simonpj@microsoft.comAdjust error message (Trac #2079)
2008-01-17 Twan van LaarhovenMonadify typecheck/TcMType: use do, return, applicative...
2008-01-07 simonpj@microsoft.comMake the treatment of equalities more uniform
2008-01-07 simonpj@microsoft.comAdd -XImpredicativeTypes, and tighten up type-validity...
2007-10-27 simonpj@microsoft.comMake 'improvement' work properly in TcSimplify
2007-10-19 Manuel M T ChakravartyZonk quantified tyvars with skolems
2007-09-29 Manuel M T ChakravartyFIX #1729: Don't try to expand syn families with -XLibe...
2007-09-19 simonpj@microsoft.comFix exponential-time behaviour with type synonyms;...
2007-09-16 Manuel M T ChakravartyFIX: TypeFamilies: should_compile/Simple12
2007-09-15 Manuel M T ChakravartyOverhaul of the rewrite rules
2007-09-11 simonpj@microsoft.comComments, and remove export of checkAmbiguity
2007-09-10 Manuel M T ChakravartyCleaned up version of Tom's unflattened skolemOccurs
2007-09-07 Manuel M T ChakravartyImproved error messages for higher-rank equality contexts
2007-09-05 simonpj@microsoft.comRefactor, improve, and document the deriving mechanism
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-30 Manuel M T ChakravartyAdded decidability check for type instances
2007-08-28 Manuel M T ChakravartyType checking for type synonym families
2007-08-04 Ian LynaghRename Opt_Allow* to Opt_* to match the language names
2007-07-12 Ian LynaghMerge *UnboxedTuples flags
2007-07-09 Ian LynaghImplement unboxed tuples flags
2007-07-09 Ian LynaghTweak the undecidable-instance-checking logic
2007-07-09 Ian LynaghDefine -XPartiallyAppliedClosedTypeSynonyms flag
2007-07-09 Ian LynaghAdd -XFlexibleContexts flag
2007-07-09 Ian LynaghImplement -XPolymorphicComponents
2007-07-08 Ian LynaghAdd flags for Rank2Types and RankNTypes
2007-07-08 Ian LynaghAdd flags for TypeSynonymInstances and FlexibleInstances
2007-05-14 Manuel M T Chakravarty-findexed-types -> -ftype-families
2007-05-11 Simon MarlowStore a SrcSpan instead of a SrcLoc inside a Name
2007-04-24 Pepe IborraSome tyvars were being introduced in the environment...
2007-03-22 simonpj@microsoft.comImprove documentation of instances
2007-03-14 simonpj@microsoft.comWibble to type-error-message improvement
2007-03-14 simonpj@microsoft.comImprove error messages slightly, saying "" inste...
2007-01-09 Manuel M T ChakravartyHandle synonym families in check_tau_type
2007-01-02 simonpj@microsoft.comBig tidy-up of deriving code
2006-12-28 Manuel M T ChakravartyParse and desugar equational constraints
2006-12-13 simonpj@microsoft.comAdd left-to-right impredicative instantiation
2006-12-11 simonpj@microsoft.comMore refactoring of constraint simplification
2006-11-10 simonpj@microsoft.comUse implication constraints to improve type inference
2006-11-01 simonpj@microsoft.comDefault the kind of unconstrained meta-type variables...
2006-11-01 simonpj@microsoft.comImprove error message (push to 6.6 branch)
2006-11-01 simonpj@microsoft.comFix error reporting for contexts during deriving (Trac...
2006-10-11 Simon MarlowMore import tidying and fixing the stage 2 build
2006-09-20 Manuel M T ChakravartySome more ASSERTs
2006-09-20 Manuel M T Chakravartysome bug-fixes, newtype deriving might work now
2006-09-20 Manuel M T ChakravartyMassive patch for the first months work adding System...
2006-08-11 simonpj@microsoft.comGo back to calling type veriables t
2006-08-04 simonpj@microsoft.comDo pre-subsumption in the main subsumption check
2006-04-18 simonpj@microsoft.comFix rank-validity testing