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

19.15 例外発生式 raise exp

例外型(exn)を持つ任意のexpに対して, この式の型は,文脈の制約によって決まる任意の型を持つ. 文脈の制約がなければ型変数’aで表現される多相型を持つ. expが例外型を持たなければ,この式は型エラーとなる.

この式の評価を評価すると,まず式expが評価され,その結 果の例外値を持つ例外が発生した状況が生成される. したがって,この式は値を持たない.