プログラミング言語SML#解説 4.0.0版

\,\langle

\rangle\,

23.5 例外宣言 : $\,\langle$ exnDecl $\rangle\,$

例外宣言の構文は以下のとおりである．

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

この宣言により型 $\,\langle$ ty $\rangle\,$ を引数とする例外構成子 $\,\langle$ vid $\rangle\,$ が定義される．

23.5.1 例外仕様 : $\,\langle$ exnSpec $\rangle\,$

例外のインタフェイスである例外仕様の構文は，例外宣言と同一である．

以下は，例外宣言を含むソースファイルとインターフェイスの例である．

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