Activate tab checks
[ghc.git] / compiler / typecheck / TcArrows.lhs
2014-07-12  Gabor GreifActivate tab checks
2014-07-12  Gabor GreifM-x untabify
2014-05-15  Herbert Valerio... Add LANGUAGE pragmas to compiler/ source files
2014-04-19  Herbert Valerio... Fold template-haskell.git into ghc.git (re #8545)
2014-04-19  Herbert Valerio... Fold integer-gmp.git into ghc.git (re #8545)
2014-04-19  Herbert Valerio... Fold integer-simple.git into ghc.git (re #8545)
2014-04-19  Herbert Valerio... Fold base.git into ghc.git (re #8545)
2014-04-19  Herbert Valerio... Fold ghc-prim.git into ghc.git (re #8545)
2014-04-13  Dr. ERDI GergoInstead of tracking Origin in LHsBindsLR, track it...
2014-01-12  Herbert Valerio... Fold testsuite.git into ghc.git (re #8545)
2013-12-28  Simon Peyton JonesDefine mkTcNomReflCo = TcRefl Nominal, and use it all...
2013-11-27  Joachim BreitnerRoleify TcCoercion
2013-10-01  Simon MarlowGlobally replace "hackage.haskell.org" with "ghc.haskel...
2013-03-04  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-03-04  Simon Peyton JonesRearrange the typechecking of arrows, especially arrow...
2013-02-05  Manuel M T ChakravartyMerge branch 'refs/heads/vect-avoid' into vect-avoid...
2013-01-08  Simon Peyton JonesMerge remote branch 'origin/master'
2013-01-04  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2013-01-04  Simon Peyton JonesRefactor HsExpr.MatchGroup
2012-10-03  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2012-10-03  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-10-03  Simon Peyton JonesThis big patch re-factors the way in which arrow-syntax...
2012-10-02  Simon Peyton JonesMerge branch 'tc-untouchables'
2012-09-28  Simon Peyton JonesMerge remote-tracking branch 'origin/master' into tc...
2012-09-20  Simon Peyton JonesMerge remote-tracking branch 'origin/master' into tc...
2012-09-18  Simon Peyton JonesMerge remote-tracking branch 'origin/master' into tc...
2012-09-17  Simon Peyton JonesMerge remote-tracking branch 'origin/master' into tc...
2012-09-03  Simon Peyton JonesSome comments and false starts to do with ArrForm
2012-07-04  Simon MarlowMerge remote-tracking branch 'origin/master' into newcg
2012-03-14  Iavor S. DiatchkiMerge remote-tracking branch 'origin/master' into type...
2012-03-02  Simon Peyton JonesHurrah! This major commit adds support for scoped...
2012-02-14  Me at workMerge remote-tracking branch 'laptop/newcg' into newcg
2012-02-13  Simon MarlowMerge remote-tracking branch 'origin/master' into newcg
2011-12-30  Iavor S. DiatchkiMerge branch 'master' into type-nats
2011-12-19  Ross Patersonfix #5022: polymorphic definitions inside arrow rec
2011-12-19  Iavor S. DiatchkiMerge remote-tracking branch 'origin/type-nats' into...
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-04  Ian LynaghMerge branch 'master' of darcs.haskell.org/ghc
2011-11-04  Ian LynaghUse -fwarn-tabs when validating
2011-10-26  Ian LynaghMerge branch 'master' of darcs.haskell.org/ghc
2011-10-26  Ross Patersonfix#5380: arrows if command given too general a type
2011-09-26  Jose Pedro MagalhaesMerge branch 'fix#5464' of darcs.haskell.org/ghc into...
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-06-19  Iavor S. Diatchki(partial) Merge branch 'master' into type-nats
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 JonesFinal batch of monad-comprehension stuff
2011-05-04  Simon Peyton JonesMerge remote branch 'origin/master' into monad-comp
2011-05-02  Simon Peyton JonesMerge in changes from HEAD
2011-05-02  Simon Peyton JonesMore hacking on monad-comp; now works
2011-04-30  Simon Peyton JonesMerge remote branch 'origin/master' into ghc-new-co
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-01-17  Iavor S. DiatchkiMerge branch 'master' into type-nats
2011-01-12  simonpj@microsoft.comMajor refactoring of the type inference engine
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-13  simonpj@microsoft.comSuper-monster patch implementing the new typechecker...
2010-07-30  simonpj@microsoft.comDe-polymorphise
2010-08-22  Ross Patersonfix extraction of command stack of arguments of arrow...
2009-07-06  simonpj@microsoft.comTrim unused imports detected by new unused-import code
2008-10-30  simonpj@microsoft.comImprove error reporting for non-rigid GADT matches
2008-09-03  simonpj@microsoft.comMajor change in compilation of instance declarations...
2008-06-04  simonpj@microsoft.comFix Trac #2310: result type signatures are not supporte...
2008-05-06  Ian LynaghMake TcArrows warning-free
2008-04-12  Ian Lynagh(F)SLIT -> (f)sLit in TcArrows
2008-03-29  Ian LynaghDon't import FastString in HsVersions.h
2008-02-29  Manuel M T ChakravartyRemove GADT refinements, part 3
2008-02-28  Manuel M T ChakravartyRemove GADT refinements, part 1
2008-02-26  simonpj@microsoft.comRemove gaw comment
2008-01-17  Twan van LaarhovenMonadify typecheck/TcArrows: use do and return
2007-11-14  simonpj@microsoft.comFIX Trac 1662: actually check for existentials in proc...
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...
2006-11-10  simonpj@microsoft.comUse implication constraints to improve type inference
2006-10-11  Simon MarlowModule header tidyup, phase 1
2006-09-29  simonpj@microsoft.comGlobal renamings in HsSyn
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...
next