diff options
| author | Mattias Andrée <maandree@operamail.com> | 2014-11-28 14:43:41 +0100 |
|---|---|---|
| committer | Mattias Andrée <maandree@operamail.com> | 2014-11-28 14:43:41 +0100 |
| commit | 8d6b9ebd560635198480fc493702eefbfd362533 (patch) | |
| tree | cfb6d120031edcc3559a299cbac528aa6cb70a50 /doc | |
| parent | m + comments (diff) | |
| download | mds-8d6b9ebd560635198480fc493702eefbfd362533.tar.gz mds-8d6b9ebd560635198480fc493702eefbfd362533.tar.bz2 mds-8d6b9ebd560635198480fc493702eefbfd362533.tar.xz | |
m + some unordered subseq simplification
Signed-off-by: Mattias Andrée <maandree@operamail.com>
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/info/mds.texinfo | 5 |
1 files changed, 4 insertions, 1 deletions
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. |