delta/haskell.git - gitlab.haskell.org: ghc/ghc.git

	Commit message (Expand)	Author	Age	Files	Lines
*	Remove TCvSubst and use Subst for both term and type-level subst	Yiyun Liu	2022-08-04	1	-7/+5
*	Get the in-scope set right in FamInstEnv.injectiveBranches	Simon Peyton Jones	2022-07-25	1	-6/+18
*	Consider the stage of typeable evidence when checking stage restriction	Matthew Pickering	2022-05-22	1	-1/+1
*	TcPlugin: access to irreducible givens + fix passed ev_binds_var	Pavol Vargovcik	2022-05-16	1	-4/+5
*	Fix several note references	Krzysztof Gogolewski	2022-05-02	1	-1/+1
*	Fix unification of ConcreteTvs, removing IsRefl#	sheaf	2022-04-28	1	-10/+2
*	Add Red Herring to Note [What might equal later?]	Richard Eisenberg	2022-03-28	1	-1/+1
*	Introduce ConcreteTv metavariables	sheaf	2022-03-02	1	-5/+8
*	Kill derived constraints	Richard Eisenberg	2022-02-23	1	-260/+270
*	Fix a few Note inconsistencies	Ben Gamari	2022-02-01	1	-3/+3
*	Use local instances with least superclass depth	Richard Eisenberg	2021-11-12	1	-37/+101
*	Improve redundant-constraints warning	Richard Eisenberg	2021-11-12	1	-53/+52
*	Introduce Concrete# for representation polymorphism checks	sheaf	2021-10-17	1	-10/+26
*	Use eqType, not tcEqType, in metavar kind check	Richard Eisenberg	2021-10-02	1	-1/+1
*	Add and use new constructors to TcRnMessage	Alfredo Di Napoli	2021-09-07	1	-8/+1
*	TcPlugins: solve and report contras simultaneously	sheaf	2021-08-23	1	-8/+11
*	Add rewriting to typechecking plugins	sheaf	2021-08-13	1	-13/+14
*	Try to simplify zoo of functions in `Tc.Utils.Monad`	Alfredo Di Napoli	2021-06-28	1	-1/+4
*	Fix #19682 by breaking cycles in Deriveds	Richard Eisenberg	2021-06-05	1	-11/+11
*	Rip GHC.Tc.Solver.Monad asunder (only)	Richard Eisenberg	2021-05-29	1	-1/+3
*	Remove useless {-# LANGUAGE CPP #-} pragmas	Sylvain Henry	2021-05-12	1	-1/+1
*	Fully remove HsVersions.h	Sylvain Henry	2021-05-12	1	-2/+0
*	Replace CPP assertions with Haskell functions	Sylvain Henry	2021-05-12	1	-4/+5
*	Avoid fundep-caused loop in the typechecker	Simon Peyton Jones	2021-03-31	1	-24/+101
*	Unify result type earlier to improve error messages	Simon Peyton Jones	2021-03-01	1	-22/+81
*	Fix a long standing bug in constraint solving	Simon Peyton Jones	2021-02-09	1	-11/+49
*	Fix typos	Brian Wignall	2021-02-06	1	-2/+2
*	Make matchableGivens more reliably correct.	Richard Eisenberg	2021-01-23	1	-9/+10
*	Remove unused extension pragmas from the compiler code base	Hécate	2021-01-17	1	-1/+1
*	Kill floatEqualities completely	Simon Peyton Jones	2020-12-20	1	-41/+87
*	Rename the flattener to become the rewriter.	Richard Eisenberg	2020-12-01	1	-2/+2
*	Remove flattening variables	Richard Eisenberg	2020-12-01	1	-583/+140
*	Add the proper HLint rules and remove redundant keywords from compiler	Hécate	2020-11-01	1	-6/+4
*	Remove unnecessary gender from comments/docs	Richard Eisenberg	2020-10-29	1	-2/+2
*	Lint the compiler for extraneous LANGUAGE pragmas	Hécate	2020-10-10	1	-7/+10
*	Fix typos in comments	Krzysztof Gogolewski	2020-10-02	1	-1/+1
*	Care with implicit-parameter superclasses	Simon Peyton Jones	2020-09-15	1	-3/+6
*	DynFlags: disentangle Outputable	Sylvain Henry	2020-08-12	1	-0/+1
*	Clean up haddock hyperlinks of GHC.* (part2)	Takenobu Tani	2020-06-25	1	-1/+1
*	Refactor hole constraints.	Richard Eisenberg	2020-05-06	1	-7/+6
*	Modules: Utils and Data (#13009)	Sylvain Henry	2020-04-26	1	-7/+7
*	Modules (#13009)	Sylvain Henry	2020-04-18	1	-3/+3
*	Modules: type-checker (#13009)	Sylvain Henry	2020-04-07	1	-0/+2700