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

Manual: detail warn_on_literal_pattern limitation

master
octachron 2015-12-28 11:28:47 +01:00
parent 7cb78e33eb
commit 8dc147614b
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
manual/manual/refman/exten.etex
View File

@ -1547,8 +1547,8 @@ Some attributes are understood by the type-checker:
may change in the future. Therefore, pattern matching on this argument
with a constant literal is unreliable. For instance, all built-in exception
constructors are marked as ``warn_on_literal_pattern''.
Note that this warning (52) is only triggered for single argument
constructor.
Note that, due to an implementation limitation, this warning (52) is only
triggered for single argument constructor.
\item
``ocaml.tailcall'' or ``tailcall'' can be applied to function
application in order to check that the call is tailcall optimized.