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

	Commit message (Expand)	Author	Age	Files	Lines
*	Print unticked promoted data constructors (#20531)	Vladislav Zavialov	2022-11-25	1	-3/+3
*	Diagnostic codes: acccept test changes	sheaf	2022-09-13	1	-20/+20
*	Always display inferred variables using braces	Krzysztof Gogolewski	2020-02-12	1	-2/+2
*	Fix #17405 by not checking imported equations	Richard Eisenberg	2019-11-10	1	-20/+27
*	Implement a coverage checker for injectivity	Richard Eisenberg	2019-10-23	1	-4/+6
*	Taming the Kind Inference Monster	Simon Peyton Jones	2018-11-29	1	-2/+2
*	Overhaul -fprint-explicit-kinds to use VKA	Ryan Scott	2018-11-22	1	-8/+6
*	Finish fix for #14880.	Tobias Dammers	2018-10-28	1	-1/+1
*	Rename kind vars in left-to-right order in bindHsQTyVars	Ryan Scott	2018-08-28	1	-1/+1
*	Remove the type-checking knot.	Richard Eisenberg	2018-08-01	1	-1/+1
*	Allow associated types to pattern-match in non-class-bound variables	Ryan Scott	2017-03-14	1	-8/+5
*	Fix TcSimplify.decideQuantification for kind variables	Simon Peyton Jones	2017-03-10	1	-3/+3
*	tidyOccNames: Rename variables fairly	Joachim Breitner	2016-07-14	1	-1/+1
*	Major patch to introduce TyConBinder	Simon Peyton Jones	2016-06-15	1	-1/+1
*	Kill varSetElemsWellScoped in quantifyTyVars	Bartosz Nitka	2016-04-26	1	-3/+3
*	Tighten checking for associated type instances	Simon Peyton Jones	2016-04-19	1	-5/+8
*	Define TyCoRep.ppSuggestExplicitKinds, and use it	Simon Peyton Jones	2016-04-19	1	-3/+3
*	Add kind equalities to GHC.	Richard Eisenberg	2015-12-11	1	-3/+3
*	Fix inconsistent pretty-printing of type families	Michał Sośnicki	2015-11-18	1	-27/+29
*	Re-polish error messages around injective TFs.	Richard Eisenberg	2015-09-20	1	-9/+13
*	Polish some error messages.	Richard Eisenberg	2015-09-19	1	-17/+17
*	Fix #10815 by kind-checking type patterns against known kinds.	Richard Eisenberg	2015-09-19	1	-21/+21
*	Injective type families	Jan Stolarek	2015-09-03	1	-0/+111