<div dir="ltr">Hello,<div>it seems pretty reasonable to change it, but we should change the version number as well (well, and add it if it is not there).  In general, having a version number is probably good practice for any outward facing machine readable format.</div><div>-Iavor</div><div><br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Fri, Jan 29, 2021 at 11:51 AM Ben Gamari <<a href="mailto:ben@well-typed.com">ben@well-typed.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">Richard Eisenberg <<a href="mailto:rae@richarde.dev" target="_blank">rae@richarde.dev</a>> writes:<br>
<br>
> Hi devs,<br>
><br>
> In my work with Alfredo at revising our error message infrastructure,<br>
> we ran across some code that renders error messages as JSON. Given<br>
> that our data structures are changing, it seems natural to change the<br>
> JSON output, too, but it's unclear whether that's wise. The manual<br>
> currently lists -ddump-json in the chapter on "Debugging the<br>
> compiler", suggesting that a change is fine, but I'm not yet<br>
> convinced.<br>
><br>
I think it would be fine to change the output. However, note that there<br>
is a reason why this flag is in the -d flag namespace and the "Debugging<br>
the compiler". The output is quite unstructured and we reserve the right to<br>
change the representation, largely because it was hard to do better<br>
without first fixing #8809.<br>
<br>
After we have the new rich errors infrastucture in place I think we will<br>
be in a much better place to discuss a properly-supported flag (via the<br>
proposal process, presumably). However, I think when we do so we should<br>
be careful to constrain the scope of the provided output. GHC is not a<br>
language server and I don't think it would be wise to make it one.<br>
<br>
Cheers,<br>
<br>
- Ben<br>
_______________________________________________<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" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs</a><br>
</blockquote></div>