Implement a typing rule for saturated seq, and document it
[ghc.git] / compiler / typecheck / TcExpr.lhs
2012-02-17  Simon Peyton JonesImplement a typing rule for saturated seq, and document it
2012-02-17  Simon Peyton JonesSubstantially nicer code in record updates
2012-02-16  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-02-16  Simon Peyton JonesChange ATyVar to only have a *tyvar* not a *type* in it
2012-02-16  Simon Peyton JonesGet rid of now-outdated zonkTypeCarefully
2012-01-19  Ian LynaghRemove getDOpts; use getDynFlags instead
2012-01-12  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-01-12  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-01-12  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-01-12  Simon Peyton JonesImplememt -fdefer-type-errors (Trac #5624)
2012-01-03  Simon Peyton JonesMajor refactoring of CoAxioms
2011-12-05  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-12-05  Simon Peyton JonesMerge branch 'master' of ../HEAD
2011-12-05  Simon Peyton JonesAllow full constraint solving under a for-all (Trac...
2011-11-22  Simon Marlowmerge
2011-11-11  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-11-11  Jose Pedro MagalhaesNew kind-polymorphic core
2011-11-10  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-11-10  Manuel M T ChakravartyGHC is now independent of the DPH library structure
2011-11-06  Ian LynaghMerge branch 'dependent7' of https://github.com/gregweb...
2011-11-05  Ian LynaghRemove some out-of-date comments
2011-11-04  Ian LynaghMerge branch 'master' of darcs.haskell.org/ghc
2011-11-04  Ian LynaghUse -fwarn-tabs when validating
2011-10-24  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-10-24  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-10-21  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-10-21  Simon Peyton JonesMake sure the arg and result of ($) have kind *
2011-09-26  Jose Pedro MagalhaesMerge branch 'fix#5464' of darcs.haskell.org/ghc into...
2011-09-23  Simon Peyton JonesMove tcLookupFamInst, tcLookupDataFamInst from TcEnv...
2011-09-09  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-09-09  Max BolingbrokeMerge branch 'no-pred-ty'
2011-09-06  Max BolingbrokeImplement -XConstraintKind
2011-07-29  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-07-27  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-07-18  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-07-14  Ian LynaghSeparate the warning flags into their own datatype
2011-07-08  Ian LynaghRemove mention of -fno-method-sharing from comments...
2011-05-18  Dimitrios VytiniotisMerge remote branch 'origin/master'
2011-05-12  Jose Pedro MagalhaesMerge branch 'master' of darcs.haskell.org/ghc into...
2011-05-12  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-05-12  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2011-05-11  Simon Peyton JonesMerge remote branch 'origin/master'
2011-05-09  Simon Peyton JonesMerge ghc-new-co into master branch
2011-05-08  Ian LynaghMerge branch 'coloured-core' of https://github.com...
2011-05-06  Simon Peyton JonesMerge master into the ghc-new-co branch
2011-05-05  Simon Peyton JonesMerge branch 'ghc-generics' of darcs.haskell.org/ghc...
2011-05-04  Jose Pedro MagalhaesMerge branch 'master' of darcs.haskell.org/ghc into...
2011-05-04  Simon Peyton JonesMerge branch monad-comp onto master
2011-05-04  Simon Peyton JonesImprove error message when a function is applied
2011-05-04  Simon Peyton JonesMerge remote branch 'origin/master' into monad-comp
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-29  Simon Peyton JonesSimon's hacking on monad-comp; incomplete
2011-04-28  Simon Peyton JonesMerge remote branch 'origin/master' into monad-comp
2011-04-28  Simon Peyton JonesPreliminary monad-comprehension patch (Trac #4370)
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-02-20  Manuel M T ChakravartyAdded a VECTORISE pragma
2011-01-12  simonpj@microsoft.comMajor refactoring of the type inference engine
2010-12-02  simonpj@microsoft.comMake rebindable if-then-else a little more permissive
2010-10-22  simonpj@microsoft.comAdd rebindable syntax for if-then-else
2010-10-21  simonpj@microsoft.comTidy-up sweep, following the Great Skolemisation Simpli...
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-05-06  simonpj@microsoft.comFix Trac #3966: warn about useless UNPACK pragmas
2009-10-29  simonpj@microsoft.comComments and -ddump-tc-trace wibbles only
2009-10-20  simonpj@microsoft.comFix Trac #3590: a nasty type-checker bug in left/right...
2009-09-24  Ian LynaghErrors talking about a left section should refer to...
2009-09-10  simonpj@microsoft.comThree improvements to Template Haskell (fixes #3467)
2009-07-23  simonpj@microsoft.comAdd tuple sections as a new feature
2009-07-02  simonpj@microsoft.comComments only
2009-06-25  simonpj@microsoft.comFix Trac #3323: naughty record selectors again
2009-05-27  simonpj@microsoft.comTemplate Haskell: improve lifting for strings
2009-05-26  Ian LynaghWibble some comments to avoid haddock parse errors
2009-05-13  simonpj@microsoft.comFix Trac #3219: type of a record update
2009-04-23  simonpj@microsoft.comFix Trac #3176: intercept naughty record selectors
2008-12-16  Simon MarlowRollback INLINE patches
2008-12-05  simonpj@microsoft.comCompletely new treatment of INLINE pragmas (big patch)
2008-11-03  simonpj@microsoft.comFix desugaring of record update (fixes Trac #2735)
2008-10-30  simonpj@microsoft.comAdd (a) CoreM monad, (b) new Annotations feature
2008-10-28  simonpj@microsoft.comMostly-fix Trac #2595: updates for existentials
2008-09-20  simonpj@microsoft.comWibble to ungrammatical error message
2008-09-20  simonpj@microsoft.comFix Trac #2597 (first bug): correct type checking for...
2008-09-10  simonpj@microsoft.comMore refactoring of instance declarations (fixes Trac...
2008-09-03  simonpj@microsoft.comMajor change in compilation of instance declarations...
2008-07-12  Ian LynaghAdd PostfixOperators flag for (e op) postfix operators...
2008-05-15  simonpj@microsoft.comTuples cannot contain unboxed types
2008-05-20  Roman LeshchinskiyMake -f[no-]method-sharing a dynamic flag
2008-04-12  Ian Lynagh(F)SLIT -> (f)sLit in TcExpr
2008-04-22  simonpj@microsoft.comRename WpCo to WpCast
2008-01-17  Twan van LaarhovenMonadify typecheck/TcExpr: use do, return and standard...
2008-01-18  simonpj@microsoft.comAdd quasi-quotation, courtesy of Geoffrey Mainland
2007-12-20  simonpj@microsoft.comImplement generalised list comprehensions
2007-11-21  simonpj@microsoft.comMake rebindable do-notation behave as advertised
2007-11-06  simonpj@microsoft.comFix Trac #1814 (staging interaction in Template Haskell...
2007-10-10  Dan LicataView patterns, record wildcards, and record puns
2007-09-28  Manuel M T ChakravartyFIX: Make boxy splitters aware of type families
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...
next