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

	Commit message (Expand)	Author	Age	Files	Lines
*	Clean up the inferred type variable restriction	Ryan Scott	2020-07-30	1	-0/+1
*	testsuite: Add test for #15316	Ben Gamari	2020-02-08	1	-0/+1
*	testsuite: Add test for #17458	Ben Gamari	2019-11-13	1	-0/+1
*	Add another test for #17267	Simon Peyton Jones	2019-11-01	1	-0/+1
*	Do not add a 'solved dict' for quantified constraints	Simon Peyton Jones	2019-10-12	1	-0/+5
*	Add regression test for #15918	Ryan Scott	2019-03-05	1	-0/+1
*	Allow (~) in the head of a quantified constraints	Simon Peyton Jones	2018-09-13	1	-0/+4
*	More refactoring in TcValidity	Simon Peyton Jones	2018-07-10	1	-0/+1
*	Refactor validity checking for constraints	Simon Peyton Jones	2018-07-05	1	-0/+1
*	Fix TcLevel manipulation in TcDerivInfer.simplifyDeriv	Simon Peyton Jones	2018-06-26	1	-0/+1
*	Instances in no-evidence implications	Simon Peyton Jones	2018-06-22	1	-0/+3
*	Add "quantified constraint" context in error message, fix #15231.	HE, Tao	2018-06-15	1	-0/+1
*	Remove duplicate quantified constraints	Simon Peyton Jones	2018-06-11	1	-0/+1
*	Implement QuantifiedConstraints	Simon Peyton Jones	2018-06-04	1	-0/+10