Uploaded image for project: 'Erlang/OTP'
  1. Erlang/OTP
  2. ERL-1480

Add `no_underspecs` to `-dialyzer(_).`

    XMLWordPrintable

    Details

    • Type: New Feature
    • Status: Resolved
    • Priority: Major
    • Resolution: Fixed
    • Affects Version/s: None
    • Fix Version/s: OTP 24
    • Component/s: None
    • Labels:
      None

      Description

      I'd like it to be possible to suppress `underspecs` in a single function, while having it enabled for all the others.

      I ran into an issue (reported here: https://github.com/tomas-abrahamsson/gpb/issues/196) whose solution might be this "option".

      I see that something similar's been discussed in ERL-1379, already, but it appears it was abandoned.

      This is especially useful when (like with `gpb`) our code includes generated code, whose analysis we can't suppress.

        Attachments

          Activity

            People

            Assignee:
            hasse Hans Bolinder
            Reporter:
            paulo.ferraz.oliveira@gmail.com Paulo F. Oliveira
            Votes:
            0 Vote for this issue
            Watchers:
            2 Start watching this issue

              Dates

              Created:
              Updated:
              Resolved: