diff options
Diffstat (limited to 'lib/compiler/doc/src/compile.xml')
-rw-r--r-- | lib/compiler/doc/src/compile.xml | 32 |
1 files changed, 29 insertions, 3 deletions
diff --git a/lib/compiler/doc/src/compile.xml b/lib/compiler/doc/src/compile.xml index 5828fc6a17..d7bfc63c83 100644 --- a/lib/compiler/doc/src/compile.xml +++ b/lib/compiler/doc/src/compile.xml @@ -4,7 +4,7 @@ <erlref> <header> <copyright> - <year>1996</year><year>2022</year> + <year>1996</year><year>2023</year> <holder>Ericsson AB. All Rights Reserved.</holder> </copyright> <legalnotice> @@ -589,7 +589,17 @@ module.beam: module.erl \ more information. </p> </item> - </taglist> + + <tag><c>{check_ssa, Tag :: atom()}</c></tag> + <item> + <p>Parse and check assertions on the structure and content + of the BEAM SSA code produced by the compiler. The + <c>Tag</c> indicates the set of assertions to check and + after which compiler pass the check is performed. This + option is internal to the compiler and can be changed or + removed at any time without prior warning.</p> + </item> + </taglist> <p>If warnings are turned on (option <c>report_warnings</c> described earlier), the following options control what type of @@ -826,7 +836,23 @@ module.beam: module.erl \ (or contract) for an exported or unexported function is not given. Use this option to turn on this kind of warning.</p> </item> - </taglist> + + <tag><c>nowarn_redefined_builtin_type</c></tag> + <item> + <p>By default, a warning is emitted when a built-in type + is locally redefined. Use this option to turn off this + kind of warning.</p> + </item> + + <tag><c>{nowarn_redefined_builtin_type, Types}</c></tag> + <item> + <p>By default, a warning is emitted when a built-in type + is locally redefined. Use this option to turn off this + kind of warning for the types in <c>Types</c>, where + <c>Types</c> is a tuple <c>{TypeName,Arity}</c> or a list + of such tuples.</p> + </item> +</taglist> <p>Other kinds of warnings are <em>opportunistic warnings</em>. They are generated when the compiler happens to |