Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)us> writes:
> "Patrick Fiche" <patrick(dot)fiche(at)aqsacom(dot)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