git.haskell.org - ghc.git/search

2016-06-25	Richard Eisenberg	Refactor tcInferArgs and add comments.	commit \| commitdiff \| tree
2016-06-25	Richard Eisenberg	s/Invisible/Inferred/g s/Visible/Required/g	commit \| commitdiff \| tree
2016-06-23	Richard Eisenberg	Release notes for #11975 and #10963	commit \| commitdiff \| tree
2016-06-23	Richard Eisenberg	Fix #10963 and #11975 by adding new cmds to GHCi.	commit \| commitdiff \| tree
2016-06-23	Richard Eisenberg	Fix #11974 by adding a more smarts to TcDefaults.	commit \| commitdiff \| tree
2016-06-23	Richard Eisenberg	Very confusing typo in error message.	commit \| commitdiff \| tree
2016-04-29	Richard Eisenberg	Test #11484 in th/T11484	commit \| commitdiff \| tree
2016-04-29	Richard Eisenberg	Remove the incredibly hairy splitTelescopeTvs.	commit \| commitdiff \| tree
2016-04-15	Richard Eisenberg	Increase an InScopeSet for a substitution	commit \| commitdiff \| tree
2016-04-12	Richard Eisenberg	Teach lookupLocalRdrEnv about Exacts. (#11813)	commit \| commitdiff \| tree
2016-04-12	Richard Eisenberg	Fix #11814 by throwing more stuff into InScopeSets	commit \| commitdiff \| tree
2016-04-12	Richard Eisenberg	Fix #11797.	commit \| commitdiff \| tree
2016-04-12	Richard Eisenberg	Fix #11811.	commit \| commitdiff \| tree
2016-03-26	Richard Eisenberg	Clarify Note [Kind coercions in Unify]	commit \| commitdiff \| tree
2016-03-26	Richard Eisenberg	Check for rep poly on wildcard binders.	commit \| commitdiff \| tree
2016-03-26	Richard Eisenberg	Fix #11754 by adding an additional check.	commit \| commitdiff \| tree
2016-03-22	Richard Eisenberg	Avoid running afoul of the zipTvSubst check.	commit \| commitdiff \| tree
2016-03-21	Richard Eisenberg	Comments (only) in TcFlatten	commit \| commitdiff \| tree
2016-03-21	Richard Eisenberg	Improve panicking output	commit \| commitdiff \| tree
2016-03-21	Richard Eisenberg	Fix #11723 and #11724.	commit \| commitdiff \| tree
2016-03-21	Richard Eisenberg	Zonk before calling splitDepVarsOfType.	commit \| commitdiff \| tree
2016-03-21	Richard Eisenberg	Track specified/invisible more carefully.	commit \| commitdiff \| tree
2016-03-21	Richard Eisenberg	Comment a suspicious zonk in TcFlatten.	commit \| commitdiff \| tree
2016-03-21	Richard Eisenberg	Prevent eager unification with type families.	commit \| commitdiff \| tree
2016-03-21	Richard Eisenberg	Rename test for #11334 to 11334b, fixing conflict	commit \| commitdiff \| tree
2016-03-21	Richard Eisenberg	Make equality print better. (#11712)	commit \| commitdiff \| tree
2016-03-21	Richard Eisenberg	Fix #11635 / #11719.	commit \| commitdiff \| tree
2016-03-21	Richard Eisenberg	Add two small optimizations. (#11196)	commit \| commitdiff \| tree
2016-03-21	Richard Eisenberg	TypeApplications does not imply AllowAmbiguousTypes	commit \| commitdiff \| tree
2016-03-21	Richard Eisenberg	Fix exponential algorithm in pure unifier.	commit \| commitdiff \| tree
2016-03-17	Richard Eisenberg	Fix #11512 by getting visibility right for methods	commit \| commitdiff \| tree
2016-03-17	Richard Eisenberg	Fix #11716.	commit \| commitdiff \| tree
2016-03-17	Richard Eisenberg	Fix #11711.	commit \| commitdiff \| tree
2016-03-16	Richard Eisenberg	Clean up some pretty-printing in errors.	commit \| commitdiff \| tree
2016-03-16	Richard Eisenberg	Fix printing of "kind" vs. "type"	commit \| commitdiff \| tree
2016-03-16	Richard Eisenberg	Fix #11473.	commit \| commitdiff \| tree
2016-03-15	Richard Eisenberg	Fix #11357.	commit \| commitdiff \| tree
2016-03-15	Richard Eisenberg	Incorporate bgamari's suggestions for #11614.	commit \| commitdiff \| tree
2016-03-15	Richard Eisenberg	Remove redundant anonymiseTyBinders (#11648)	commit \| commitdiff \| tree
2016-03-15	Richard Eisenberg	Testsuite wibbles from previous commits.	commit \| commitdiff \| tree
2016-03-15	Richard Eisenberg	Allow eager unification with type families.	commit \| commitdiff \| tree
2016-03-15	Richard Eisenberg	Fix #11648.	commit \| commitdiff \| tree
2016-03-15	Richard Eisenberg	Document TypeInType (#11614)	commit \| commitdiff \| tree
2016-03-15	Richard Eisenberg	Test case for #11699 in typecheck/should_compile	commit \| commitdiff \| tree
2016-03-15	Richard Eisenberg	Expand Note [Non-trivial definitional equality]	commit \| commitdiff \| tree
2016-03-15	Richard Eisenberg	Refactor visible type application.	commit \| commitdiff \| tree
2016-03-15	Richard Eisenberg	Fix #11401.	commit \| commitdiff \| tree
2016-03-15	Richard Eisenberg	Fix #11334.	commit \| commitdiff \| tree
2016-03-15	Richard Eisenberg	Fix #11407.	commit \| commitdiff \| tree
2016-03-15	Richard Eisenberg	Move and expand (slightly) TypeApplications docs	commit \| commitdiff \| tree
2016-02-24	Richard Eisenberg	Address #11471 by putting RuntimeRep in kinds.	commit \| commitdiff \| tree
2016-02-17	Richard Eisenberg	Comments only (#11513)	commit \| commitdiff \| tree
2016-02-17	Richard Eisenberg	Fix #11313.	commit \| commitdiff \| tree
2016-02-17	Richard Eisenberg	Fix #11246.	commit \| commitdiff \| tree
2016-02-17	Richard Eisenberg	Fix #11241.	commit \| commitdiff \| tree
2016-02-17	Richard Eisenberg	Use CoercionN and friends in TyCoRep	commit \| commitdiff \| tree
2016-02-17	Richard Eisenberg	Remove extraneous fundeps on (~)	commit \| commitdiff \| tree
2016-02-17	Richard Eisenberg	Add missing kind cast to pure unifier.	commit \| commitdiff \| tree
2016-02-17	Richard Eisenberg	Existentials should be specified.	commit \| commitdiff \| tree
2016-02-17	Richard Eisenberg	Make exactTyCoVarsOfTypes closed over kinds.	commit \| commitdiff \| tree
2016-01-29	Richard Eisenberg	Add release note about flexible RebindableSyntax	commit \| commitdiff \| tree
2016-01-27	Richard Eisenberg	Refactor the typechecker to use ExpTypes.	commit \| commitdiff \| tree
2016-01-27	Richard Eisenberg	Fix some substitution InScopeSets	commit \| commitdiff \| tree
2016-01-15	Richard Eisenberg	Fix #11405.	commit \| commitdiff \| tree
2016-01-15	Richard Eisenberg	Fix typo in error message (#11409)	commit \| commitdiff \| tree
2016-01-15	Richard Eisenberg	Tiny refactoring in TcUnify	commit \| commitdiff \| tree
2016-01-15	Richard Eisenberg	Fix #11404	commit \| commitdiff \| tree
2016-01-15	Richard Eisenberg	Constrained types have kind * in validity check.	commit \| commitdiff \| tree
2016-01-15	Richard Eisenberg	Fix #11254.	commit \| commitdiff \| tree
2016-01-15	Richard Eisenberg	Clarify topological sorting of spec vars in manual	commit \| commitdiff \| tree
2016-01-15	Richard Eisenberg	Fix #11311	commit \| commitdiff \| tree
2016-01-15	Richard Eisenberg	Fix #10872.	commit \| commitdiff \| tree
2016-01-15	Richard Eisenberg	Test #11252 in ghci/scripts/T11252	commit \| commitdiff \| tree
2016-01-15	Richard Eisenberg	Fix #11355.	commit \| commitdiff \| tree
2015-12-30	Richard Eisenberg	Fix #11305.	commit \| commitdiff \| tree
2015-12-26	Richard Eisenberg	Test #10619 in typecheck/should_fail/T10619	commit \| commitdiff \| tree
2015-12-26	Richard Eisenberg	Test #10589 in typecheck/should_compile/T10589	commit \| commitdiff \| tree
2015-12-26	Richard Eisenberg	Fix #11287.	commit \| commitdiff \| tree
2015-12-26	Richard Eisenberg	Have mkCastTy look more closely for reflexivity.	commit \| commitdiff \| tree
2015-12-26	Richard Eisenberg	Note [TyBinder] in TyCoRep	commit \| commitdiff \| tree
2015-12-26	Richard Eisenberg	Test #11254 in typecheck/should_compile/T11254	commit \| commitdiff \| tree
2015-12-26	Richard Eisenberg	Fix #11255.	commit \| commitdiff \| tree
2015-12-24	Richard Eisenberg	Visible type application ...Visible type application", by Richard Eisenberg,	commit \| commitdiff \| tree
2015-12-22	Richard Eisenberg	CoercionN is not in scope in TyCoRep	commit \| commitdiff \| tree
2015-12-22	Richard Eisenberg	Tweak comments around UnivCos.	commit \| commitdiff \| tree
2015-12-17	Richard Eisenberg	Fix #11230.	commit \| commitdiff \| tree
2015-12-17	Richard Eisenberg	Fix tcTyClTyVars to handle SigTvs	commit \| commitdiff \| tree
2015-12-17	Richard Eisenberg	Fix #11232.	commit \| commitdiff \| tree
2015-12-16	Richard Eisenberg	Note [The equality types story] in TysPrim	commit \| commitdiff \| tree
2015-12-14	Richard Eisenberg	Test #9632 in dependent/should_compile/T9632	commit \| commitdiff \| tree
2015-12-14	Richard Eisenberg	Suggest import Data.Kinds when * is out of scope	commit \| commitdiff \| tree
2015-12-12	Richard Eisenberg	Remove redundant imports	commit \| commitdiff \| tree
2015-12-12	Richard Eisenberg	Test #9017 in polykinds/T9017	commit \| commitdiff \| tree
2015-12-12	Richard Eisenberg	Test case for #7961.	commit \| commitdiff \| tree
2015-12-11	Richard Eisenberg	Add kind equalities to GHC.	commit \| commitdiff \| tree
2015-10-21	Richard Eisenberg	Remove old trace statement	commit \| commitdiff \| tree
2015-09-21	Richard Eisenberg	`_ <- mapM` --> `mapM_`	commit \| commitdiff \| tree
2015-09-21	Richard Eisenberg	Refactor BranchLists.	commit \| commitdiff \| tree
2015-09-21	Richard Eisenberg	Run simplifier only when the env is clean.	commit \| commitdiff \| tree
2015-09-21	Richard Eisenberg	Perform a validity check on assoc type defaults.	commit \| commitdiff \| tree
next

GHC main repository

RSS Atom