Received: from mout.gmx.net (mout.gmx.net [212.227.15.15])
	by h1439878.stratoserver.net (8.14.2/8.14.2/Debian-2build1) with ESMTP id r67JAhJX003729
	for <rainer@rainer-schoepf.de>; Sun, 7 Jul 2013 21:10:44 +0200
Received: from relay.uni-heidelberg.de ([129.206.100.212]) by mx-ha.gmx.net
 (mxgmx110) with ESMTP (Nemesis) id 0LqUk1-1UHsdw2zdx-00e5w2 for
 <rainer.schoepf@GMX.NET>; Sun, 07 Jul 2013 21:10:37 +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 r67J7kof026583
	(version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO);
	Sun, 7 Jul 2013 21:07:47 +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 r677AwWS002298;
	Sun, 7 Jul 2013 21:07:46 +0200
Received: by LISTSERV.UNI-HEIDELBERG.DE (LISTSERV-TCP/IP release 16.0) with
          spool id 10258830 for LATEX-L@LISTSERV.UNI-HEIDELBERG.DE; Sun, 7 Jul
          2013 21:07:46 +0200
Received: from relay.uni-heidelberg.de (relay.uni-heidelberg.de
          [129.206.100.212]) by listserv.uni-heidelberg.de (8.13.8/8.13.8) with
          ESMTP id r67J7kTX001252 for <LATEX-L@listserv.uni-heidelberg.de>;
          Sun, 7 Jul 2013 21:07:46 +0200
Received: from mail-pd0-f174.google.com (mail-pd0-f174.google.com
          [209.85.192.174]) by relay.uni-heidelberg.de (8.14.1/8.14.1) with
          ESMTP id r67J7aCE026525 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128
          verify=FAIL) for <LATEX-L@listserv.uni-heidelberg.de>; Sun, 7 Jul
          2013 21:07:39 +0200
Received: by mail-pd0-f174.google.com with SMTP id 10so3379898pdc.19 for
          <LATEX-L@listserv.uni-heidelberg.de>; Sun, 07 Jul 2013 12:07:35 -0700
          (PDT)
MIME-Version: 1.0
X-Received: by 10.68.164.97 with SMTP id yp1mr17778210pbb.77.1373224055116;
            Sun, 07 Jul 2013 12:07:35 -0700 (PDT)
Received: by 10.66.150.226 with HTTP; Sun, 7 Jul 2013 12:07:35 -0700 (PDT)
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
Message-ID:  <CANQYN6zr6b12=ON74Jf=sBBMh-PA1j7_CjTPtw7U3ajQTGQH=g@mail.gmail.com>
Date:         Sun, 7 Jul 2013 15:07:35 -0400
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: Bruno Le Floch <blflatex@GMAIL.COM>
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:2xmszdKKs/8=:10CQQJwrjFOb76JKk0CVBz
 gGt5wl190vojR1gmDZ50OJbIFfJfkd6VnYO5DXz3dvkDtBqShO7HHHi/AYla/7s7lm/2v9f
 ZMtVc88cMIiqk8RNG9sK1avlkUIRekXX0DV7GL9w1D1nPVu/qyjNgSUfIz/hyGatRCarsQa
 C6OYmkfk8lP40J48y2C2FDHJW3qo3UeR03CWLpYuCknvJ6BB3jL8xFxuDJcLDRpCMkag/vD
 KsJoWOgAd43ELz7iJUZ/P4yokXy75vi/tOt92PoBS8CsrjBpBBRtNbuIaQVj2tfIK8ZQim3
 uj7VPKDxrTnR73Xkqu++ryslRrN/w3gAzxkurhnwcFcaZDk/IMK6bBsAI86vaEz9/gtJf9e
 lA4o3dkYuQulHbuKI8BYuAXiR0QKa6x9aekOJdDf9Wm5vfwgegZcD6DJNOEzASUN/3zwSXL
 C/pO3m/qKp78KPGehrvme6QJiGQa6sz7ghNf9pW9+PYtVuYpdHOdmSZIL3hh0l9M+bKGaZF
 pNPms4FnqX+BOXMNgYQPbptSd2fW1exRsTK2JHSuCfPCFBgJhT32H4dXz8fMtaKNMg0/yGO
 ZlD2AumkoLuKBa5iCPKXLpqaeMYcaAUviEEJgegVjQivlI6F02UBbK7nsBpgntxE5jQiKby
 AkDs9iGqdO1vpMp0OnaOJfXxVpBrYGr8bzDbDkXSD6AQTO63vT14vnG2TEijGa1d3SCK596
 qDRRidDpuhVy5NC4iXfv0XfZq2L0zsZ+VagFCFnD3GWxudEOPDbQ3quLdPScyVNoEnWHFgF
 6L6sk8lhmhhNyURYwUlrSJDyyxkkjBfLh95LQ3H/u7ZiI9XmBCvnhWQpnFYSdvZHG2e8wMn
 2iCH90KTetgnIYZaP6Q3kCXM2dCT0PldbNc9IZtkmlPaNPA0y1tJlUTKRrkvEavepuWNpKv
 ciL9Tp8bQEUMncFzqGo/LpEmEzI/lztCrsQbDS1TX/WeayKiWDHDWreuY1CoElK+p6MzT14
 /3WAU2KsPe3HWUnTyabhix0dqZ3z1QOIiiXP28ApJpH2CW2jfLTNhz1TkFY18m95F3ysGHF
 ENQpbRl4q3/WqAFvXE99n9Cz6I2JT5yf3i1aRLd1a39ulpSqqm3VX3UmfQwr4iEqJYubdNk
 C/k/feQewq0anFLGf31WJk4C/9wC6swUxj+GuVBbiEfkwLOdExNZGpG7lgVcBoG0rUlUGTk
 4vwRnJhY18mC9jsTH7KJtLOtffaw6zaKYbdTb/4TkFXwf8JDClSOuoMwDiIN5P4mcRXVqqf
 OspHH280VzldxtRGHW/XkvLy/lPHbIPgGETHZGmajSI4yGTBOLP7ET0J5o1WSAxRTWHfzjj
 nIG8l3VP/zyzf+qYJEEs3hCcT4Dbp4zHYUgrcKQUczfQd1COyM6LViqBpW0KSuaqgap7hmV
 /GydqRM6kJXBXoda30fwkmTwoJKzb/a8Idn3h/A1n+WLde09Uv7ttYeU5L19uGK3FYcWvWd
 YTfNaOZ6tC9uATJOgwdhFuovRAl8et2J8WCn3TI5hmXdImyRx2AmhQr6jqnWJ9baMKl1nQn
 c60Y6/tB5/J1KtlJaszUS65CAX/3TNFu9t4UaWCsojwA3AyjhCsNjuxMtaI=
X-UI-Loop:V01:tdmvz8S9zeA=:DV0bkRpzuTaXmpEgJgk6P7YotQTk5DmYUtwvUdJf+bs=
Status: R
X-Status: 
X-Keywords:                  
X-UID: 7218

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

I don't think we can really have \<thing>_case_p:nn (note that you
misplaced the "_p"), because the \<thing>_case:nn part leaves tokens
in the input stream, that would interact badly with the boolean
expression code.  E.g.,

    \bool_if:nTF { \int_case_p:nn {1*0} { {0}{} {1}{} } }

would only work because all "code" brace groups are empty.  I believe
that such a situation would be a job for a different function,
\<thing>_any:nn(TF), to be discussed separately:

    \int_if_any:nnTF {1*0} { {0} {1} } ...
    \bool_if:nTF { \int_if_any_p:nn {1*0} { {0} {1} } } ...

Regards,
Bruno