How do I get an error and warning count from GHC/Cabal/Stack?
If I run dotnet build in PowerShell to build a .NET project, at the end of the output, I see a message that tells me how many warnings and errors the compiler generated while building my project. I have attached an example below.
How can I get an error count with GHC? I am using stack, which uses cabal, which in turn uses GHC. A solution at any of those levels is fine.
I can get counts of the warnings or errors by piping the standard error of stack build into vim and using some search functionality in vim. However, I do not always get the correct results. When my source code or source file names contain the word "warning" or the word "error", the results of my search include false positives.
I would like a simple way to get the exact error and warning count. Perhaps, there is a command line flag or a simple wrapper that I can use? I looked through the man page for GHC and found no flag for error and/or warning counts.
I have read this similar stack overflow post for gcc. The answer to that question is not very encouraging, but I am curious if anyone else has some insight to share, and I am hoping GHC has a different story.
NOTE: I am using bash as my shell, so please gear any shell scripting towards bash.
You can use the -ddump-json flag to produce output as JSON and then use jq to filter based on severity. Finally, you have the good old wc -l for counting. This is how you get the number of errors, for example:
ghc Main.hs -ddump-json | jq 'select(.severity == "SevError") .severity' | wc -l
- Are there any security issues in using environment variables like this?
- How do I use sed to change my configuration files, with flexible keys and values?
- RegExp testing fails when string is validated in RegExp tools
- HTTP Google Sheets API v4 how to access without OAuth 2.0?
- Ignore errors when running npm scripts sequentially
- magick: resize image before put it to a frame
- "Pre-commit" command is not found by bash but is installed on macOS
- Insert lines in a file starting from a specific line
- How do I Remove Specific Characters From File Names Using BASH
- Ack command not found error
- Assigning existing variable value to a new variable
- How can I search file1.txt and file2.txt for matching characters and print output to a new file
- Infinite loop behavior from imagemagick when called from a shell script
- Rename Directory Name Before tar Happens
- Replicating /etc/profile.d under ~/.profile.d by copying the code from /etc/profile and changing the path
- How to run a bash command until it is successful or a timeout is reached?
- How to change the terminal title to currently running process?
- Count line lengths in file using command line tools
- Problems when listing files with an empty space in the name in a directory using bash
- How do I get cURL to not show the progress bar?
- bash ascii to hex
- While using AWK, I'd like to verify that the NF is >= 10. If not, write the line to a reject file
- CircleCI permission denied running bash script
- Escaped asterisk (*) in list of characters outputs file in folder
- How can I catch a Java exception in Github Action
- Join on two columns from seperate files
- join with |, sort on three files
- mkdir: cannot create directory ‘LINUX_COMMANDS’: Permission denied
- Creating a new user and password with Ansible
- How to continue in nested loops (after 2nd innerloop) in BASH?