Marge bot review link

Hi Ben, I’m wondering if it’s possible to get marge to amend the commit message before it merges it to include links to the review requests. I really miss that phab feature.. Thanks, Tamar ___ ghc-devs mailing list ghc-devs@haskell.org http://mail.has

gitlab.haskell.org spam issues

There appears to be an account [1] that is submitting spam as GitLab issues. I've noticed the following spam issues so far: * https://gitlab.haskell.org/ghc/ghc/issues/17664 * https://gitlab.haskell.org/ghc/ghc/issues/17666 * https://gitlab.haskell.org/haskell/ghcup/issues/125 * https://gitlab.has

Re: gitlab.haskell.org spam issues

They are also in snippets: https://gitlab.haskell.org/explore/snippets Regards, Takenobu On Sun, Jan 12, 2020 at 7:08 AM Ryan Scott wrote: > > There appears to be an account [1] that is submitting spam as GitLab issues. > I've noticed the following spam issues so far: > > * https://gitlab.ha

Re: Superclasses of type families returning constraints?

> On Jan 6, 2020, at 15:41, Simon Peyton Jones wrote: > > Ah, I see a bit better now. So you want a way to get from evidence that > co1 :: F a b ~# () > to evidence that > co2 :: a ~# b > > So you'd need some coercion form like > co2 = runBackwards co1 > > or something, where