Tom Lane <tgl@sss.pgh.pa.us> writes:
> "Patrick Fiche" <patrick.fiche@aqsacom.com> writes:
>> I'm a bit confused with the use of Label for loops in PostgreSQL.
> Sure looks like a bug to me.
Ah-hah: it's a case-sensitivity problem. The <<>> construct downcases
its label identifier, but EXIT forgets to do so. Spell it as
"EXIT loop1" and you'll be OK.
I'll fix this for 8.0.
regards, tom lane