例外型（exn）を持つ任意の⟨exp⟩に対して， この式の型は，文脈の制約によって決まる任意の型を持つ． 文脈の制約がなければ型変数’aで表現される多相型を持つ． ⟨exp⟩が例外型を持たなければ，この式は型エラーとなる．
この式の評価を評価すると，まず式⟨exp⟩が評価され，その結 果の例外値を持つ例外が発生した状況が生成される． したがって，この式は値を持たない．