{"push_id":3171204902,"size":3,"distinct_size":3,"ref":"refs/heads/wip/T15952","head":"0ac3f45e686eb7e3b1b75c13b9a56ac4614af31f","before":"a99a43bbb7a8a506f31307591b3ee8e9ba3c4c6f","commits":[{"sha":"f4449232e43784abff325bd3bf90f3cb5857b28b","author":{"name":"Simon Peyton Jones","email":"c710607fca41ac039d19b731ff217fbe4721d9a2@microsoft.com"},"message":"Make tcTypeKind monadic\n\nThis patch is work in progress on Trac #15952.\n\nIT DOES NOT COMPILE.\n\nThe main payload is progress towards making tcTypeKind monadic.\nHowever I have not yet made a monadic version of tcEqType, nor\nchanged all those tcEqType calls to a monadic context.  Hence,\nit won't compile as-is.\n\nI'm just parking the work I've done, on a branch,\nuntil I've had a chance to agree the path with Richard.\n\n(The previous patches on this branch /do/ compile and\nalmost-completely validate.)","distinct":true,"url":"https://api.github.com/repos/ghc/ghc/commits/f4449232e43784abff325bd3bf90f3cb5857b28b"},{"sha":"1295111c7eb2a6fe17d440c184065922b42e6af0","author":{"name":"Simon Peyton Jones","email":"c710607fca41ac039d19b731ff217fbe4721d9a2@microsoft.com"},"message":"Wibble","distinct":true,"url":"https://api.github.com/repos/ghc/ghc/commits/1295111c7eb2a6fe17d440c184065922b42e6af0"},{"sha":"0ac3f45e686eb7e3b1b75c13b9a56ac4614af31f","author":{"name":"Simon Peyton Jones","email":"c710607fca41ac039d19b731ff217fbe4721d9a2@microsoft.com"},"message":"Complete making tcTypeKindM monadic\n\nThis completes the task of making tcTypeKindM monadic.\nA number of other functions had to become monadic too\n  tcEqTypeM\n  piResultTysM\n  splitPiTyInvisibleM\n  invisibleTyBndrCountM\n  tcTupKindSortM\n\nI think this validates except for one minor regression in the\nerror message of typecheck/should_fail/T15629, where we are now\nprinting out an error message with synonym expanded.  Not quite\nsure why, but it seems like a good checkpoint.\n\nThe goal is to get rid of mkNakecCastTy etc, which I have not yet\ndone.  That's the next step.","distinct":true,"url":"https://api.github.com/repos/ghc/ghc/commits/0ac3f45e686eb7e3b1b75c13b9a56ac4614af31f"}]}
{"actor":{"display_login":"bgamari"}}