diff options
| author | John Högberg <john@erlang.org> | 2022-12-21 08:03:46 +0100 |
|---|---|---|
| committer | John Högberg <john@erlang.org> | 2022-12-21 10:01:11 +0100 |
| commit | 3dc51db235949b42db5b919b33f91a643b1cfac9 (patch) | |
| tree | bde3ca0346cf4dc48639bafaa70e894a3bc7190e /lib/debugger | |
| parent | 0e372ebe019dd583f4af5c39b348afd08e7ff80e (diff) | |
| download | erlang-3dc51db235949b42db5b919b33f91a643b1cfac9.tar.gz | |
dialyzer_dataflow: Fix bug in bind_checked_inf/4
`unit` can't be bound any more than `none` can.
This resulted in slightly improved analysis in some cases, taking
notice of more functions in OTP that lacked a local return, so I've
added specs to those functions in order to silence the warnings.
The pattern for that is:
```erlang
try function_that_returns_unit() catch _:_ -> error(xyz) end
```
Previously, this expression was treated as returning unit() even
though it could only ever return none(), as the wrapped function
would never return.
Diffstat (limited to 'lib/debugger')
| -rw-r--r-- | lib/debugger/src/dbg_wx_view.erl | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/debugger/src/dbg_wx_view.erl b/lib/debugger/src/dbg_wx_view.erl index 86d009238f..d4e21768ce 100644 --- a/lib/debugger/src/dbg_wx_view.erl +++ b/lib/debugger/src/dbg_wx_view.erl @@ -55,6 +55,7 @@ stop() -> %% Main loop and message handling %%==================================================================== +-spec init(term(), term(), term(), term()) -> no_return(). init(GS, Env, Mod, Title) -> wx:set_env(Env), %% Subscribe to messages from the interpreter |