Re: -ddump-json

Hello, 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. -Iavor On Fri, Jan 29, 2021 at 11:51 AM Ben Gamari

Re: -ddump-json

Richard Eisenberg writes: > Hi devs, > > In my work with Alfredo at revising our error message infrastructure, > we ran across some code that renders error messages as JSON. Given > that our data structures are changing, it seems natural to change the > JSON output, too, but it's unclear whether

Re: -ddump-json

I have filed https://gitlab.haskell.org/ghc/ghc/-/issues/19278 to try to get this sorted. Thanks for the quick responses! Richard > On Jan 29, 2021, at 4:02 AM, Hécate wrote: > > Do we provide any kind of versioning or data schema for the JS

Re: -ddump-json

Do we provide any kind of versioning or data schema for the JSON dumps? On 29/01/2021 09:57, Matthew Pickering wrote: Just grepping Github there appears to be a few users of the flag but no more than a handful. I think you can probably change it how you like. Cheers, Matt On Thu, Jan 28, 2021

Re: -ddump-json

Just grepping Github there appears to be a few users of the flag but no more than a handful. I think you can probably change it how you like. Cheers, Matt On Thu, Jan 28, 2021 at 8:20 PM Richard Eisenberg wrote: > > Hi devs, > > In my work with Alfredo at revising our error message infrastructu