Man kann Schleifen auch benennen. Dies sieht beispielsweise so aus:
Aeussere_Schleife: loop ... Innere_Schleife: loop ... exit Innere_Schleife when a=b; ... exit Aeussere_Schleife when a=c; ... end loop Innere_Schleife; ... end loop Aeussere_Schleife;
Durch die Benennung der Schleifen und Benutzung dieser Namen bei den Exit-Anweisungen kann man genau spezifizieren, welche Schleife man verlassen will.