Sì ma quel loop scritto in quel modo sarebbe "infinito". Devi scrivere un predicato di uscita, secondo questo schema:

LOOP
--qualcosa
--ancora altro
EXIT WHEN --qualche condizione
END LOOP;

ovviamente il test sulla condizione lo puoi mettere in qualsiasi punto del corpo del ciclo, non necessariamente alla fine.