From aa72a0885f95ef8800e4ebf761001d00a56cb3b7 Mon Sep 17 00:00:00 2001 From: Mattias Andrée Date: Sun, 23 Nov 2014 09:46:24 +0100 Subject: how alternations and unordered subsequences are expanded 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 | 9 +++++++++ 1 file changed, 9 insertions(+) (limited to 'doc') diff --git a/doc/info/mds.texinfo b/doc/info/mds.texinfo index 9fa7a8b..c6b7f0b 100644 --- a/doc/info/mds.texinfo +++ b/doc/info/mds.texinfo @@ -5415,6 +5415,15 @@ you can write "|" ["|" .] "S" : "$" @end example +It is undefined in which order alternations +and unordered subsequences are expanded; +neither sequencewise or levelwise. +Thus, there should not side-effects where +either one is used, nor does it make since +to nest the two constructs in any other +way than alternation inside unordered +subsequence. + @node Keyboard Layout Identification -- cgit v1.2.3-70-g09d2