You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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.
The text was updated successfully, but these errors were encountered:
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
.The text was updated successfully, but these errors were encountered: