GHC | Some refactoring in tcInferApps (!116)

Mon Jan 14 11:46:41 UTC 2019

> Yes, in the discussion tab I can.  But of course that is out of context; you just get a little (non-expandable) snippet.

I lack the gitlab experience to push this any further, but I guess
an "unresolve discussion" button/checkbox would at least be
a stop-gap measure. I couldn't see such a button on the page,
probably because I don't have the required permissions for this MR.
However, the video in the ticket below (and lots of noise
elsewhere on the net) suggests such a button might exists.
Ben, or anybody, do you know anything more about that?

https://gitlab.com/gitlab-org/gitlab-ce/issues/53930