git.haskell.org - ghc.git/history - compiler/typecheck/TcInteract.hs

[ghc.git] / compiler / typecheck / TcInteract.hs

2016-11-25	Simon Peyton Jones	Be a bit more selective about improvement	blob \| commitdiff
2016-11-25	Simon Peyton Jones	Refactor functional dependencies a bit	blob \| commitdiff \| diff to current
2016-11-25	Simon Peyton Jones	Another major constraint-solver refactoring	blob \| commitdiff \| diff to current
2016-11-21	Gabor Greif	A few typos in comments	blob \| commitdiff \| diff to current
2016-11-13	Ben Gamari	Kill Type pretty-printer	blob \| commitdiff \| diff to current
2016-10-21	Simon Peyton Jones	Define emitNewWantedEq, and use it	blob \| commitdiff \| diff to current
2016-10-10	Simon Peyton Jones	Orient improvement constraints better	blob \| commitdiff \| diff to current
2016-09-30	Simon Peyton Jones	Fix a bug in occurs checking	blob \| commitdiff \| diff to current
2016-09-28	Gabor Greif	Comments and manual only: spelling	blob \| commitdiff \| diff to current
2016-07-20	Ben Gamari	TcInteract: Add braces to matchClassInst trace output	blob \| commitdiff \| diff to current
2016-06-23	Richard Eisenberg	Very confusing typo in error message.	blob \| commitdiff \| diff to current
2016-06-22	Simon Peyton Jones	Expand given superclasses more eagerly	blob \| commitdiff \| diff to current
2016-06-15	Simon Peyton Jones	Major patch to introduce TyConBinder	blob \| commitdiff \| diff to current
2016-06-15	Simon Peyton Jones	Re-add FunTy (big patch)	blob \| commitdiff \| diff to current
2016-05-18	Bartosz Nitka	Make inert_model and inert_eqs deterministic sets	blob \| commitdiff \| diff to current
2016-04-28	Bartosz Nitka	Kill varSetElems in injImproveEqns	blob \| commitdiff \| diff to current
2016-04-22	Simon Peyton Jones	Warn about simplifiable class constraints	blob \| commitdiff \| diff to current
2016-04-15	Bartosz Nitka	Kill some unnecessary varSetElems	blob \| commitdiff \| diff to current
2016-04-04	Eric Seidel	Don't infer CallStacks	blob \| commitdiff \| diff to current
2016-03-15	Richard Eisenberg	Fix #11401.	blob \| commitdiff \| diff to current
2016-02-24	Richard Eisenberg	Address #11471 by putting RuntimeRep in kinds.	blob \| commitdiff \| diff to current
2016-02-08	Simon Peyton Jones	Improve tracing in TcInteract	blob \| commitdiff \| diff to current
2016-01-22	Eric Seidel	Default non-canonical CallStack constraints	blob \| commitdiff \| diff to current
2016-01-19	Bartosz Nitka	Check InScopeSet in substTy and provide substTyUnchecked	blob \| commitdiff \| diff to current
2016-01-18	Jan Stolarek	Replace calls to `ptext . sLit` with `text`	blob \| commitdiff \| diff to current
2016-01-18	Eric Seidel	un-wire-in error, undefined, CallStack, and IP	blob \| commitdiff \| diff to current
2016-01-16	Simon Peyton Jones	Fix a number of subtle solver bugs	blob \| commitdiff \| diff to current
2016-01-07	Gabor Greif	Typos in docs and comments	blob \| commitdiff \| diff to current
2015-12-16	Richard Eisenberg	Note [The equality types story] in TysPrim	blob \| commitdiff \| diff to current
2015-12-15	Ben Gamari	Expose enabled language extensions to TH	blob \| commitdiff \| diff to current
2015-12-15	Simon Peyton Jones	Allow recursive (undecidable) superclasses	blob \| commitdiff \| diff to current
2015-12-12	Eric Seidel	Rework the Implicit CallStack solver to handle local...	blob \| commitdiff \| diff to current
2015-12-11	Richard Eisenberg	Add kind equalities to GHC.	blob \| commitdiff \| diff to current
2015-11-18	Simon Peyton Jones	Comments only	blob \| commitdiff \| diff to current
2015-10-30	Ben Gamari	Generate Typeable info at definition sites	blob \| commitdiff \| diff to current
2015-10-29	Ben Gamari	Revert "Generate Typeable info at definition sites"	blob \| commitdiff \| diff to current
2015-10-29	Ben Gamari	Generate Typeable info at definition sites	blob \| commitdiff \| diff to current
2015-09-21	Richard Eisenberg	Refactor BranchLists.	blob \| commitdiff \| diff to current
2015-09-11	Simon Peyton Jones	A CFunEqCan can be Derived	blob \| commitdiff \| diff to current
2015-09-03	Jan Stolarek	Injective type families	blob \| commitdiff \| diff to current
2015-09-02	Eric Seidel	Use IP based CallStack in error and undefined	blob \| commitdiff \| diff to current
2015-07-31	Gabor Greif	Typos in comments	blob \| commitdiff \| diff to current
2015-07-21	Simon Peyton Jones	Comments only (superclasses and improvement)	blob \| commitdiff \| diff to current
2015-06-28	Ben Gamari	Add -fcross-module-specialise flag	blob \| commitdiff \| diff to current
2015-06-26	Simon Peyton Jones	Better tracing and tiny refactoring	blob \| commitdiff \| diff to current
2015-06-21	Iavor S. Diatchki	Change `Typeable` instance for type-lis to use the...	blob \| commitdiff \| diff to current
2015-06-16	Richard Eisenberg	Decompose wanted repr. eqs. when no matchable givens.	blob \| commitdiff \| diff to current
2015-06-16	Ben Gamari	Encode alignment in MO_Memcpy and friends	blob \| commitdiff \| diff to current
2015-06-16	Ben Gamari	users_guide: Various spelling fixes	blob \| commitdiff \| diff to current
2015-06-16	Ben Gamari	Lexer: Suggest adding 'let' on unexpected '=' token	blob \| commitdiff \| diff to current
2015-06-15	Simon Peyton Jones	Remove derived CFunEqCans after solving givens	blob \| commitdiff \| diff to current
2015-06-11	Simon Peyton Jones	Another major improvement of "improvement"	blob \| commitdiff \| diff to current
2015-06-01	Simon Peyton Jones	Re-do superclass solving (again); fixes #10423	blob \| commitdiff \| diff to current
2015-05-18	Simon Peyton Jones	Make the "matchable-given" check happen first	blob \| commitdiff \| diff to current
2015-05-18	Simon Peyton Jones	Refactor tuple constraints	blob \| commitdiff \| diff to current
2015-05-14	Austin Seipp	Revert multiple commits	blob \| commitdiff \| diff to current
2015-05-13	Simon Peyton Jones	Make the "matchable-given" check happen first	blob \| commitdiff \| diff to current
2015-05-13	Simon Peyton Jones	Two wibbles to fix the build	blob \| commitdiff \| diff to current
2015-05-13	Simon Peyton Jones	Refactor tuple constraints	blob \| commitdiff \| diff to current
2015-05-12	Erik de Castro Lopo	Use fmap instead of <$> (Fixes #10407)	blob \| commitdiff \| diff to current
2015-05-12	David Terei	New handling of overlapping inst in Safe Haskell	blob \| commitdiff \| diff to current
2015-04-30	Gabor Greif	Typo fixes (mostly in comments)	blob \| commitdiff \| diff to current
2015-04-29	Simon Peyton Jones	Improve improvement in the constraint solver	blob \| commitdiff \| diff to current
2015-04-16	Iavor S. Diatchki	Fixes (hopefully!) T9858	blob \| commitdiff \| diff to current
2015-04-14	Simon Peyton Jones	Do not allow Typeable on constraints (Trac #9858)	blob \| commitdiff \| diff to current
2015-04-10	Gabor Greif	Typos in error messages and in comments	blob \| commitdiff \| diff to current
2015-04-09	Simon Peyton Jones	Make the evidence in a CtGiven into an EvId	blob \| commitdiff \| diff to current
2015-04-07	Simon Peyton Jones	More aggressive Given/Wanted overlap check	blob \| commitdiff \| diff to current
2015-03-23	Richard Eisenberg	Do proper depth checking in the flattener to avoid...	blob \| commitdiff \| diff to current
2015-03-19	Iavor S. Diatchki	Remove unused parameter to `EvTypeableTyCon`	blob \| commitdiff \| diff to current
2015-03-19	Iavor S. Diatchki	Merge branch 'master' of git://git.haskell.org/ghc	blob \| commitdiff \| diff to current
2015-03-19	Iavor S. Diatchki	Improve `Typeable` solver.	blob \| commitdiff \| diff to current
2015-03-07	Iavor S. Diatchki	Custom `Typeable` solver, that keeps track of kinds.	blob \| commitdiff \| diff to current
2015-02-20	Simon Peyton Jones	Comments only	blob \| commitdiff \| diff to current
2015-02-10	Yuri de Wit	Replace .lhs with .hs in compiler comments	blob \| commitdiff \| diff to current
2015-01-27	Richard Eisenberg	Fix #10031 by inverting a critical test in kick_out.	blob \| commitdiff \| diff to current
2015-01-22	Simon Peyton Jones	Merge branch 'master' of ssh://git.haskell.org/ghc	blob \| commitdiff \| diff to current
2015-01-20	Simon Peyton Jones	Some simplification and refactoring of FunDeps	blob \| commitdiff \| diff to current
2015-01-19	Eric Seidel	Expose source locations via Implicit Parameters of...	blob \| commitdiff \| diff to current
2015-01-09	Simon Peyton Jones	A little tidying up in the flattener	blob \| commitdiff \| diff to current
2015-01-06	Simon Peyton Jones	Major patch to add -fwarn-redundant-constraints	blob \| commitdiff \| diff to current
2014-12-31	Simon Peyton Jones	When solving one Given from another, use the depth...	blob \| commitdiff \| diff to current
2014-12-30	Simon Peyton Jones	Comments only, mainly on superclasses	blob \| commitdiff \| diff to current
2014-12-23	Simon Peyton Jones	Eliminate so-called "silent superclass parameters"	blob \| commitdiff \| diff to current
2014-12-12	Richard Eisenberg	Flat constraint --> Simple constraint	blob \| commitdiff \| diff to current
2014-12-12	Richard Eisenberg	Rewrite `Coercible` solver	blob \| commitdiff \| diff to current
2014-12-10	Simon Peyton Jones	Comments only: move flattening notes to TcFlatten	blob \| commitdiff \| diff to current
2014-12-10	Simon Peyton Jones	Implement a fast path for new constraints looking like...	blob \| commitdiff \| diff to current
2014-12-10	Simon Peyton Jones	Reorganise the work list, so that flattening goals...	blob \| commitdiff \| diff to current
2014-12-08	Gabor Greif	catch some recent typos	blob \| commitdiff \| diff to current
2014-12-08	Simon Peyton Jones	Revise the inert-set invariants again	blob \| commitdiff \| diff to current
2014-12-04	Adam Gundry	Prevent solveFlatWanteds from losing insolubles when...	blob \| commitdiff \| diff to current
2014-12-03	Austin Seipp	compiler: de-lhs typecheck/	blob \| commitdiff \| diff to current

GHC main repository

RSS Atom