Skip to content

Refine the presentation of warnings #29

@Yoric

Description

@Yoric

I see:

File "src/foo/bar.ml", lines 39-51, characters 0-34
Warning (GITLAB+1): bla, bla

val foo: ...
      -> ...
      -> ...
      -> ...
^^^^^^^

I'd like to see:

val foo: ...
      -> ...
      -> ...
      -> ...
^^^^^^^

File "src/foo/bar.ml", lines 39-51, characters 0-34
Warning (gitlab-#phantom_type_var): bla, bla

(disable this warning with ...)
  • The arrows are pointing from the warning to the offending site, rather than from the next warning/error message to the offending site.
  • The SCREAMING CASE is a bit hard on the eye.
  • The number is not particularly useful.
  • Instructions on disabling the warning are useful, though.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions