From 8dc147614b142707feb6bdf7ece8c06fa6c7bed7 Mon Sep 17 00:00:00 2001 From: octachron Date: Mon, 28 Dec 2015 11:28:47 +0100 Subject: [PATCH] Manual: detail warn_on_literal_pattern limitation --- manual/manual/refman/exten.etex | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/manual/manual/refman/exten.etex b/manual/manual/refman/exten.etex index 1643d2e9f..a38a53c1f 100644 --- a/manual/manual/refman/exten.etex +++ b/manual/manual/refman/exten.etex @@ -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.