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

	Commit message (Expand)	Author	Age	Files	Lines
*	Zonk coercion holes correctly; a few other fixes.wip/zapzapzap	Richard Eisenberg	2022-03-30	1	-11/+21
*	Zap coercions in the rewriter	Richard Eisenberg	2022-03-30	1	-6/+365
*	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