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

	Commit message (Expand)	Author	Age	Files	Lines
*	Fix bogus test in Lint	Simon Peyton Jones	2022-12-15	1	-11/+12
*	Scrub some no-warning pragmas.	M Farkas-Dyck	2022-11-23	1	-1/+0
*	Type vs Constraint: finally nailed	Simon Peyton Jones	2022-11-11	1	-0/+1
*	Define `Infinite` list and use where appropriate.	M Farkas-Dyck	2022-11-08	1	-3/+5
*	Minor refactor around FastStrings	Krzysztof Gogolewski	2022-11-05	1	-1/+2
*	Apply some tricks to speed up core lint.	Andreas Klebinger	2022-09-28	1	-1/+1
*	Clean up some. In particular:	M Farkas-Dyck	2022-09-17	1	-1/+1
*	Fix typos	Eric Lindblad	2022-09-14	1	-3/+3
*	Get the in-scope set right in FamInstEnv.injectiveBranches	Simon Peyton Jones	2022-07-25	1	-19/+23
*	White space only in FamInstEnv	Simon Peyton Jones	2022-07-18	1	-30/+34
*	hi haddock: Lex and store haddock docs in interface files	Zubin Duggal	2022-03-23	1	-3/+7
*	compiler: Introduce and use RoughMap for instance environments	Ben Gamari	2022-02-04	1	-98/+100
*	Fix a few Note inconsistencies	Ben Gamari	2022-02-01	1	-2/+1
*	Use Reductions to keep track of rewritings	sheaf	2021-08-04	1	-105/+95
*	Remove useless {-# LANGUAGE CPP #-} pragmas	Sylvain Henry	2021-05-12	1	-1/+0
*	Fully remove HsVersions.h	Sylvain Henry	2021-05-12	1	-2/+0
*	Replace CPP assertions with Haskell functions	Sylvain Henry	2021-05-12	1	-6/+7
*	Fix a serious bug in roughMatchTcs	Simon Peyton Jones	2021-02-13	1	-3/+4
*	Make matchableGivens more reliably correct.	Richard Eisenberg	2021-01-23	1	-2/+2
*	Rename the flattener to become the rewriter.	Richard Eisenberg	2020-12-01	1	-6/+5
*	Remove flattening variables	Richard Eisenberg	2020-12-01	1	-17/+20
*	Move core flattening algorithm to Core.Unify	Richard Eisenberg	2020-12-01	1	-299/+5
*	Split GHC.Driver.Types	Sylvain Henry	2020-10-29	1	-1/+1
*	Fix two constraint solving problems	Simon Peyton Jones	2020-10-27	1	-1/+1
*	Lint the compiler for extraneous LANGUAGE pragmas	Hécate	2020-10-10	1	-5/+7
*	DynFlags: disentangle Outputable	Sylvain Henry	2020-08-12	1	-2/+4
*	Give Uniq[D]FM a phantom type for its key.	Andreas Klebinger	2020-07-12	1	-2/+13
*	Improve handling of data type return kindswip/T18300	Simon Peyton Jones	2020-07-03	1	-7/+4
*	Better loop detection in findTypeShape	Simon Peyton Jones	2020-06-27	1	-19/+23
*	Various performance improvements	Krzysztof Gogolewski	2020-06-17	1	-1/+1
*	Linear types (#15981)	Krzysztof Gogolewski	2020-06-17	1	-6/+8
*	Clarify leaf module names for new module hierarchy	Takenobu Tani	2020-06-10	1	-1/+1
*	Improve some folds over Uniq[D]FM	Simon Jakobi	2020-05-14	1	-2/+2
*	Modules: Utils and Data (#13009)	Sylvain Henry	2020-04-26	1	-5/+5
*	GHC.Core.Opt renaming	Sylvain Henry	2020-04-18	1	-1/+1
*	Modules: type-checker (#13009)	Sylvain Henry	2020-04-07	1	-5/+5
*	Clean up "Eta reduction for data families" Notes	Ryan Scott	2020-04-01	1	-6/+8
*	Modules: Types (#13009)	Sylvain Henry	2020-03-29	1	-7/+7
*	Modules: Core operations (#13009)	Sylvain Henry	2020-03-18	1	-1/+1
*	Fix #17021 by checking more return kinds	Richard Eisenberg	2020-03-17	1	-4/+7
*	Modules: Core (#13009)	Sylvain Henry	2020-03-16	1	-0/+1833