GHC | Some refactoring in tcInferApps (!116)
mikolaj at well-typed.com
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?
More information about the ghc-devs