<div dir="ltr"><div class="gmail_default" style="font-family:tahoma,sans-serif">But it used to work fine. What has changed?  It seems like a pretty serious bug!<br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Thu, 11 Jan 2024 at 15:38, Rodrigo Mesquita <<a href="mailto:rodrigo.m.mesquita@gmail.com">rodrigo.m.mesquita@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div>FWIW, I’m able to render/preview successfully other proposals, but 448-type-variable-scoping loads very slowly and ultimately fails to render for me too.<div><br></div><div>A comment in <a href="https://github.com/github/markup/issues/1016" target="_blank">https://github.com/github/markup/issues/1016</a> (issue related to .rst not rendering) says that forcing a change in the file triggered a re-render successfully.</div><div><br></div><div>Rodrigo</div><div><div><br id="m_-3814833289036028877lineBreakAtBeginningOfMessage"><div><br><blockquote type="cite"><div>On 11 Jan 2024, at 15:28, Simon Peyton Jones <<a href="mailto:simon.peytonjones@gmail.com" target="_blank">simon.peytonjones@gmail.com</a>> wrote:</div><br><div><div dir="ltr"><div class="gmail_default" style="font-family:tahoma,sans-serif">If you go to <a href="https://github.com/ghc-proposals/ghc-proposals/pull/448" target="_blank">https://github.com/ghc-proposals/ghc-proposals/pull/448</a>, and click on the "rendered" link, namely <a href="https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0448-type-variable-scoping.rst" target="_blank">https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0448-type-variable-scoping.rst</a>, Github is now displaying the .rst source, not the rendered proposal.</div><div class="gmail_default" style="font-family:tahoma,sans-serif"><br></div><div class="gmail_default" style="font-family:tahoma,sans-serif">This has started happening (consistently across other proposals) today.</div><div class="gmail_default" style="font-family:tahoma,sans-serif"><br></div><div class="gmail_default" style="font-family:tahoma,sans-serif">Does anyone know why?  How can I fix this?</div><div class="gmail_default" style="font-family:tahoma,sans-serif"><br></div><div class="gmail_default" style="font-family:tahoma,sans-serif">Simon<br></div></div>
_______________________________________________<br>ghc-devs mailing list<br><a href="mailto:ghc-devs@haskell.org" target="_blank">ghc-devs@haskell.org</a><br><a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs</a><br></div></blockquote></div><br></div></div></div></blockquote></div>