Beautiful new approach to the skolem-escape check and untouchable
[ghc.git] / compiler / typecheck / TcMType.lhs
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
2006-04-07  Simon MarlowReorganisation of the source tree