Merge branch 'master' of into ghc-generics
[ghc.git] / compiler / typecheck / TcPat.lhs
2011-05-12  Jose Pedro MagalhaesMerge branch 'master' of into...
2011-05-12  Simon Peyton JonesMerge branch 'master' of
2011-05-11  Simon Peyton JonesMerge remote branch 'origin/master'
2011-05-10  Jose Pedro MagalhaesMerge branch 'master' of into...
2011-05-09  Jose Pedro MagalhaesMerge branch 'master' of into...
2011-05-09  Simon Peyton JonesMerge ghc-new-co into master branch
2011-05-08  Ian LynaghMerge branch 'coloured-core' of
2011-05-06  Simon Peyton JonesMerge master into the ghc-new-co branch
2011-05-06  Simon Peyton JonesUse eqSpecPreds
2011-05-05  Simon Peyton JonesMerge branch 'ghc-generics' of
2011-05-05  Jose Pedro MagalhaesMerge branch 'master' of into...
2011-05-04  Jose Pedro MagalhaesMerge branch 'master' of into...
2011-05-04  Simon Peyton JonesMerge branch monad-comp onto master
2011-05-04  Jose Pedro MagalhaesRemove HsNumTy and TypePati.
2011-05-04  Simon Peyton JonesFinal batch of monad-comprehension stuff
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-20  Simon Peyton JonesMerge branch 'master' into ghc-new-co
2011-04-19  Simon Peyton JonesThis BIG PATCH contains most of the work for the New...
2011-01-12  simonpj@microsoft.comMajor refactoring of the type inference engine
2010-11-05  simonpj@microsoft.comRemove the now-unused constructor VarPatOut
2010-10-21  simonpj@microsoft.comTidy-up sweep, following the Great Skolemisation Simpli...
2010-10-08  simonpj@microsoft.comBeautiful new approach to the skolem-escape check and...
2010-09-24  simonpj@microsoft.comFix an egregious bug: INLINE pragmas on monomorphic...
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-07-24  Ian LynaghSeparate the language flags from the other DynFlag's
2010-05-06  simonpj@microsoft.comAdd a comment about pattern coercions
2009-08-20  simonpj@microsoft.comImprovements to record puns, wildcards
2009-07-24  Ian LynaghRemove GHC's haskell98 dependency
2009-07-07  Ian LynaghRemove unused imports
2009-07-01  Max BolingbrokeSupport for -fwarn-unused-do-bind and -fwarn-wrong...
2009-04-24  Ian LynaghDo the second part of #2806: Disallow unlifted types...
2009-04-24  Ian LynaghTiny refactor
2009-02-04  simonpj@microsoft.comCheck -XGADTs in (a) type family decls (b) pattern...
2009-01-13  simonpj@microsoft.comRename isIdentityCoercion to isIdentityCoI; add Coercio...
2009-01-13  simonpj@microsoft.comImprove error messages slightly
2008-10-30  simonpj@microsoft.comImprove error reporting for non-rigid GADT matches
2008-09-20  simonpj@microsoft.comComments only: replace ":=:" by "~" (notation for equal...
2008-10-09  Manuel M T ChakravartyFIX #2639
2008-10-01  Manuel M T ChakravartyProper error message for unsupported pattern signatures
2008-10-01  Manuel M T ChakravartyMake sure to zonk the kind of coercion variables
2008-08-01  simonpj@microsoft.comFix Trac #2478
2008-06-10  Ian LynaghFix warnings in TcPat
2008-05-06  simonpj@microsoft.comFix Trac #2246; overhaul handling of overloaded literals
2008-04-22  Ian LynaghChange the last few (F)SLIT's into (f)sLit's
2008-04-22  simonpj@microsoft.comRename WpCo to WpCast
2008-04-10  simonpj@microsoft.comFix Trac #2206: ensure the return type is rigid in...
2008-02-29  Manuel M T ChakravartyRemove GADT refinements, part 3
2008-02-28  Manuel M T ChakravartyRemove GADT refinements, part 1
2008-01-17  Twan van LaarhovenMonadify typecheck/TcPat: use return and standard monad...
2008-01-18  simonpj@microsoft.comAdd quasi-quotation, courtesy of Geoffrey Mainland
2008-01-04  simonpj@microsoft.comDo not consult -XGADTs flag when pattern matching on...
2007-12-24  simonpj@microsoft.comWhen complaining about non-rigid context, give suggesti...
2007-12-08  Manuel M T ChakravartyCoercions from boxy splitters must be sym'ed in pattern...
2007-12-07  Manuel M T ChakravartyProperly keep track of whether normalising given or...
2007-11-20  Manuel M T ChakravartyTcPat.tcConPat uses equalities instead of GADT refinement
2007-11-21  simonpj@microsoft.comMake rebindable do-notation behave as advertised
2007-11-19  simonpj@microsoft.comFIX Trac #1806: test for correct arity for datacon...
2007-11-14  simonpj@microsoft.comFIX Trac 1662: actually check for existentials in proc...
2007-10-16  simonpj@microsoft.comFix #1662: do not simplify constraints for vanilla...
2007-10-10  Dan LicataView patterns, record wildcards, and record puns
2007-09-29  Manuel M T ChakravartySome more traceTcs
2007-09-28  Manuel M T ChakravartyFIX: Make boxy splitters aware of type families
2007-09-06  Manuel M T ChakravartyFix -DDEBUG warning
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-06-21  simonpj@microsoft.comAnother wibble to the head-exploded error message ...
2007-06-21  simonpj@microsoft.comImprove 'my head exploded' error message
2007-06-21  LemmihAdd several new record features
2007-06-18  LemmihRemove the unused HsExpr constructor DictPat
2007-06-20  simonpj@microsoft.comImplement -X=GADTs and -X=RelaxedPolyRec
2007-06-05  Ian LynaghTypo, spotted by Stefan Holdermans
2007-05-02  simonpj@microsoft.comComments, plus type sigs
2007-04-22  simonpj@microsoft.comFixes to datacon wrappers for indexed data types
2007-02-04  lennart@augustsson.netFix a comment typo.
2006-12-21  lennart@augustsson.netAdd support for overloaded string literals.
2007-01-03  simonpj@microsoft.comFix several bugs related to finding free variables
2006-12-11  simonpj@microsoft.comComments and layout only
2006-12-11  simonpj@microsoft.comRemove strange extra print (a temporary debug?)
2006-11-24  simonpj@microsoft.comFix constraint handling for lazy patterns
2006-11-22  simonpj@microsoft.comImprove error messages slightly
2006-11-10  simonpj@microsoft.comUse implication constraints to improve type inference
2006-10-13  simonpj@microsoft.comChange type of TcGadt.refineType, plus consequences
2006-10-11  simonpj@microsoft.comMake Inst into a record type to ease subsequent changes
2006-10-11  Simon MarlowMore import tidying and fixing the stage 2 build
2006-10-05  davve@dtek.chalmers.seMerge Haddock comment support from ghc.haddock -- big...
2006-09-29  simonpj@microsoft.comGlobal renamings in HsSyn
2006-09-23  simonpj@microsoft.comFix origin for addDataConStupidTheta
2006-09-22  simonpj@microsoft.comAdd a crucial missing prime in tcConPat
2006-09-20  Manuel M T ChakravartyAdapt TcFix imports
2006-09-20  Manuel M T ChakravartyIndexed newtypes
2006-09-20  Manuel M T ChakravartyPattern matching of indexed data types
2006-09-20  Manuel M T ChakravartyComplete the evidence generation for GADTs
2006-09-20  Manuel M T ChakravartyMassive patch for the first months work adding System...
2006-09-08  simonpj@microsoft.comCatch errors in pattern matching for unboxed tuples
2006-09-07  simonpj@microsoft.comFix bug in error message
2006-08-08  simonpj@microsoft.comCheck that lazy patterns are for lifted types