Skip to content

Commit

Permalink
update documentation
Browse files Browse the repository at this point in the history 
Summary: - as title

Reviewed By: VLanvin

Differential Revision: D62496046

fbshipit-source-id: 7065d2eac0ffdef4ee17163b0ee5f56c4b105e37
  • Loading branch information
@ilya-klyuchnikov @facebook-github-bot
ilya-klyuchnikov authored and facebook-github-bot committed Sep 11, 2024
1 parent e48ff36 commit b59f03a
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion docs/reference/advanced.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -93,7 +93,7 @@ apply_neg(B) -> negb(B).
```
Since `B` has type `boolean()`, eqWAlizer cannot decide which sub-spec of
`negb` to use to decide the type of `negb(B)`. eqWAlizer will simply assume
type `eqwalizer:dynamic()` for the result of `negb(B)`, disregarding the spec.
type `dynamic()` for the result of `negb(B)`, disregarding the spec.

Hence, to get better signal in this case, `negb` should simply be
specced as `(boolean()) -> boolean()`.
Expand Down

0 comments on commit b59f03a

Please sign in to comment.