Tom
Tom
When the environment's OTP version supports `dialyzer --incremental` (see [the PR introducing it](https://github.com/erlang/otp/pull/5997)), enable an `--incremental`/`-i` option to `rebar3 dialyzer` in order to make it accessible. In erlang/OTP#5997, we added...
### Bug Description ``` - [**`flashlight/pkg**](flashlight/pkg) are packages built on top of Flashlight and ArrayFire for specific purposes (Domain libraries for speech, vision, and text, and Halide extensions). ``` should...
The incremental data portion of incremental PLTs was previously uncompressed, contributing to the considerable size of the PLT files which can accrue for big projects. This change compresses that field...
Adds the `incremental` analysis mode into the appropriate option types. This was causing Dialyzer warnings for users that consumed the incremental API to Dialyzer itself (e.g. erlang/rebar3#2736), since the `incremental`...
Unlike with classic Dialyzer, incremental Dialyzer doesn't just hash a `.beam` as a binary blob - it first filters out some non-deterministic data, such as absolute file paths. For historical...
### Describe the bug > **tl;dr** Callback and spec types are "simplified" differently, which can break behaviour subtype checking since it is not commutative, unlike normal overlap checking of specs...
**Describe the bug** https://erlang.org/doc/man/ct.html#capture_get-1 seems to work by redirecting writes to stdout to be messages to the current pid. Those messages get queued up, with the intent to read them...
Hi! I am enjoying experimenting with `haskell-wasm`, so thanks for your hard work! 👍 Going by things such as the lexemes used, e.g. `get_global` vs. `global.get` and the commit history,...
Sometimes I need to nest macro directives, and when I do so, it's nice to indent them as one would do with code generally - just to keep it readable...
**Describe the bug** If I run Dialyzer on the following: ``` 1 | -module(example). 2 | 3 | -export([f/0]). 4 | 5 | -spec f() -> ok. 6 | f()...