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

	Commit message (Expand)	Author	Age	Files	Lines
*	Use the eager unifier in the constraint solverwip/T23070-unify	Simon Peyton Jones	2023-05-12	1	-2/+3
*	Refactor the constraint solver pipelinewip/T23070	Simon Peyton Jones	2023-03-22	1	-5/+5
*	Narrow the dont-decompose-newtype test	Simon Peyton Jones	2023-02-16	1	-57/+13
*	Do newtype unwrapping in the canonicaliser and rewriter	Richard Eisenberg	2023-01-26	1	-7/+71
*	Drop support for kind constraints.wip/p547	Richard Eisenberg	2022-12-24	1	-2/+2
*	Scrub some no-warning pragmas.	M Farkas-Dyck	2022-11-23	1	-2/+0
*	Type vs Constraint: finally nailed	Simon Peyton Jones	2022-11-11	1	-17/+17
*	Define `Infinite` list and use where appropriate.	M Farkas-Dyck	2022-11-08	1	-9/+11
*	Kill derived constraints	Richard Eisenberg	2022-02-23	1	-118/+77
*	Make typechecker trace less strict	Simon Peyton Jones	2022-01-31	1	-2/+4
*	Compare FunTys as if they were TyConApps.	Richard Eisenberg	2021-09-29	1	-12/+40
*	Add rewriting to typechecking plugins	sheaf	2021-08-13	1	-40/+101
*	Use Reductions to keep track of rewritings	sheaf	2021-08-04	1	-208/+195
*	Rip GHC.Tc.Solver.Monad asunder (only)	Richard Eisenberg	2021-05-29	1	-1/+2
*	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
*	Clarify commentary around the constraint solver	Richard Eisenberg	2021-04-10	1	-0/+3
*	Rewrite.split: Fix reboxing	Ben Gamari	2021-02-27	1	-2/+5
*	GHC.Tc.Solver.Rewrite: oneShot-ify	Ben Gamari	2021-02-27	1	-7/+14
*	Never Anyify during kind inference	Richard Eisenberg	2021-01-09	1	-1/+1
*	Quick Look: zonk result type	Simon Peyton Jones	2020-12-19	1	-0/+5
*	Rename the flattener to become the rewriter.	Richard Eisenberg	2020-12-01	1	-0/+1028