ghcid icon indicating copy to clipboard operation
ghcid copied to clipboard

Support JSON output

Open friedbrice opened this issue 3 years ago • 1 comments

Ghci outputs JSON when invoked with flag -ddump-json. However, using this flag with Ghcid causes Ghcid to crash on the first error it encounters. It would be neat if Ghcid supported JSON output, particularly in conjunction with option -o.

friedbrice avatar Jul 02 '22 00:07 friedbrice

When was -ddump-json introduced? I guess code would need to be written to parse whatever is produced on an error. Contributions welcome!

ndmitchell avatar Jul 04 '22 21:07 ndmitchell