Ekdohibs
/
ocaml
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Merge pull request #9403 from muskangarg21/warn67 

Added warning 67 description and nitpick for "."
master
Gabriel Scherer 2020-03-31 10:34:34 +02:00 committed by GitHub
parent d51d823326 e831b47457
commit f8758a8bf8
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
3 changed files with 24 additions and 19 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
Changes
View File

@ -173,6 +173,10 @@ Working version
- #9325: documented base case for `List.for_all` and `List.exists`
(Glenn Slotte, review by Florian Angeletti)
- #9403: added a description for warning 67 and added a "." at the end of
warnings for consistency.
(Muskan Garg, review by Gabriel Scherer and Florian Angeletti)
### Compiler user-interface and warnings:
- GPR#1664: make -output-complete-obj link the runtime native c libraries when

10
man/ocamlc.m
View File

@ -790,7 +790,7 @@ function type and is ignored.
\ \ \ Label omitted in function application.
7
\ \ \ Method overridden without using the "method!" keyword
\ \ \ Method overridden without using the "method!" keyword.
8
\ \ \ Partial match: missing cases in pattern-matching.
@ -943,16 +943,16 @@ mutually recursive types.
\ \ Unannotated unboxable type in primitive declaration.
62
\ \ Type constraint on GADT type declaration
\ \ Type constraint on GADT type declaration.
63
\ \ Erroneous printed signature
\ \ Erroneous printed signature.
64
\ \ -unsafe used with a preprocessor returning a syntax tree
\ \ -unsafe used with a preprocessor returning a syntax tree.
65
\ \ Type declaration defining a new '()' constructor
\ \ Type declaration defining a new '()' constructor.
66
\ \ Unused open! statement.

29
utils/warnings.ml
View File

@ -700,7 +700,7 @@ let descriptions =
[
1, "Suspicious-looking start-of-comment mark.";
2, "Suspicious-looking end-of-comment mark.";
3, "Deprecated synonym for the 'deprecated' alert";
3, "Deprecated synonym for the 'deprecated' alert.";
4, "Fragile pattern matching: matching that will remain complete even\n\
\ if additional constructors are added to one of the variant types\n\
\ matched.";
@ -761,20 +761,21 @@ let descriptions =
50, "Unexpected documentation comment.";
51, "Warning on non-tail calls if @tailcall present.";
52, "Fragile constant pattern.";
53, "Attribute cannot appear in this context";
54, "Attribute used more than once on an expression";
55, "Inlining impossible";
53, "Attribute cannot appear in this context.";
54, "Attribute used more than once on an expression.";
55, "Inlining impossible.";
56, "Unreachable case in a pattern-matching (based on type information).";
57, "Ambiguous or-pattern variables under guard";
58, "Missing cmx file";
59, "Assignment to non-mutable value";
60, "Unused module declaration";
61, "Unboxable type in primitive declaration";
62, "Type constraint on GADT type declaration";
63, "Erroneous printed signature";
64, "-unsafe used with a preprocessor returning a syntax tree";
65, "Type declaration defining a new '()' constructor";
66, "Unused open! statement";
57, "Ambiguous or-pattern variables under guard.";
58, "Missing cmx file.";
59, "Assignment to non-mutable value.";
60, "Unused module declaration.";
61, "Unboxable type in primitive declaration.";
62, "Type constraint on GADT type declaration.";
63, "Erroneous printed signature.";
64, "-unsafe used with a preprocessor returning a syntax tree.";
65, "Type declaration defining a new '()' constructor.";
66, "Unused open! statement.";
67, "Unused functor parameter.";
]
;;