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

	Commit message (Expand)	Author	Age	Files	Lines
*	Don't allow Float#/Double# literal patterns	sheaf	2022-03-05	1	-5/+15
*	Introduce ConcreteTv metavariables	sheaf	2022-03-02	6	-274/+310
*	Core Lint: ensure primops can be eta-expanded	sheaf	2022-02-26	1	-2/+3
*	Make typechecking unfoldings from interfaces lazier	Matthew Pickering	2022-02-26	1	-20/+10
*	Suggestions due to hlint	Matthew Pickering	2022-02-24	1	-1/+0
*	Kill derived constraints	Richard Eisenberg	2022-02-23	6	-306/+235
*	Track object file dependencies for TH accurately (#20604)	Zubin Duggal	2022-02-20	1	-7/+15
*	Fix some notes	Matthew Pickering	2022-02-08	2	-2/+2
*	Improve errors for non-existent labels	Simon Peyton Jones	2022-02-04	1	-1/+1
*	compiler: Introduce and use RoughMap for instance environments	Ben Gamari	2022-02-04	1	-3/+3
*	Fix a few Note inconsistencies	Ben Gamari	2022-02-01	1	-1/+1
*	Consistently upper-case "Note ["	Ben Gamari	2022-02-01	2	-2/+2
*	Rework the handling of SkolemInfo	Matthew Pickering	2022-01-29	8	-220/+299
*	Define and use restoreLclEnv	Simon Peyton Jones	2022-01-27	2	-48/+85
*	Levity-polymorphic arrays and mutable variables	sheaf	2022-01-26	1	-0/+3
*	Correct type of static forms in hsExprType	Matthew Pickering	2022-01-18	1	-2/+3
*	Use diagnostic infrastructure in GHC.Tc.Errors	sheaf	2022-01-17	2	-21/+19
*	warnPprTrace: pass separately the reason	Krzysztof Gogolewski	2022-01-11	1	-1/+1
*	TcPlugins: `newWanted` uses the provided `CtLoc`	sheaf	2022-01-11	1	-7/+16
*	Multiple Home Units	Matthew Pickering	2021-12-28	3	-39/+18
*	Change isUnliftedTyCon to marshalablePrimTyCon (#20401)	Krzysztof Gogolewski	2021-12-17	1	-21/+17
*	Ensure new Ct/evidence invariant	Christiaan Baaij	2021-11-25	1	-13/+4
*	More support for optional home-unit	Sylvain Henry	2021-11-20	3	-24/+28
*	Increase type sharing	Ben Gamari	2021-11-17	1	-4/+4
*	Use local instances with least superclass depth	Richard Eisenberg	2021-11-12	1	-1/+4
*	Improve redundant-constraints warning	Richard Eisenberg	2021-11-12	1	-0/+1
*	Default kind vars in tyfams with -XNoPolyKinds	sheaf	2021-11-08	1	-31/+51
*	Generalize the type of wrapLocSndMA	Vladislav Zavialov	2021-11-03	1	-4/+13
*	EPA: Get rid of bare SrcSpan's in the ParsedSource	Alan Zimmerman	2021-11-02	2	-11/+11
*	HsToken for let/in (#19623)	Vladislav Zavialov	2021-11-02	1	-4/+4
*	Don't default type variables in type families	sheaf	2021-10-26	1	-16/+28
*	Refactor package imports	Sylvain Henry	2021-10-22	1	-39/+21
*	Remove Indefinite	Sylvain Henry	2021-10-22	1	-2/+2
*	Use tcEqType in GHC.Core.Unify.uVar	sheaf	2021-10-22	1	-0/+4
*	Introduce Concrete# for representation polymorphism checks	sheaf	2021-10-17	6	-95/+634
*	Be more careful about retaining KnotVars	Matthew Pickering	2021-10-12	1	-1/+1
*	Add defaulting plugins.	Andrei Barbu	2021-10-08	1	-0/+1
*	Make GHC.Utils.Error.Validity type polymorphic	Alfredo Di Napoli	2021-10-05	1	-1/+1
*	Use eqType, not tcEqType, in metavar kind check	Richard Eisenberg	2021-10-02	2	-36/+4
*	compiler: Rename nameEnvElts -> nonDetNameEnvElts	Ben Gamari	2021-09-29	1	-1/+1
*	TH stage restriction check for constructors, selectors, and class methods	Andrea Condoluci	2021-09-29	1	-2/+20
*	Compare FunTys as if they were TyConApps.	Richard Eisenberg	2021-09-29	1	-22/+12
*	Improve pretty-printer defaulting logic (#19361)	Krzysztof Gogolewski	2021-09-17	1	-0/+4
*	Add and use new constructors to TcRnMessage	Alfredo Di Napoli	2021-09-07	1	-24/+12
*	Driver rework pt3: the upsweep	Matthew Pickering	2021-08-18	2	-19/+28
*	Add rewriting to typechecking plugins	sheaf	2021-08-13	1	-1/+3
*	Move `ol_witness` to `OverLitTc`	Dr. ERDI Gergo	2021-08-13	2	-12/+11
*	Disable -fdefer-type-errors for linear types (#20083)	Krzysztof Gogolewski	2021-08-04	1	-1/+1
*	Inline less logging code	Simon Peyton Jones	2021-07-28	1	-23/+35
*	Eta expand through CallStacks	Simon Peyton Jones	2021-07-27	1	-22/+1