Open friedbrice opened 2 years ago
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.
-ddump-json
-o
When was -ddump-json introduced? I guess code would need to be written to parse whatever is produced on an error. Contributions welcome!
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
.