SML ソース ファイルを指定して、(Poly/ML を使用して) 関数/値名のリストが定義されているかどうかを確認することは可能ですか? もしそうなら、どのように?
または、次のことができることに気付きました。という名前の検査対象のソース ファイルがあるとしますsomefile.sml
。test.sml
次の内容のファイルを作成するとします。
use "somefile"
f; (* defined in somefile.sml *)
g; (* undefined *)
そして、次を実行します。
use "test" handle e as SyntaxError => (print (exnMessage e));
残念ながら、これは「静的エラー」のみを出力します。「test.sml」のどの関数が定義されていないかを (コードで) 判断する、上記と同様の方法はありますか?