git.haskell.org - ghc.git/search

2016-04-19	Simon Peyton Jones	Remove unused import of emptyNameEnv	commit \| commitdiff \| tree
2016-04-15	Simon Peyton Jones	Improve TcFlatten.flattenTyVar	commit \| commitdiff \| tree
2016-04-15	Simon Peyton Jones	Comments only, on Type.topSortTyVars	commit \| commitdiff \| tree
2016-04-15	Simon Peyton Jones	Remove dead function SimplUtils.countValArgs	commit \| commitdiff \| tree
2016-04-15	Simon Peyton Jones	Adjust error check for class method types	commit \| commitdiff \| tree
2016-04-15	Simon Peyton Jones	Comments only	commit \| commitdiff \| tree
2016-04-05	Simon Peyton Jones	Use exprCtOrigin in tcRnExpr	commit \| commitdiff \| tree
2016-04-04	Simon Peyton Jones	Elaborate test for #11376	commit \| commitdiff \| tree
2016-04-04	Simon Peyton Jones	Deeply instantiate in :type	commit \| commitdiff \| tree
2016-03-31	Simon Peyton Jones	Revert accidental change to collectTyAndValBinders	commit \| commitdiff \| tree
2016-03-31	Simon Peyton Jones	Refactor error generation for pattern synonyms	commit \| commitdiff \| tree
2016-03-31	Simon Peyton Jones	Make SigSkol take TcType not ExpType	commit \| commitdiff \| tree
2016-03-31	Simon Peyton Jones	Small refactor of TcMType.tauifyExpType	commit \| commitdiff \| tree
2016-03-31	Simon Peyton Jones	Refactor in TcMatches	commit \| commitdiff \| tree
2016-03-31	Simon Peyton Jones	Comments only	commit \| commitdiff \| tree
2016-03-31	Simon Peyton Jones	Minor refactoring in mkExport	commit \| commitdiff \| tree
2016-03-31	Simon Peyton Jones	Comments only	commit \| commitdiff \| tree
2016-03-30	Simon Peyton Jones	Comments only in Unify.hs	commit \| commitdiff \| tree
2016-03-25	Simon Peyton Jones	More clarification in docs for implicit quantification	commit \| commitdiff \| tree
2016-03-25	Simon Peyton Jones	Document implicit quantification better	commit \| commitdiff \| tree
2016-03-25	Simon Peyton Jones	Test Trac #11728	commit \| commitdiff \| tree
2016-03-25	Simon Peyton Jones	A raft of comments about TyBinders	commit \| commitdiff \| tree
2016-03-25	Simon Peyton Jones	CorePrep: refactoring to reduce duplication	commit \| commitdiff \| tree
2016-03-25	Simon Peyton Jones	Do not eta-reduce across Ticks in CorePrep	commit \| commitdiff \| tree
2016-03-25	Simon Peyton Jones	An extra traceTc in tcExpr for ExprWithSig	commit \| commitdiff \| tree
2016-03-24	Simon Peyton Jones	Tidy up handling of coercion variables	commit \| commitdiff \| tree
2016-03-24	Simon Peyton Jones	Comments only	commit \| commitdiff \| tree
2016-03-23	Simon Peyton Jones	Move DFunUnfolding generation to TcInstDcls	commit \| commitdiff \| tree
2016-03-23	Simon Peyton Jones	Move applyTysX near piResultTys	commit \| commitdiff \| tree
2016-03-23	Simon Peyton Jones	Comment fix	commit \| commitdiff \| tree
2016-03-09	Simon Peyton Jones	Refactoring around TcPatSyn.tcPatToExpr	commit \| commitdiff \| tree
2016-03-09	Simon Peyton Jones	Fix the implementation of lazyId	commit \| commitdiff \| tree
2016-03-02	Simon Peyton Jones	Use tyConArity rather than (length tvs)	commit \| commitdiff \| tree
2016-03-02	Simon Peyton Jones	Fix an outright bug in expandTypeSynonyms	commit \| commitdiff \| tree
2016-03-01	Simon Peyton Jones	Don't complain about unused Rule binders	commit \| commitdiff \| tree
2016-03-01	Simon Peyton Jones	Remove unnecessary isTyVar tests in TcType	commit \| commitdiff \| tree
2016-03-01	Simon Peyton Jones	A bit more tracing in TcHsType.tcTyVar	commit \| commitdiff \| tree
2016-03-01	Simon Peyton Jones	Comments only	commit \| commitdiff \| tree
2016-03-01	Simon Peyton Jones	Do not check synonym RHS for ambiguity	commit \| commitdiff \| tree
2016-02-26	Simon Peyton Jones	Test Trac #11611	commit \| commitdiff \| tree
2016-02-26	Simon Peyton Jones	Filter out BuiltinRules in occurrence analysis	commit \| commitdiff \| tree
2016-02-26	Simon Peyton Jones	Fix kind generalisation for pattern synonyms	commit \| commitdiff \| tree
2016-02-26	Simon Peyton Jones	Comments and white space only	commit \| commitdiff \| tree
2016-02-26	Simon Peyton Jones	Exclude TyVars from the constraint solver	commit \| commitdiff \| tree
2016-02-26	Simon Peyton Jones	Get the right in-scope set in specUnfolding	commit \| commitdiff \| tree
2016-02-26	Simon Peyton Jones	Special case for desugaring AbsBinds	commit \| commitdiff \| tree
2016-02-26	Simon Peyton Jones	Fix and refactor strict pattern bindings	commit \| commitdiff \| tree
2016-02-18	Simon Peyton Jones	Take type-function arity into account	commit \| commitdiff \| tree
2016-02-18	Simon Peyton Jones	Improve piResultTys and friends	commit \| commitdiff \| tree
2016-02-18	Simon Peyton Jones	(Another) minor refactoring of substitutions	commit \| commitdiff \| tree
2016-02-18	Simon Peyton Jones	Fix desugaring of bang-pattern let-bindings	commit \| commitdiff \| tree
2016-02-17	Simon Peyton Jones	Small refactor and comments	commit \| commitdiff \| tree
2016-02-17	Simon Peyton Jones	Simplify the defn of coreViewOneStarKind	commit \| commitdiff \| tree
2016-02-17	Simon Peyton Jones	Comments only	commit \| commitdiff \| tree
2016-02-15	Simon Peyton Jones	A tiny, outright bug in tcDataFamInstDecl	commit \| commitdiff \| tree
2016-02-15	Simon Peyton Jones	Comments and white space	commit \| commitdiff \| tree
2016-02-15	Simon Peyton Jones	Tiny refactor; use guards instead of 'if'	commit \| commitdiff \| tree
2016-02-15	Simon Peyton Jones	Comments only	commit \| commitdiff \| tree
2016-02-15	Simon Peyton Jones	Improve error message suppression	commit \| commitdiff \| tree
2016-02-12	Simon Peyton Jones	User manual improvments	commit \| commitdiff \| tree
2016-02-12	Simon Peyton Jones	Minor refactoring to tauifyMultipleMatches	commit \| commitdiff \| tree
2016-02-12	Simon Peyton Jones	Improve pretty-printing of HsWrappers	commit \| commitdiff \| tree
2016-02-12	Simon Peyton Jones	Beef up tc124	commit \| commitdiff \| tree
2016-02-12	Simon Peyton Jones	Simplify AbsBinds wrapping	commit \| commitdiff \| tree
2016-02-11	Simon Peyton Jones	Comments about ru_auto	commit \| commitdiff \| tree
2016-02-11	Simon Peyton Jones	Always do eta-reduction	commit \| commitdiff \| tree
2016-02-10	Simon Peyton Jones	Wrap solveEqualities in checkNoErrs	commit \| commitdiff \| tree
2016-02-08	Simon Peyton Jones	Define tyConRolesRepresentational and use it	commit \| commitdiff \| tree
2016-02-08	Simon Peyton Jones	Test Trac #11552	commit \| commitdiff \| tree
2016-02-08	Simon Peyton Jones	Define mkTvSubst, and use it	commit \| commitdiff \| tree
2016-02-08	Simon Peyton Jones	Some tiding up in TcGenDeriv	commit \| commitdiff \| tree
2016-02-08	Simon Peyton Jones	Fix a nasty superclass expansion bug	commit \| commitdiff \| tree
2016-02-08	Simon Peyton Jones	A small, local refactoring of TcSimplify.usefulToFloat	commit \| commitdiff \| tree
2016-02-08	Simon Peyton Jones	Use runTcSDeriveds for simplifyDefault	commit \| commitdiff \| tree
2016-02-08	Simon Peyton Jones	Improve error messages for recursive superclasses	commit \| commitdiff \| tree
2016-02-08	Simon Peyton Jones	Improve tracing in TcInteract	commit \| commitdiff \| tree
2016-02-08	Simon Peyton Jones	Comment out some traceFlat calls	commit \| commitdiff \| tree
2016-02-08	Simon Peyton Jones	Document and improve superclass expansion	commit \| commitdiff \| tree
2016-02-08	Simon Peyton Jones	White space and comments only	commit \| commitdiff \| tree
2016-02-08	Simon Peyton Jones	Add comments to TcCoercibleFail	commit \| commitdiff \| tree
2016-02-08	Simon Peyton Jones	Comments only, on the invariants of GlobalRdrEnv	commit \| commitdiff \| tree
2016-02-08	Simon Peyton Jones	Add Edward Kmett's example as a test case	commit \| commitdiff \| tree
2016-02-08	Simon Peyton Jones	Fix SimpleFail12 error output	commit \| commitdiff \| tree
2016-02-08	Simon Peyton Jones	Allow foralls in instance decls	commit \| commitdiff \| tree
2016-02-08	Simon Peyton Jones	Remove unused export from TcUnify	commit \| commitdiff \| tree
2016-01-26	Simon Peyton Jones	Fix three broken tests involving exceptions	commit \| commitdiff \| tree
2016-01-26	Simon Peyton Jones	Fix two cloning-related bugs	commit \| commitdiff \| tree
2016-01-26	Simon Peyton Jones	Kill off zipTopTCvSubst in favour of zipOpenTCvSubst	commit \| commitdiff \| tree
2016-01-26	Simon Peyton Jones	Add "ticks-exhausted" comment	commit \| commitdiff \| tree
2016-01-26	Simon Peyton Jones	White space only	commit \| commitdiff \| tree
2016-01-26	Simon Peyton Jones	Less verbose output for the in-scope set	commit \| commitdiff \| tree
2016-01-25	Simon Peyton Jones	Fix exprIsHNF (Trac #11248)	commit \| commitdiff \| tree
2016-01-25	Simon Peyton Jones	Improve tracing in checkValidInstance	commit \| commitdiff \| tree
2016-01-25	Simon Peyton Jones	Avoid recursive use of immSuperClasses	commit \| commitdiff \| tree
2016-01-25	Simon Peyton Jones	Refactor validity checking for type/data instances	commit \| commitdiff \| tree
2016-01-25	Simon Peyton Jones	Special-case implicit params in superclass expansion	commit \| commitdiff \| tree
2016-01-21	Simon Peyton Jones	Allow implicit parameters in constraint synonyms	commit \| commitdiff \| tree
2016-01-21	Simon Peyton Jones	Strip casts in checkValidInstHead	commit \| commitdiff \| tree
2016-01-21	Simon Peyton Jones	Remove the check_lifted check in TcValidity	commit \| commitdiff \| tree
2016-01-21	Simon Peyton Jones	Improve pretty-printing of UnivCo	commit \| commitdiff \| tree
next

GHC main repository

RSS Atom