{"push_id":885937914,"size":6,"distinct_size":6,"ref":"refs/heads/master","head":"1b3826ccdbd7e3dd0f7203802a2b1043f0a64a1f","before":"a32510fe295e261adb57479c8fffc6df0d810eed","commits":[{"sha":"afb721390cd506f09ce9f04aa3fb19324c2ae5a0","author":{"email":"4a3f4704bc8d2eaf9c65274e8718c7eed4a49074@gmail.com","name":"Ömer Sinan Ağacan"},"message":"MkId: Typos in comments","distinct":true,"url":"https://api.github.com/repos/bgamari/ghc/commits/afb721390cd506f09ce9f04aa3fb19324c2ae5a0"},{"sha":"14d0f7f1221db758cd06a69f53803d9d0150164a","author":{"email":"ab9e1598ed2369b9e8a97a494e9ac8bffae3982a@gmail.com","name":"Thomas Miedema"},"message":"Build system: Add stage specific SRC_HC_(WARNING_)OPTS\n\n* Add stage specific versions of SRC_HC_OPTS. These are currently only\n  used for -Werror. The previous combination of GhcStage2HcOpts and\n  GhcLibHcOpts didn't apply to utils/*.\n\n* Add stage specific versions of SRC_HC_WARNING_OPTS. These will later be\n  used for new warning supression flags that should not be passed to the\n  bootstrap compiler.\n\n* Move -Wall (and -Werror) related code back to mk/warnings.mk, where it\n  was before 987d54274. Now all warning related code is nicely together.\n  Include mk/warnings.mk after mk/custom-settings.mk to make this work.\n\nReviewed By: bgamari, hvr\n\nDifferential Revision: https://phabricator.haskell.org/D1536","distinct":true,"url":"https://api.github.com/repos/bgamari/ghc/commits/14d0f7f1221db758cd06a69f53803d9d0150164a"},{"sha":"6dce643d1981f1ecba2b38f5932720385999244b","author":{"email":"33a79369f7f1bb2015b934785d65836d348ca937@fb.com","name":"Bartosz Nitka"},"message":"Fix grammar and typo in TcTyDecls\n\nSummary: It's just a docufix.\n\nTest Plan: just a docufix\n\nReviewers: austin, bgamari\n\nReviewed By: bgamari\n\nSubscribers: thomie\n\nDifferential Revision: https://phabricator.haskell.org/D1550","distinct":true,"url":"https://api.github.com/repos/bgamari/ghc/commits/6dce643d1981f1ecba2b38f5932720385999244b"},{"sha":"36c1247846bbbc1af939c098660ce27ddaa36a0d","author":{"email":"7e4a75484f483b5dcc54ee90b277f9fe0a200086@gmail.com","name":"Gabor Greif"},"message":"Remove duplicated line","distinct":true,"url":"https://api.github.com/repos/bgamari/ghc/commits/36c1247846bbbc1af939c098660ce27ddaa36a0d"},{"sha":"44c3e3768e28199468d2ffff0b25db055d22c310","author":{"email":"7e4a75484f483b5dcc54ee90b277f9fe0a200086@gmail.com","name":"Gabor Greif"},"message":"Fix warning about unused pattern variable","distinct":true,"url":"https://api.github.com/repos/bgamari/ghc/commits/44c3e3768e28199468d2ffff0b25db055d22c310"},{"sha":"1b3826ccdbd7e3dd0f7203802a2b1043f0a64a1f","author":{"email":"c710607fca41ac039d19b731ff217fbe4721d9a2@microsoft.com","name":"Simon Peyton Jones"},"message":"Refactor treatment of wildcards\n\nThis patch began as a modest refactoring of HsType and friends, to\nclarify and tidy up exactly where quantification takes place in types.\nAlthough initially driven by making the implementation of wildcards more\ntidy (and fixing a number of bugs), I gradually got drawn into a pretty\nbig process, which I've been doing on and off for quite a long time.\n\nThere is one compiler performance regression as a result of all\nthis, in perf/compiler/T3064.  I still need to look into that.\n\n* The principal driving change is described in Note [HsType binders]\n  in HsType.  Well worth reading!\n\n* Those data type changes drive almost everything else.  In particular\n  we now statically know where\n\n       (a) implicit quantification only (LHsSigType),\n           e.g. in instance declaratios and SPECIALISE signatures\n\n       (b) implicit quantification and wildcards (LHsSigWcType)\n           can appear, e.g. in function type signatures\n\n* As part of this change, HsForAllTy is (a) simplified (no wildcards)\n  and (b) split into HsForAllTy and HsQualTy.  The two contructors\n  appear when and only when the correponding user-level construct\n  appears.  Again see Note [HsType binders].\n\n  HsExplicitFlag disappears altogether.\n\n* Other simplifications\n\n     - ExprWithTySig no longer needs an ExprWithTySigOut variant\n\n     - TypeSig no longer needs a PostRn name [name] field\n       for wildcards\n\n     - PatSynSig records a LHsSigType rather than the decomposed\n       pieces\n\n     - The mysterious 'GenericSig' is now 'ClassOpSig'\n\n* Renamed LHsTyVarBndrs to LHsQTyVars\n\n* There are some uninteresting knock-on changes in Haddock,\n  because of the HsSyn changes\n\nI also did a bunch of loosely-related changes:\n\n* We already had type synonyms CoercionN/CoercionR for nominal and\n  representational coercions.  I've added similar treatment for\n\n      TcCoercionN/TcCoercionR\n\n      mkWpCastN/mkWpCastN\n\n  All just type synonyms but jolly useful.\n\n* I record-ised ForeignImport and ForeignExport\n\n* I improved the (poor) fix to Trac #10896, by making\n  TcTyClsDecls.checkValidTyCl recover from errors, but adding a\n  harmless, abstract TyCon to the envt if so.\n\n* I did some significant refactoring in RnEnv.lookupSubBndrOcc,\n  for reasons that I have (embarrassingly) now totally forgotten.\n  It had to do with something to do with import and export","distinct":true,"url":"https://api.github.com/repos/bgamari/ghc/commits/1b3826ccdbd7e3dd0f7203802a2b1043f0a64a1f"}]}