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

	Commit message (Expand)	Author	Age	Files	Lines
*	Fix unification with oversaturated type families	Krzysztof Gogolewski	2023-04-04	1	-29/+115
*	Fix unifier bug: failing to decompose over-saturated type family	Simon Peyton Jones	2022-12-22	1	-13/+15
*	Type vs Constraint: finally nailed	Simon Peyton Jones	2022-11-11	1	-151/+96
*	Define `Infinite` list and use where appropriate.	M Farkas-Dyck	2022-11-08	1	-1/+1
*	Remove TCvSubst and use Subst for both term and type-level subst	Yiyun Liu	2022-08-04	1	-37/+37
*	Get the in-scope set right in FamInstEnv.injectiveBranches	Simon Peyton Jones	2022-07-25	1	-16/+16
*	Unify RuntimeRep arguments in ty_co_match	sheaf	2022-04-01	1	-12/+19
*	Make Constraint not apart from Type.	Richard Eisenberg	2022-03-02	1	-13/+29
*	Suggestions due to hlint	Matthew Pickering	2022-02-24	1	-1/+1
*	compiler: Introduce and use RoughMap for instance environments	Ben Gamari	2022-02-04	1	-25/+8
*	Use tcEqType in GHC.Core.Unify.uVar	sheaf	2021-10-22	1	-2/+14
*	Compare FunTys as if they were TyConApps.	Richard Eisenberg	2021-09-29	1	-3/+3
*	One-shot changes (#20008)	Simon Peyton Jones	2021-07-02	1	-0/+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	-2/+3
*	Fix a serious bug in roughMatchTcs	Simon Peyton Jones	2021-02-13	1	-11/+56
*	Fix typos	Brian Wignall	2021-02-06	1	-1/+1
*	Make matchableGivens more reliably correct.	Richard Eisenberg	2021-01-23	1	-53/+81
*	Fix #19044 by tweaking unification in inst lookup	Richard Eisenberg	2020-12-18	1	-50/+85
*	Optimise nullary type constructor usagewip/tyconapp-opts	Ben Gamari	2020-12-14	1	-1/+6
*	Revert "Optimise nullary type constructor usage"	Ben Gamari	2020-12-14	1	-6/+1
*	Optimise nullary type constructor usage	Ben Gamari	2020-12-14	1	-1/+6
*	Rename the flattener to become the rewriter.	Richard Eisenberg	2020-12-01	1	-4/+1
*	Remove flattening variables	Richard Eisenberg	2020-12-01	1	-37/+76
*	Move core flattening algorithm to Core.Unify	Richard Eisenberg	2020-12-01	1	-3/+300
*	Fix two constraint solving problems	Simon Peyton Jones	2020-10-27	1	-1/+1
*	Use tcView, not coreView, in the pure unifier.	Richard Eisenberg	2020-08-25	1	-2/+5
*	Rewrite and move the monad-state hack note	Sylvain Henry	2020-08-12	1	-73/+2
*	GHC.Core.Unify: Make UM actions one-shot by defaultwip/oneshot-unify	Sebastian Graf	2020-06-25	1	-3/+83
*	Linear types (#15981)	Krzysztof Gogolewski	2020-06-17	1	-11/+13
*	Improve some folds over Uniq[D]FM	Simon Jakobi	2020-05-14	1	-3/+3
*	Modules: Utils and Data (#13009)	Sylvain Henry	2020-04-26	1	-5/+5
*	Modules: type-checker (#13009)	Sylvain Henry	2020-04-07	1	-2/+2
*	Require GHC 8.8 as the minimum compiler for bootstrapping	Ryan Scott	2020-03-31	1	-5/+1
*	Modules: Types (#13009)	Sylvain Henry	2020-03-29	1	-6/+6
*	Update core spec to reflect changes to Core.	Richard Eisenberg	2020-03-20	1	-1/+1
*	Fix #17021 by checking more return kinds	Richard Eisenberg	2020-03-17	1	-2/+2
*	Modules: Core (#13009)	Sylvain Henry	2020-03-16	1	-0/+1592