remove old .NET related code
[ghc.git] / compiler / typecheck / TcTyClsDecls.lhs
2014-10-31  Yuras Shumovichremove old .NET related code
2014-10-24  Edward Z. YangImplementation of hsig (module signatures), per #9252
2014-10-07  Gabor GreifFix a typo in an error message
2014-09-09  Austin SeippMake Applicative a superclass of Monad
2014-09-06  Alan ZimmermanPostTcType replaced with TypeAnnot
2014-08-12  Richard EisenbergRemove NonParametricKinds (#9200)
2014-08-12  Richard EisenbergFix #9415.
2014-07-15  Simon Peyton JonesEntirely re-jig the handling of default type-family...
2014-07-01  Krzysztof GogolewskiFixup nullary typeclasses (Trac #8993)
2014-06-11  Richard EisenbergFix #9085.
2014-06-11  Richard EisenbergClarify error message. See #9167.
2014-06-09  Simon Peyton JonesCheck that an associated type mentions at least one...
2014-06-06  Sjoerd VisscherMerge branch 'master' of git://git.haskell.org/ghc
2014-06-06  Simon Peyton JonesMake the matcher and wrapper Ids in PatSyn into LocalId...
2014-06-04  Owen StephensSubsume NullaryTypeClasses by MultiParamTypeClasses...
2014-06-03  Simon Peyton JonesFix inverted gadt-syntax flag for data families
2014-05-15  Simon Peyton JonesRefactoring around TyCon.isSynTyCon
2014-05-15  Herbert Valerio... Add LANGUAGE pragmas to compiler/ source files
2014-05-08  Simon Peyton JonesRefactor buildClass and mkDictSelId a bit, to avoid...
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-04-05  Richard EisenbergFix #8958.
2014-03-23  Gabor GreifCatch a bunch of typos in comments
2014-03-13  Simon Peyton JonesComments only
2014-02-13  Richard EisenbergFix #8773.
2014-01-20  Dr. ERDI GergoImplement pattern synonyms
2014-01-12  Herbert Valerio... Fold testsuite.git into ghc.git (re #8545)
2013-12-05  Simon Peyton JonesComments, and rename a variable
2013-12-02  Richard EisenbergRejig rejigConRes & friends, doing role checks in a...
2013-11-22  Simon Peyton JonesA raft of changes driven by Trac #8540
2013-10-04  Simon Peyton JonesSimplify the plumbing for checkValidTyCl
2013-10-04  Simon Peyton JonesComments and white space only
2013-10-03  Richard EisenbergFix Trac #8368.
2013-09-18  Twan van LaarhovenImplement checkable "minimal complete definitions"...
2013-09-18  Richard EisenbergChange role annotation syntax.
2013-09-14  Joachim BreitnerGive language pragma suggestions without -X
2013-09-13  Iavor S. DiatchkiAdd support for evaluation of type-level natural numbers.
2013-09-04  Patrick PalkaMerge remote-tracking branch 'origin/master' into ghc...
2013-09-04  Simon Peyton JonesMake role inference work on the source type of a data con
2013-08-31  Ryan NewtonMerge branch 'master' into atomics
2013-08-30  Patrick PalkaMerge branch 'master' into ghc-parmake-gsoc
2013-08-28  Richard EisenbergImprove error messages for roles by writing role names out
2013-08-05  Richard EisenbergAdded support for writing and checking closed type...
2013-08-04  Richard EisenbergRefactor checking for GADT-like datacons' return types
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 #8018.
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-24  Simon Peyton JonesWhite space and ordering only
2013-06-21  Richard EisenbergRevise implementation of overlapping type family instances.
2013-06-12  Simon Peyton JonesRemove trace that sometimes causes a loop
2013-06-11  Ian LynaghMerge branch 'master' of darcs.haskell.org/ghc
2013-06-10  Simon Peyton JonesMake sure we quantify over the context in data constructors
2013-05-21  Simon Peyton JonesSimplify kind generalisation, and fix Trac #7916
2013-05-03  Simon Peyton JonesImprove error message for existential newtypes
2013-04-21  Krzysztof GogolewskiDisplay operators using parentheses/backticks in error...
2013-04-19  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-03-13  Simon Peyton JonesImplement nullary type classes (#7642)
2013-03-13  Krzysztof GogolewskiRemove tabs and trailing whitespace from TcTyClsDecls
2013-02-12  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2013-02-12  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-02-09  Simon Peyton JonesA bit more tidying up
2013-02-09  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-02-09  Simon Peyton JonesYet more refactoring in overlapping type-family instances
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/ghc
2013-01-29  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2013-01-29  Simon Peyton JonesImprove consistency checking for associated type-family...
2013-01-28  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-01-28  Simon Peyton JonesPure refactoring
2013-01-28  Simon Peyton JonesMore refactoring of FamInst/FamInstEnv; finally fixes...
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 JonesThe type/kind variables of a class decl scope over...
2013-01-25  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-01-25  Simon Peyton JonesRefactor and improve the promotion inference
2013-01-16  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-01-15  Simon Peyton JonesTidy up FunDeps.oclose
2013-01-14  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-01-14  Simon Peyton JonesBe willing to parse {-# UNPACK #-} without '!'
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-02  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org:/home/darcs/ghc
2013-01-02  Simon Peyton JonesMinor refactoring plus comments
2013-01-02  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-01-02  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/ghc
2013-01-02  Simon Peyton JonesIn type or data instances, check that all variables...
2013-01-01  Ian LynaghMerge branch 'master' of darcs.haskell.org:/srv/darcs...
next