git.haskell.org - ghc.git/search

2016-12-23	Simon Peyton Jones	White space only	commit \| commitdiff \| tree
2016-12-23	Simon Peyton Jones	Fix a bug in ABot handling in CoreArity	commit \| commitdiff \| tree
2016-12-23	Simon Peyton Jones	Alpha-renaming and white space only	commit \| commitdiff \| tree
2016-12-21	Simon Peyton Jones	Improved perf for T12227	commit \| commitdiff \| tree
2016-12-21	Simon Peyton Jones	Test Trac #12950	commit \| commitdiff \| tree
2016-12-21	Simon Peyton Jones	Fix 'SPECIALISE instance'	commit \| commitdiff \| tree
2016-12-21	Simon Peyton Jones	Never apply worker/wrapper to DFuns	commit \| commitdiff \| tree
2016-12-21	Simon Peyton Jones	Move InId/OutId to CoreSyn	commit \| commitdiff \| tree
2016-12-21	Simon Peyton Jones	Lint DFunUnfoldings	commit \| commitdiff \| tree
2016-12-21	Simon Peyton Jones	Don't eta-expand in stable unfoldings	commit \| commitdiff \| tree
2016-12-21	Simon Peyton Jones	Add INLINE pragamas on Traversable default methods	commit \| commitdiff \| tree
2016-12-21	Simon Peyton Jones	Move typeSize/coercionSize into TyCoRep	commit \| commitdiff \| tree
2016-12-21	Simon Peyton Jones	Add note for rebindable syntax of [a..b]	commit \| commitdiff \| tree
2016-12-21	Simon Peyton Jones	Test Trac #12968, plus some comments	commit \| commitdiff \| tree
2016-12-20	Simon Peyton Jones	Test Trac #12996	commit \| commitdiff \| tree
2016-12-12	Simon Peyton Jones	Float unboxed expressions by boxing	commit \| commitdiff \| tree
2016-12-12	Simon Peyton Jones	Fix a long-standing bug in CSE	commit \| commitdiff \| tree
2016-12-12	Simon Peyton Jones	Make dropDerivedSimples restore [WD] constraints	commit \| commitdiff \| tree
2016-12-12	Simon Peyton Jones	Refactor pruning of implication constraints	commit \| commitdiff \| tree
2016-12-05	Simon Peyton Jones	Test Trac #12925	commit \| commitdiff \| tree
2016-12-05	Simon Peyton Jones	Use isFamFreeTyCon now we have it	commit \| commitdiff \| tree
2016-12-05	Simon Peyton Jones	Fix used-variable calculation (Trac #12548)	commit \| commitdiff \| tree
2016-12-05	Simon Peyton Jones	Fix an asymptotic bug in the occurrence analyser	commit \| commitdiff \| tree
2016-11-30	Simon Peyton Jones	Rename RuntimeRepPolymorphism to LevityPolymorphism	commit \| commitdiff \| tree
2016-11-29	Simon Peyton Jones	Zonk the free tvs of a RULE lhs to TyVars	commit \| commitdiff \| tree
2016-11-28	Simon Peyton Jones	Comments only (related to #12789)	commit \| commitdiff \| tree
2016-11-28	Simon Peyton Jones	Test Trac #12885 Author: Simon Peyton Jones <simonpj@microsoft.com>	commit \| commitdiff \| tree
2016-11-28	Simon Peyton Jones	Test Trac #12776	commit \| commitdiff \| tree
2016-11-28	Simon Peyton Jones	Fix an long-standing bug in OccurAnal	commit \| commitdiff \| tree
2016-11-25	Simon Peyton Jones	Be a bit more selective about improvement	commit \| commitdiff \| tree
2016-11-25	Simon Peyton Jones	A tiny bit more tc tracing	commit \| commitdiff \| tree
2016-11-25	Simon Peyton Jones	Fix inference of partial signatures	commit \| commitdiff \| tree
2016-11-25	Simon Peyton Jones	Refactor functional dependencies a bit	commit \| commitdiff \| tree
2016-11-25	Simon Peyton Jones	Improve pretty-printing of types	commit \| commitdiff \| tree
2016-11-25	Simon Peyton Jones	Use TyVars in PatSyns	commit \| commitdiff \| tree
2016-11-25	Simon Peyton Jones	Use TyVars in a DFunUnfolding	commit \| commitdiff \| tree
2016-11-25	Simon Peyton Jones	Use 'v' instead of 'tpl' for template vars	commit \| commitdiff \| tree
2016-11-25	Simon Peyton Jones	Kill off ifaceTyVarsOfType	commit \| commitdiff \| tree
2016-11-25	Simon Peyton Jones	Test Trac #12845	commit \| commitdiff \| tree
2016-11-25	Simon Peyton Jones	Test Trac #12867	commit \| commitdiff \| tree
2016-11-25	Simon Peyton Jones	Fix a name-space problem with promotion	commit \| commitdiff \| tree
2016-11-25	Simon Peyton Jones	Perf improvements in T6048, T10547	commit \| commitdiff \| tree
2016-11-25	Simon Peyton Jones	Remove redundant kind check	commit \| commitdiff \| tree
2016-11-25	Simon Peyton Jones	Allow TyVars in TcTypes	commit \| commitdiff \| tree
2016-11-25	Simon Peyton Jones	Another major constraint-solver refactoring	commit \| commitdiff \| tree
2016-11-25	Simon Peyton Jones	Add elemDVarEnv	commit \| commitdiff \| tree
2016-11-25	Simon Peyton Jones	Comments only in TcType	commit \| commitdiff \| tree
2016-11-25	Simon Peyton Jones	Fix a bug in mk_superclasses_of	commit \| commitdiff \| tree
2016-11-25	Simon Peyton Jones	Make a panic into an ASSERT	commit \| commitdiff \| tree
2016-11-11	Simon Peyton Jones	Revert "Refactor CallStack defaulting slightly"	commit \| commitdiff \| tree
2016-11-10	Simon Peyton Jones	Refactor CallStack defaulting slightly	commit \| commitdiff \| tree
2016-11-10	Simon Peyton Jones	Refactoring of mkNewTypeEqn	commit \| commitdiff \| tree
2016-11-10	Simon Peyton Jones	Adapt the (commented out) pprTrace in OccurAnal	commit \| commitdiff \| tree
2016-11-04	Simon Peyton Jones	Take account of injectivity when doing fundeps	commit \| commitdiff \| tree
2016-11-04	Simon Peyton Jones	Remove a debug trace	commit \| commitdiff \| tree
2016-11-04	Simon Peyton Jones	Add comments from Trac #12768	commit \| commitdiff \| tree
2016-11-02	Simon Peyton Jones	Renaming and comments in CorePrep	commit \| commitdiff \| tree
2016-11-02	Simon Peyton Jones	Fix Trac #12797: approximateWC	commit \| commitdiff \| tree
2016-11-02	Simon Peyton Jones	Use substTyUnchecked in TcMType.new_meta_tv_x	commit \| commitdiff \| tree
2016-11-02	Simon Peyton Jones	Simplify the API for TcHsType.kcHsTyVarBndrs	commit \| commitdiff \| tree
2016-11-02	Simon Peyton Jones	Get rid of TcTyVars more assiduously	commit \| commitdiff \| tree
2016-11-02	Simon Peyton Jones	Tiny refactor	commit \| commitdiff \| tree
2016-10-28	Simon Peyton Jones	Clarify comments on kinds (Trac #12536)	commit \| commitdiff \| tree
2016-10-27	Simon Peyton Jones	Fix typo in comment	commit \| commitdiff \| tree
2016-10-27	Simon Peyton Jones	Allow levity-polymorpic arrows	commit \| commitdiff \| tree
2016-10-27	Simon Peyton Jones	Collect coercion variables, not type variables	commit \| commitdiff \| tree
2016-10-27	Simon Peyton Jones	Simple refactor to remove misleading comment	commit \| commitdiff \| tree
2016-10-26	Simon Peyton Jones	Fundeps work even for unary type classes	commit \| commitdiff \| tree
2016-10-24	Simon Peyton Jones	Test Trac #12081	commit \| commitdiff \| tree
2016-10-24	Simon Peyton Jones	Test Trac #12174	commit \| commitdiff \| tree
2016-10-24	Simon Peyton Jones	Take account of kinds in promoteTcType	commit \| commitdiff \| tree
2016-10-24	Simon Peyton Jones	Don't instantaite when typechecking a pattern synonym	commit \| commitdiff \| tree
2016-10-24	Simon Peyton Jones	Prioritise class-level equality costraints	commit \| commitdiff \| tree
2016-10-21	Simon Peyton Jones	Improve TcCanonical.unifyWanted and unifyDerived	commit \| commitdiff \| tree
2016-10-21	Simon Peyton Jones	Define emitNewWantedEq, and use it	commit \| commitdiff \| tree
2016-10-21	Simon Peyton Jones	Refactor occurrence-check logic	commit \| commitdiff \| tree
2016-10-21	Simon Peyton Jones	Accept 20% dedgradation in Trac #5030 compile time	commit \| commitdiff \| tree
2016-10-21	Simon Peyton Jones	A collection of type-inference refactorings.	commit \| commitdiff \| tree
2016-10-21	Simon Peyton Jones	Make TcLevel increase by 1 not 2	commit \| commitdiff \| tree
2016-10-21	Simon Peyton Jones	Test Trac #12507	commit \| commitdiff \| tree
2016-10-21	Simon Peyton Jones	Comments and trivial refactoring	commit \| commitdiff \| tree
2016-10-21	Simon Peyton Jones	Refactor typechecking of pattern bindings Author: Simon Peyton Jones <simonpj@microsoft.com>	commit \| commitdiff \| tree
2016-10-19	Simon Peyton Jones	Test for newtype with unboxed argument	commit \| commitdiff \| tree
2016-10-17	Simon Peyton Jones	Re-add accidentally-deleted line Author: Simon Peyton Jones <simonpj@microsoft.com>	commit \| commitdiff \| tree
2016-10-17	Simon Peyton Jones	Comments only	commit \| commitdiff \| tree
2016-10-17	Simon Peyton Jones	Add more variants of T3064 (in comments)	commit \| commitdiff \| tree
2016-10-17	Simon Peyton Jones	Reduce trace output slightly	commit \| commitdiff \| tree
2016-10-17	Simon Peyton Jones	Test Trac #12681	commit \| commitdiff \| tree
2016-10-17	Simon Peyton Jones	Fix wrapping order in matchExpectedConTy	commit \| commitdiff \| tree
2016-10-17	Simon Peyton Jones	Correct order of existentials in pattern synonyms	commit \| commitdiff \| tree
2016-10-17	Simon Peyton Jones	Typo in comment	commit \| commitdiff \| tree
2016-10-17	Simon Peyton Jones	Fix shadowing in mkWwBodies	commit \| commitdiff \| tree
2016-10-17	Simon Peyton Jones	Fix comment typo	commit \| commitdiff \| tree
2016-10-17	Simon Peyton Jones	Comments about -Wredundant-constraints	commit \| commitdiff \| tree
2016-10-13	Simon Peyton Jones	Further improve error handling in TcRn monad	commit \| commitdiff \| tree
2016-10-12	Simon Peyton Jones	Comments and equation ordering only	commit \| commitdiff \| tree
2016-10-12	Simon Peyton Jones	Add derived shadows only for Wanted constraints	commit \| commitdiff \| tree
2016-10-10	Simon Peyton Jones	More tests for Trac #12522	commit \| commitdiff \| tree
2016-10-10	Simon Peyton Jones	Improved stats for Trac #1969	commit \| commitdiff \| tree
2016-10-10	Simon Peyton Jones	Move zonking out of tcFamTyPats	commit \| commitdiff \| tree
next

GHC main repository

RSS Atom