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

	Commit message (Expand)	Author	Age	Files	Lines
*	Misc cleanup	Krzysztof Gogolewski	2022-11-16	1	-1/+1
*	Type vs Constraint: finally nailed	Simon Peyton Jones	2022-11-11	1	-23/+27
*	Clean up some. In particular:	M Farkas-Dyck	2022-09-17	1	-1/+1
*	Fix typos	Eric Lindblad	2022-09-14	1	-2/+2
*	Be more careful in chooseInferredQuantifiers	Simon Peyton Jones	2022-08-18	1	-24/+45
*	Implement DeepSubsumption	Simon Peyton Jones	2022-07-25	1	-1/+1
*	TTG: Move CoreTickish out of LHS.Binds	romes	2022-07-06	1	-8/+7
*	Prune L.H.S modules of GHC dependencies	romes	2022-07-06	1	-2/+2
*	Instantiate top level foralls in partial type signatures	Simon Peyton Jones	2022-06-20	1	-68/+100
*	Check for uninferrable variables in tcInferPatSynDecl	Simon Peyton Jones	2022-05-10	1	-2/+2
*	Fix several note references	Krzysztof Gogolewski	2022-05-02	1	-1/+1
*	Fix unification of ConcreteTvs, removing IsRefl#	sheaf	2022-04-28	1	-3/+3
*	Fix isLiftedType_maybe and handle fallout	sheaf	2022-03-14	1	-2/+2
*	TTG Pull AbsBinds and ABExport out of the main AST	romes	2022-03-14	1	-11/+7
*	Always generalise top-level bindings	Simon Peyton Jones	2022-03-07	1	-13/+33
*	Introduce ConcreteTv metavariables	sheaf	2022-03-02	1	-5/+4
*	Kill derived constraints	Richard Eisenberg	2022-02-23	1	-84/+76
*	Define and use restoreLclEnv	Simon Peyton Jones	2022-01-27	1	-5/+2
*	Improve partial signatures	Simon Peyton Jones	2022-01-27	1	-0/+3
*	Introduce Concrete# for representation polymorphism checks	sheaf	2021-10-17	1	-2/+9
*	Remove NoGhcTc usage from HsMatchContext	Artyom Kuznetsov	2021-09-28	1	-11/+29
*	GHC.Tc.Gen Diagnostics Conversion (Part 1)	Aaron Allen	2021-08-27	1	-42/+15
*	Use Reductions to keep track of rewritings	sheaf	2021-08-04	1	-1/+2
*	Try to simplify zoo of functions in `Tc.Utils.Monad`	Alfredo Di Napoli	2021-06-28	1	-7/+13
*	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
*	More accurate SrcSpan when reporting redundant constraints	Simon Peyton Jones	2021-04-12	1	-1/+1
*	Introduce SevIgnore Severity to suppress warnings	Alfredo Di Napoli	2021-04-05	1	-3/+1
*	Add `MessageClass`, rework `Severity` and add `DiagnosticReason`.wip/adinapoli-message-class-new-design	Alfredo Di Napoli	2021-03-29	1	-1/+1
*	Transfer tickish things to GHC.Types.Tickish	Luite Stegeman	2021-03-20	1	-1/+1
*	rename Tickish to CoreTickish	Luite Stegeman	2021-03-20	1	-2/+2
*	remove superfluous 'id' type parameter from GenTickish	Luite Stegeman	2021-03-20	1	-1/+1
*	Save the type of breakpoints in the Breakpoint tick in STG	Luite Stegeman	2021-03-20	1	-1/+1
*	GHC Exactprint main commit	Alan Zimmerman	2021-03-20	1	-22/+22
*	Bring back COMPLETE sets filtered by result TyCon (#14422)	Cale Gibbard	2021-03-04	1	-5/+10
*	Wrap LHsContext in Maybe in the GHC AST	Alan Zimmerman	2021-03-01	1	-2/+2
*	Fix typos	Brian Wignall	2021-02-06	1	-1/+1
*	Remove ErrDoc and MsgDoc	Alfredo Di Napoli	2021-02-01	1	-1/+1
*	Make PatSyn immutable	Simon Peyton Jones	2021-01-29	1	-1/+1
*	Factorize and document binder collect functions	Sylvain Henry	2021-01-22	1	-7/+7
*	Establish invariant (GivenInv)	Simon Peyton Jones	2021-01-02	1	-16/+31
*	INLINE pragma for patterns (#12178)	Cale Gibbard	2020-12-31	1	-2/+2
*	Remove flattening variables	Richard Eisenberg	2020-12-01	1	-2/+1
*	Replace HsImplicitBndrs with HsOuterTyVarBndrs	Ryan Scott	2020-11-06	1	-1/+1
*	Split GHC.Driver.Types	Sylvain Henry	2020-10-29	1	-0/+1
*	Lint the compiler for extraneous LANGUAGE pragmas	Hécate	2020-10-10	1	-5/+6
*	Extract definition of DsM into GHC.HsToCore.Types	Sebastian Graf	2020-09-12	1	-1/+1
*	PmCheck: Disattach COMPLETE pragma lookup from TyCons	Sebastian Graf	2020-09-12	1	-101/+10
*	Add right-to-left rule for pattern bindings	Simon Peyton Jones	2020-08-19	1	-27/+99
*	DynFlags: disentangle Outputable	Sylvain Henry	2020-08-12	1	-0/+1