Proste wyjatki w OCaml'u

Wyjatek, ktory nie przechowuje zadnych dodatkowych informacji definiujemy przez:

exception Nazwa_wyjatku

Przy czym nazwa wyjatku musi byc napisana od duzej.


Wyjatek rzucamy wyrazeniem:

raise Nazwa_wyjatku

Wyjatek jest rzucany w momencie obliczenia takiego wyrazenia.


Wyjatek rzucany przez wyrazenie e1 lapiemy piszac:

try e1 with Nazwa_wyjatku -> e2

Semantyka tego kodu wyglada tak:


Wiecej o wyjatkach bedzie na wykladzie.