nitlanguage
/
nit.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
c24b911
)
man/nitmetrics.md: add missing `--detect-covariance`
author
Jean Privat
<jean@pryen.org>
Wed, 21 Oct 2015 02:27:08 +0000
(22:27 -0400)
committer
Jean Privat
<jean@pryen.org>
Wed, 21 Oct 2015 12:42:53 +0000
(08:42 -0400)
Signed-off-by: Jean Privat <jean@pryen.org>
share/man/nitmetrics.md
patch
|
blob
|
history
diff --git
a/share/man/nitmetrics.md
b/share/man/nitmetrics.md
index
0277161
..
1841d61
100644
(file)
--- a/
share/man/nitmetrics.md
+++ b/
share/man/nitmetrics.md
@@
-57,6
+57,9
@@
Detects the definition-site variance constraints on formal parameters.
Infers the possible variance annotations of formal types in Nit programs by identifying the existing constraints on the usage of those formal type.
+### `--detect-covariance`
+Detect the static covariance usages.
+
## OUTPUT
### `--csv`