Gitlab bug?

Tobias Dammers tdammers at
Tue Feb 26 10:58:00 UTC 2019

It seems to behave just fine on my computer.

Maybe some sort of cache-related race condition is going on in the
client-side JavaScript here? A hard page reload might "fix" that.

On Tue, Feb 26, 2019 at 10:18:02AM +0000, Simon Peyton Jones via ghc-devs wrote:
> Look here:
> Look at the comment "Is this zipping necessary? We haven't zonked the scoped_kvs or the tc_tvs, I think" from Richard Eisenberg, just below line 1925 in TcHsType.
> Now click on the grey "..." above his comment, to expand more code lines above.
> Uh oh!
>   *   The same comment now occurs twice, just below line 1904, and again just below 1925.
>   *   The first time it's on the wrong line of code
>   *   But in the second position (the correct one) the "Reply" box is inactive.  I can't type into it.
> Is this is a bug? How to report it?
> Simon

> _______________________________________________
> ghc-devs mailing list
> ghc-devs at

Tobias Dammers - tdammers at

More information about the ghc-devs mailing list