diff options
| author | octachron <octa@polychoron.fr> | 2016-02-29 23:07:54 +0100 |
|---|---|---|
| committer | Jacques Garrigue <garrigue@math.nagoya-u.ac.jp> | 2016-03-03 10:01:27 +0900 |
| commit | 2014cc2cb3901690db6a46b0d3b5203be28a1767 (patch) | |
| tree | c673061475ac655238535d5a0864631d59596be0 /manual | |
| parent | e21dd561b2c755710f7a03d4ab7e33a85bc6d889 (diff) | |
| download | ocaml-2014cc2cb3901690db6a46b0d3b5203be28a1767.tar.gz | |
Manual: underscore penalties with -short-path
Diffstat (limited to 'manual')
| -rw-r--r-- | manual/manual/cmds/comp.etex | 4 | ||||
| -rw-r--r-- | manual/manual/cmds/native.etex | 4 | ||||
| -rw-r--r-- | manual/manual/cmds/top.etex | 4 |
3 files changed, 9 insertions, 3 deletions
diff --git a/manual/manual/cmds/comp.etex b/manual/manual/cmds/comp.etex index e41b3001fc..0e3fc1fd87 100644 --- a/manual/manual/cmds/comp.etex +++ b/manual/manual/cmds/comp.etex @@ -405,7 +405,9 @@ a future version of OCaml. \item["-short-paths"] When a type is visible under several module-paths, use the shortest one when printing the type's name in inferred interfaces and error and -warning messages. +warning messages. Identifier names starting with an underscore "_" or +containing double underscores "__" incur a penalty of $+10$ when computing +their length. \item["-strict-sequence"] Force the left-hand part of each sequence to have type unit. diff --git a/manual/manual/cmds/native.etex b/manual/manual/cmds/native.etex index 33b2399c65..f20a43dcdd 100644 --- a/manual/manual/cmds/native.etex +++ b/manual/manual/cmds/native.etex @@ -384,7 +384,9 @@ a future version of OCaml. \item["-short-paths"] When a type is visible under several module-paths, use the shortest one when printing the type's name in inferred interfaces and error and -warning messages. +warning messages. Identifier names starting with an underscore "_" or +containing double underscores "__" incur a penalty of $+10$ when computing +their length. \item["-strict-sequence"] Force the left-hand part of each sequence to have type unit. diff --git a/manual/manual/cmds/top.etex b/manual/manual/cmds/top.etex index 4d1ae5cde7..6dfba25023 100644 --- a/manual/manual/cmds/top.etex +++ b/manual/manual/cmds/top.etex @@ -211,7 +211,9 @@ a future version of OCaml. \item["-short-paths"] When a type is visible under several module-paths, use the shortest one when printing the type's name in inferred interfaces and error and -warning messages. +warning messages. Identifier names starting with an underscore "_" or +containing double underscores "__" incur a penalty of $+10$ when computing +their length. \item["-stdin"] Read the standard input as a script file rather than starting an |