SML# Document Version 4.0.0

\,\langle

\rangle\,

23.5 Exception declaration : $\,\langle$ exnDecl $\rangle\,$

Syntax of exception declaration is given below.

$\,\langle$ exnDecl $\rangle\,$	::=	exception $\,\langle$ exbind $\rangle\,$
$\,\langle$ exbind $\rangle\,$	::=	$($ op $)?$ $\,\langle$ vid $\rangle\,$ $($ of $\,\langle$ ty $\rangle\,$ $)?$ $($ and $\,\langle$ exbind $\rangle\,$ $)?$

This defines an exception constructor optionally with an argument of type $\,\langle$ ty $\rangle\,$ .

23.5.1 Exception specification : $\,\langle$ exnSpec $\rangle\,$

Syntax of exception specification is the same as exception declaration.

The following are examples of exception declarations and their interface.

Data.sml file: exception Fail of string Data.smi file: exception Fail of string