From 0cc237ea0fcd4840a22c80873e052710cf56f8fa Mon Sep 17 00:00:00 2001 From: Ilya Klyuchnikov Date: Tue, 30 Jul 2024 10:15:46 -0700 Subject: [PATCH] add overloaded specs to eqwalizer stats Summary: - there is an interest to see a data about overloaded spec - extending eqwalizer_stats with it Reviewed By: VLanvin Differential Revision: D60454935 fbshipit-source-id: 0a87eba233ec8c3653221149bfa57d689672bde7 --- docs/reference/stats.md | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/docs/reference/stats.md b/docs/reference/stats.md index 8b744a0..633cbc4 100644 --- a/docs/reference/stats.md +++ b/docs/reference/stats.md @@ -18,3 +18,8 @@ This indicates the suppression of all eqWAlizer errors associated to a function, using a `-eqwalizer({nowarn_function, foo/n})` pragma. eqWAlizer will not run on such a function, thus the use of this pragma is highly discouraged. + +### overloaded_spec + +This indicates an overloaded function spec (a spec with multiple clauses). +The use of overloaded specs is discouraged.