From 8d6b9ebd560635198480fc493702eefbfd362533 Mon Sep 17 00:00:00 2001 From: Mattias Andrée Date: Fri, 28 Nov 2014 14:43:41 +0100 Subject: m + some unordered subseq simplification MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Mattias Andrée --- doc/info/mds.texinfo | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'doc') diff --git a/doc/info/mds.texinfo b/doc/info/mds.texinfo index 9dd851c..6f5e5f5 100644 --- a/doc/info/mds.texinfo +++ b/doc/info/mds.texinfo @@ -5456,7 +5456,10 @@ Thus, there should not be side-effects where either one is used, nor does it make since to nest the two constructs in any other way than alternation or unordered subsequence -inside unordered subsequence. +inside unordered subsequence. The compiler +may however choose to discourage unordered +subsequence inside unordered subsequence +because of readability issues. -- cgit v1.2.3-70-g09d2