1. Aug 16, 2023
  2. Aug 12, 2023
  3. Aug 11, 2023
  4. Aug 09, 2023
  5. Aug 08, 2023
  6. Aug 06, 2023
  7. Aug 05, 2023
  8. Aug 04, 2023
  9. Aug 03, 2023
  10. Aug 02, 2023
  11. Jul 27, 2023
  12. Jul 25, 2023
  13. Jul 24, 2023
  14. Jul 21, 2023
  15. Jul 19, 2023
    • Jack Koenig's avatar
      Add support for configurable warnings (#3414) · 8e33a68b
      Jack Koenig authored
      Warnings have been assigned unique integers to use as identifiers for
      purposes of documentation and configuration.
      
      New CLI option --warn-conf accepts a comma-separated sequence of
      <filter>:<action> pairs for customizing warnings.
      
      Supported filters are:
      * any          - matches all warnings
      * id=<integer> - matches warnings with the integer id
      * src=<glob>   - matches warnings where <glob> matches the warning
                       source file
      
      id and src filters can be combined with &.
      
      Supported actions are:
      * :s - suppress the warning
      * :w - report the warning as a warning (default behavior)
      * :e - error on the warning
      
      For example, the new Vec dynamic width matching warning can be
      suppressed for source files in src/main/scala while all other warnings
      elevated to errors with:
        --warn-conf "id=4&src=src/main/scala/**:s,any:e"
      
      The is also --warn-conf-file which works similarly to --warn-conf except
      the <filter>:<action> pairs are newline separated in a file. # is used
      for line comments.
      8e33a68b