Add fake entries into the global kind environment for pattern synonyms.
[ghc.git] / compiler / typecheck / TcHsType.lhs
2014-06-21  Dr. ERDI GergoAdd fake entries into the global kind environment for...
2014-06-20  Simon Peyton JonesReject forall types in constraints in signatures
2014-06-11  Simon Peyton JonesSimplify variable naming in tcDataKindSig
2014-05-26  Simon Peyton JonesFix yet another bug in 'deriving' for polykinded classe...
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-01-20  Dr. ERDI GergoImplement pattern synonyms
2014-01-12  Herbert Valerio... Fold testsuite.git into ghc.git (re #8545)
2013-11-12  Simon Peyton JonesFurther refactoring to the tuple-typechecking patch
2013-11-12  Simon Peyton JonesImprove typechecking of tuples (Trac #8514)
2013-11-06  Simon Peyton JonesTidy up the error messages we get from TH in stage1...
2013-10-01  Simon MarlowGlobally replace "hackage.haskell.org" with "ghc.haskel...
2013-09-20  Krzysztof GogolewskiTypos
2013-09-20  Simon Peyton JonesNuke tc-trace that makes the typechecker loop
2013-09-18  Richard EisenbergChange role annotation syntax.
2013-09-14  Joachim BreitnerGive language pragma suggestions without -X
2013-08-05  Richard EisenbergAdded support for writing and checking closed type...
2013-08-02  Richard EisenbergImplement "roles" into GHC.
2013-06-28  Richard EisenbergMerge branch 'master' of ssh://darcs.haskell.org/srv...
2013-06-28  Richard EisenbergFix Trac #7939, and add kind inference to closed type...
2013-06-21  Richard EisenbergRevise implementation of overlapping type family instances.
2013-05-30  Simon Peyton JonesUse new TcHsType.zonkSigType to establish Type invariants
2013-05-21  Simon Peyton JonesSimplify kind generalisation, and fix Trac #7916
2013-05-15  Ian LynaghMerge branch 'master' of darcs.haskell.org/ghc
2013-05-15  Simon Peyton JonesComments only
2013-05-03  Simon Peyton JonesFix kind quantification (again)
2013-04-30  Simon Peyton JonesFix comment to placate Haddock
2013-04-30  Simon Peyton JonesTighten up on the kind checking for foralls
2013-04-21  Krzysztof GogolewskiDisplay operators using parentheses/backticks in error...
2013-02-14  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2013-02-14  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2013-02-14  Simon Peyton JonesAdd OverloadedLists, allowing list syntax to be overloaded
2013-02-09  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-02-08  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-02-06  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2013-02-05  Manuel M T ChakravartyMerge branch 'refs/heads/vect-avoid' into vect-avoid...
2013-01-31  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2013-01-30  Gabor Greiftypos
2013-01-30  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-01-29  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2013-01-29  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2013-01-29  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2013-01-29  Simon Peyton JonesWhen quantifying associated types, we may have TyVars...
2013-01-25  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-01-25  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2013-01-25  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-01-25  Simon Peyton JonesUse kind 'Symbol' consistently, rather than kind 'String'
2013-01-25  Simon Peyton JonesRefactor and improve the promotion inference
2013-01-08  Simon Peyton JonesMerge remote branch 'origin/master'
2013-01-08  Simon Peyton JonesRe-engineer the ambiguity test for user type signatures
2013-01-01  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2012-12-19  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-12-19  Simon Peyton JonesMove the kind Nat and Symbol out of TysPrim and into...
2012-12-02  Ian LynaghMerge branch 'ticket-7442' of git://github.com/phonohaw...
2012-11-26  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-11-26  Simon Peyton JonesImprove kind inference for tuple types
2012-11-21  Jose Pedro MagalhaesReject promoted constructors when -XDataKinds is not...
2012-11-10  Iavor S. DiatchkiMerge branch 'master' of ssh://darcs.haskell.org/srv...
2012-10-31  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-10-31  Simon Peyton JonesDo not instantiate unification variables with polytypes
2012-10-26  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2012-10-26  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-10-24  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-10-22  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-10-19  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-10-19  Simon Peyton JonesSimplify and clean up kind-checking of type/class decla...
2012-10-19  Simon Peyton JonesAn accidentally-omitted part of commit 8019bc2c, about...
2012-10-19  Simon Peyton JonesImprove error reporting for kind errors
2012-10-15  Simon Peyton JonesImprove error reporting for kind occurs-checks
2012-10-13  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2012-10-12  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2012-10-12  Simon Peyton JonesEnsure we produce a FunTy for functions (Trac #7312)
2012-10-03  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2012-10-02  Simon Peyton JonesMerge branch 'tc-untouchables'
2012-09-28  Simon Peyton JonesMerge remote-tracking branch 'origin/master' into tc...
2012-09-28  Simon Peyton JonesRefactor the handling of kind errors
2012-09-21  Simon Peyton JonesFiddling with kind errors
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  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2012-09-17  Simon Peyton JonesSpelling in comments only
2012-09-17  Simon Peyton JonesMerge remote-tracking branch 'origin/master' into tc...
2012-09-17  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-09-17  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2012-09-15  Simon Peyton JonesMerge remote branch 'origin/master'
2012-09-10  Simon Peyton JonesTwo fixes to kind unification
2012-09-10  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2012-09-06  Patrick PalkaFail nicely when encountering an invalid bang annotatio...
2012-08-15  Simon Peyton JonesRequire DataKinds for promoted list/tuple syntax in...
2012-08-15  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2012-08-14  Simon Peyton JonesComments
2012-07-16  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2012-07-14  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
2012-07-14  Ian LynaghMerge remote branch 'mikolaj/dcoutts'
2012-07-14  Simon Peyton JonesComments only
2012-07-10  Simon Peyton JonesMerge branch 'master' of ../HEAD
next