ghcid
ghcid copied to clipboard
Support JSON output
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.
When was -ddump-json introduced? I guess code would need to be written to parse whatever is produced on an error. Contributions welcome!