Tidy-up sweep, following the Great Skolemisation Simplification
[ghc-hetmet.git] / compiler / typecheck / TcPat.lhs
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
2006-08-04 simonpj@microsoft.comDo pre-subsumption in the main subsumption check
2006-04-07 Simon MarlowReorganisation of the source tree