git.haskell.org / ghc.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Improve the desugaring of -XStrict
[ghc.git] / compiler / types /
2017-07-31  Richard EisenbergClarify comment about data family arities tree | commitdiff
2017-07-28  Simon Peyton JonesAdd DebugCallStack to piResultTy tree | commitdiff
2017-07-27  Richard EisenbergRefactor tcInferApps. tree | commitdiff
2017-07-27  Richard EisenbergFix #12369 by being more flexible with data insts tree | commitdiff
2017-07-27  Richard EisenbergFix #13819 by refactoring TypeEqOrigin.uo_thing tree | commitdiff
2017-07-27  Richard EisenbergRemove old coercion pretty-printer tree | commitdiff
2017-07-27  Richard EisenbergDon't tidy vars when dumping a type tree | commitdiff
2017-07-27  Richard EisenbergImprove error messages around kind mismatches. tree | commitdiff
2017-07-26  Simon Peyton JonesFix binder visiblity for default methods tree | commitdiff
2017-07-19  Ryan ScottFix #13983 by creating a TyConFlavour type, and using it tree | commitdiff
2017-06-29  Ryan ScottTypos in comments tree | commitdiff
2017-06-18  Ryan ScottFix out-of-date comments in TyCoRep tree | commitdiff
2017-06-02  Ryan ScottUse lengthIs and friends in more places tree | commitdiff
2017-05-26  Simon Peyton JonesSome tidying up of type pretty-printing tree | commitdiff
2017-05-16  Simon Peyton JonesFix the pure unifier tree | commitdiff
2017-05-12  Gabor GreifTypos [ci skip] tree | commitdiff
2017-05-09  Simon Peyton JonesUse mkSymCo in OptCoercion.wrapSym tree | commitdiff
2017-05-08  Ben GamariOptCoercion: Ensure that TyConApps match in arity tree | commitdiff
2017-05-04  Simon Peyton JonesComments only, about Typeable/TypeRep/KindRep tree | commitdiff
2017-05-04  Simon Peyton JonesTeach optCoecion about FunCo tree | commitdiff
2017-05-03  Richard EisenbergUse mkCastTy in subst_ty. tree | commitdiff
2017-05-03  Richard EisenbergShave the hair off mkCastTy. tree | commitdiff
2017-05-03  Richard EisenbergFix #13233 by checking for lev-poly primops tree | commitdiff
2017-04-13  Simon Peyton JonesComments only in Type.isPredTy tree | commitdiff
2017-04-05  Matthew PickeringReplace Digraph's Node type synonym with a data type tree | commitdiff
2017-03-31  Ben GamariClean up coreView/tcView. tree | commitdiff
2017-03-29  Simon Peyton JonesAdd a couple of HasDebugCallStack contexts tree | commitdiff
2017-03-29  Simon Peyton JonesAllow unbound Refl binders in a RULE tree | commitdiff
2017-03-14  Gabor GreifTypos in manual and comments tree | commitdiff
2017-03-10  Simon Peyton JonesImprove error messages for skolems tree | commitdiff
2017-03-02  Edward Z. YangPrevent users from defining instances for abstract... tree | commitdiff
2017-03-02  Edward Z. YangProperly represent abstract classes in Class and IfaceDecl tree | commitdiff
2017-03-02  Edward Z. YangInjective type families imply nominal injectivity,... tree | commitdiff
2017-03-01  David FeuerUpgrade UniqSet to a newtype tree | commitdiff
2017-03-01  Simon Peyton JonesImprove pretty-printing of types tree | commitdiff
2017-03-01  Simon Peyton JonesAdd VarSet.anyDVarSet, allDVarSet tree | commitdiff
2017-02-28  Simon Peyton JonesMake Specialise work with casts tree | commitdiff
2017-02-27  Edward Z. YangSubtyping for roles in signatures. tree | commitdiff
2017-02-27  Edward Z. YangTreat all TyCon with hole names as skolem abstract. tree | commitdiff
2017-02-26  Ben GamariCoercion: Try dropping constraintIsLifted axiom tree | commitdiff
2017-02-21  Simon Peyton JonesRemove panics for TcTyCon tree | commitdiff
2017-02-21  Simon Peyton JonesSpelling in comments only tree | commitdiff
2017-02-20  Gabor GreifTypos in manual, tests and comments tree | commitdiff
2017-02-18  Ben GamariDisable Typeable binding generation for unboxed sums tree | commitdiff
2017-02-18  Ben GamariType-indexed Typeable tree | commitdiff
2017-02-18  Ben GamariGeneralize kind of the (->) tycon tree | commitdiff
2017-02-15  Gabor GreifTypos [ci skip] tree | commitdiff
2017-02-14  Adam GundryImplement HasField constraint solving and modify Overlo... tree | commitdiff
2017-02-09  Gabor GreifTweaks and typos in manual, note refs, comments tree | commitdiff
2017-02-08  Takenobu TaniFix comment (broken link to users_guide) in $(TOP)/ tree | commitdiff
2017-02-06  Gabor GreifTypos in comments [skip ci] tree | commitdiff
2017-02-06  Reid BartonDon't replace type family instances with the same LHS... tree | commitdiff
2017-02-03  Sylvain HenryDitch static flags tree | commitdiff
2017-02-02  George KarachaliasExhaustiveness check for EmptyCase (Trac #10746) tree | commitdiff
2017-02-01  Luke MaurerJoin points tree | commitdiff
2017-01-28  Ryan ScottConvert pprTrace in isPredTy to a WARN tree | commitdiff
2017-01-26  Gabor GreifPrune unneeded Derive* language pragmas tree | commitdiff
2017-01-25  Gabor GreifTypos in comments [ci skip] tree | commitdiff
2017-01-23  Bartosz NitkaMake checkFamInstConsistency faster tree | commitdiff
2017-01-23  Gabor GreifTypos and grammar in manual/comments tree | commitdiff
2017-01-20  Phil de JouxShow explicit quantifiers in conflicting definitions... tree | commitdiff
2017-01-19  Richard EisenbergUpdate levity polymorphism tree | commitdiff
2017-01-18  Gabor GreifSpelling fixes in comments [ci skip] tree | commitdiff
2017-01-16  Simon Peyton JonesComments about TyBinders (only) tree | commitdiff
2017-01-11  Edward Z. YangFix handling of closed type families in Backpack. tree | commitdiff
2017-01-06  Simon Peyton JonesFix the implementation of the "push rules" tree | commitdiff
2017-01-06  Simon Peyton JonesAvoid exponential blowup in FamInstEnv.normaliseType tree | commitdiff
2016-12-21  Simon Peyton JonesMove typeSize/coercionSize into TyCoRep tree | commitdiff
2016-12-17  Richard EisenbergReshuffle levity polymorphism checks. tree | commitdiff
2016-12-13  John Leoprint * in unicode correctly (fixes #12550) tree | commitdiff
2016-12-05  Simon Peyton JonesUse isFamFreeTyCon now we have it tree | commitdiff
2016-11-30  Simon Peyton JonesRename RuntimeRepPolymorphism to LevityPolymorphism tree | commitdiff
2016-11-28  Gabor GreifTypos in comments only [ci skip] tree | commitdiff
2016-11-25  Simon Peyton JonesRefactor functional dependencies a bit tree | commitdiff
2016-11-25  Simon Peyton JonesImprove pretty-printing of types tree | commitdiff
2016-11-25  Simon Peyton JonesAllow TyVars in TcTypes tree | commitdiff
2016-11-24  Dominik BollmannMake quoting and reification return the same types tree | commitdiff
2016-11-17  Edward Z. YangTest for type synonym loops on TyCon. tree | commitdiff
2016-11-13  Ben GamariKill Type pretty-printer tree | commitdiff
2016-11-04  Simon Peyton JonesTake account of injectivity when doing fundeps tree | commitdiff
2016-10-28  Simon Peyton JonesClarify comments on kinds (Trac #12536) tree | commitdiff
2016-10-27  Simon Peyton JonesFix typo in comment tree | commitdiff
2016-10-27  Simon Peyton JonesAllow levity-polymorpic arrows tree | commitdiff
2016-10-21  Simon Peyton JonesRefactor occurrence-check logic tree | commitdiff
2016-10-21  Simon Peyton JonesA collection of type-inference refactorings. tree | commitdiff
2016-10-21  Gabor GreifTypos in comments tree | commitdiff
2016-10-20  Edward Z. YangOnly delete instances when merging when there is an... tree | commitdiff
2016-10-20  Edward Z. YangNew story for abstract data types in hsig files. tree | commitdiff
2016-10-17  Simon Peyton JonesFix comment typo tree | commitdiff
2016-10-08  Matthew PickeringRework renaming of children in export lists. tree | commitdiff
2016-10-08  Edward Z. YangThe Backpack patch. tree | commitdiff
2016-09-30  Gabor GreifCorrect spelling in note references tree | commitdiff
2016-09-30  Simon Peyton JonesComments only tree | commitdiff
2016-09-26  Simon Peyton JonesPrint foralls in user format tree | commitdiff
2016-09-23  Richard EisenbergFix #12442. tree | commitdiff
2016-09-15  Simon Peyton JonesComments only tree | commitdiff
2016-09-15  Ben GamariUnify CallStack handling in ghc tree | commitdiff
2016-08-16  Edward Z. YangMinor typofix. tree | commitdiff
2016-07-21  Ömer Sinan AğacanImplement unboxed sum primitive type tree | commitdiff
2016-07-20  Ben GamariInstEnv: Ensure that instance visibility check is lazy tree | commitdiff
next
GHC main repository