Received: from mout.gmx.net (mout.gmx.net [212.227.15.19])
	by h1439878.stratoserver.net (8.14.2/8.14.2/Debian-2build1) with ESMTP id r67KccJe025939
	for <rainer@rainer-schoepf.de>; Sun, 7 Jul 2013 22:38:39 +0200
Received: from relay.uni-heidelberg.de ([129.206.100.212]) by mx-ha.gmx.net
 (mxgmx002) with ESMTP (Nemesis) id 0MBjnD-1V690h2gpr-00AqzJ for
 <rainer.schoepf@GMX.NET>; Sun, 07 Jul 2013 22:38:32 +0200
Received: from listserv.uni-heidelberg.de (listserv.uni-heidelberg.de [129.206.100.94])
	by relay.uni-heidelberg.de (8.14.1/8.14.1) with ESMTP id r67KZIj9016266
	(version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO);
	Sun, 7 Jul 2013 22:35:18 +0200
Received: from listserv.uni-heidelberg.de (listserv.uni-heidelberg.de [127.0.0.1])
	by listserv.uni-heidelberg.de (8.13.8/8.13.8) with ESMTP id r66M148L006951;
	Sun, 7 Jul 2013 22:35:17 +0200
Received: by LISTSERV.UNI-HEIDELBERG.DE (LISTSERV-TCP/IP release 16.0) with
          spool id 10258976 for LATEX-L@LISTSERV.UNI-HEIDELBERG.DE; Sun, 7 Jul
          2013 22:35:17 +0200
Received: from relay2.uni-heidelberg.de (relay2.uni-heidelberg.de
          [129.206.210.211]) by listserv.uni-heidelberg.de (8.13.8/8.13.8) with
          ESMTP id r67KZHwR005586 for <LATEX-L@LISTSERV.UNI-HEIDELBERG.DE>;
          Sun, 7 Jul 2013 22:35:17 +0200
Received: from moutng.kundenserver.de (moutng.kundenserver.de
          [212.227.126.186]) by relay2.uni-heidelberg.de (8.13.8/8.13.8) with
          ESMTP id r67KXjmC003399 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128
          verify=NO) for <LATEX-L@LISTSERV.UNI-HEIDELBERG.DE>; Sun, 7 Jul 2013
          22:33:47 +0200
Received: from mittelbach-online.de (pD9FE3B55.dip0.t-ipconnect.de
          [217.254.59.85]) by mrelayeu.kundenserver.de (node=mreu3) with ESMTP
          (Nemesis) id 0M8FxW-1U13qU2mwM-00vxop; Sun, 07 Jul 2013 22:33:44 +0200
Received: from [192.168.123.104] (falco [192.168.123.104]) (Authenticated
          sender: frank) by mittelbach-online.de (Postfix) with ESMTPSA id
          643872811E0; Sun,  7 Jul 2013 22:24:14 +0200 (CEST)
User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:17.0) Gecko/20130620
            Thunderbird/17.0.7
MIME-Version: 1.0
References: <51D9914A.5090606@morningstar2.co.uk>                      
            <51D9972E.9000109@mada-nada.de>
            <51D99BDF.3020208@latex-project.org> <51D9A102.3070008@mada-nada.de>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
X-Provags-ID: V02:K0:f7ONK+bMZMrJfodkB5IiLyMSahD+pOURDjr/2bBHUZm
              PfJwu3vq4h7jKy5FYTZCwQMYs3n4a6XPoL4zo9oy1OWT5eLgyt
              lQYel9CjFv9uTC/JEKOdqIoXd4lz1wGEYn1w9OU7agtCWMeR52
              35RKym4yQgAXTX20Kw+PsR5/teBvvgtfzJKDnO3DG45ph4k6m3
              Ro/I8Hy3/2BrTtNAkPWzNUbPnaznXagqmw7UgS+JCa0QJby/x0
              9COBylNAF/zYQY7QoSaLJ03qmwIxv2Wpn9FU3Iu+HVL2W2xJ4j
              WtKPR1VhvJyQgOfiMdlby/NjNO8JujMmGpOsjbiSA+ojcZojph
              5VQL7rBbJt4sqk3CgqBoOwvQhes+itBgtwSDLooP1
Message-ID:  <51D9D0A1.3070906@latex-project.org>
Date:         Sun, 7 Jul 2013 22:33:37 +0200
Reply-To: Mailing list for the LaTeX3 project
              <LATEX-L@LISTSERV.UNI-HEIDELBERG.DE>
Sender: Mailing list for the LaTeX3 project <LATEX-L@LISTSERV.UNI-HEIDELBERG.DE>
From: Frank Mittelbach <frank.mittelbach@LATEX-PROJECT.ORG>
Subject: Re: Function renaming: \<thing>_case:nnn to \<thing>_case:nnF
To: LATEX-L@LISTSERV.UNI-HEIDELBERG.DE
In-Reply-To:  <51D9A102.3070008@mada-nada.de>
Precedence: list
List-Help: <http://listserv.uni-heidelberg.de/cgi-bin/wa?LIST=LATEX-L>,
           <mailto:LISTSERV@LISTSERV.UNI-HEIDELBERG.DE?body=INFO%20LATEX-L>
List-Unsubscribe: <mailto:LATEX-L-unsubscribe-request@LISTSERV.UNI-HEIDELBERG.DE>
List-Subscribe: <mailto:LATEX-L-subscribe-request@LISTSERV.UNI-HEIDELBERG.DE>
List-Owner: <mailto:LATEX-L-request@LISTSERV.UNI-HEIDELBERG.DE>
List-Archive: <http://listserv.uni-heidelberg.de/cgi-bin/wa?LIST=LATEX-L>
Envelope-To: <rainer.schoepf@GMX.NET>
X-GMX-Antispam: 0 (Mail was not recognized as spam); Detail=V3;
X-GMX-Antivirus: 0 (no virus found)
X-UI-Filterresults: notjunk:1;V01:K0:ehqlPf3D9xU=:jmdkVE0y3ECHemf0oatMfb
 r9QyKnGd4Ni8jNSny/26j6X/LjaIAynTIE1s4+zsPKiCgdTXjp/HqkVZO5+7uXmEpi6qkxI
 b7rQR2QKVQ+hVzPpQBdW4muMkbjF8EAKBY0xsgtMcdw3IbdncZ5870cOdSB4tLOPSybKgLQ
 ukCh+RrlP7l4U2ttIMgqa1+yGwD0jR8uhDQkGcFTmUoHO110BZgZHMK77doQAbXiiqdTOOJ
 e/qT1cLBtoWOQqG7g5NeN/acHqf/QMUVsAJwI4gWHaXYI/fWdpHgSBWsk27cNuJflwFjmM3
 +50fHFihmo/pOwlCRGLXB73uhZQhKW0YwcgoyQ4vsMs9PVAY3CaOnEI0dns9R/1dfaGIjvC
 iTgvmo88j7sKk9mcl5wFa2tWxMv69SeiV8DOhJtyKJdvAP1np7I/J+zJvDTI3hnaZTVWRQ6
 wvaCEs2NDhFX+cqUUgraVYQI1pJ2LoHKc5YGFSNH8lWlgsQh2bKinZxa7g9eJBkZzLgZboS
 +x1GRFiP61PNpTwmYAo/wYNVtMDM7RQ/jd302RtEUELd8gTbOIZvChAkGvw8+a69p7ozegd
 V9eX7VuvWIMnh7z6ABbP2nCSIC8UggCegGeJNqKD4oKT/P1xE7RJoY3ovN4rif3RA4XP6+R
 xuCOqM1woOIgYAlrbMadQcit94bgXSAagCyfmnnQFshI3Bgny6UgjrSplmZA7a5ixZ790OH
 ChJru5X67IbO5DqXMaCNtuOjMKBFi5i5n0XJ3E7uWgP3CbHuPw60fbgJLlWGyNV1ss2GsyH
 2SXpqHRRhHYbHgx6CF1CJEa3Zd7l7QuESRy3/YtbxXj5I+qSAff6le/bV5uNXR4yzwyHaCk
 AUU+4iCGVmKFw0mlYoH7ZexL1yZhls/N6wzb9WL2mbu/n88YoDwGcOMSd4ChdUMsWYR8bwy
 Lbj0IIa9h422UQSQIX1X3oqbJGBPmgqvPdJ0cQGmgUzeh+hUVofWSQ+5Ly9hHkq9x2rLbhx
 z4xWauCp4eO7+pABsBRBILV5uHJKVz9rgTwYHeB7rdZPVKVyc2IQFQUq4/ldnPJ36DTDrBp
 yKaE96MsxF73UtJrf5Ww656GB8cZccWCKlR7KO86AU+ZDsB89hscAgPBvn5uBIIOI+JNkjW
 PhiD/fv5rKIJVTWzGCMHno4fVFtVhs7CYdrPQAN/HSQSAFMBhZBvDtRKUnmpCjbj8KXLVwV
 7Ie8452qCtctDl7ce9ZgkRQiWpyunhgrBxd1/4V2sIEzpxLZYZ1HPBdGo77C+3XBa0EXkaK
 Ob/aYV8Vfww7cEofPjh72rcvcgzWAcfLLd41xX4vVFnhnp4RZjBkjdlfuqC1TCWDMD+Uxei
 zWuI5cDVMQ2idndXLWJcUrMxToPu68XKSU7X2gbq36yk3BJf3ciFmKi0elvYcA8zFLLGDKm
 u67IT0zDvssfY/OuGrxRqZIMQAXuC23p8BU7nzIZy6WU0jGpJYlkx+ndHhGeId6hHLyqbgJ
 Lo2766uTj0MOHGA5EjRw+Sq3Eydmmnsak/ru7sL8RaeQF7PcS9bmqSw+xlrC/fONj0gKzRu
 xCwyTA/gDiGchZwz9M9PVEOIbi5gowxL0bCopfWHQBw+OQcIHLCcgQ8lfqY=
X-UI-Loop:V01:N8qldHhke+w=:DqLi/3TQSK8Aezmd0jzowPD7nPQkQYcYQAR/4tnitoY=
Status: R
X-Status: 
X-Keywords:                  
X-UID: 7219

Am 07.07.2013 19:10, schrieb Marco Daniel:
> Hi,
>
>>
>> In fact one could think of also having
>>
>> \<thing>_case:nnTF
>>
>> where the T branch is selected if you have a match (in addition to
>> executing any match code from the "n" argument).
> This sounds more logical for me and I really like this idea. I think the
> true part is mostly a message instead of a function. However for me as a
> beginner it's more consistent in a expl3 manner. ;-)
>
> So after this small discuss I vote for the following:
>
> \<thing>_case:nn_p
> \<thing>_case:nnF
> \<thing>_case:nnT
> \<thing>_case:nnTF#

something  _p:... is only supported if the we deal with true predicates 
that do not have side effects and are expandable. In other words not 
everything that has a TF variant also exists as a predicate

cheers
frank