3

我在名为 testexc.sml 的文件中有以下 SML 程序：

structure TestExc : sig
               val main : (string * string list -> int)
               end =
  struct

  exception OhNoes;

     fun main(prog_name, args) = (
       raise OhNoes
     )

end

我用 smlnj-110.74 像这样构建它：

ml-build sources.cm TestExc.main testimg

其中 sources.cm 包含：

Group is
  csx.sml

我像这样调用程序（在 Mac OS 10.8 上）：

sml @SMLload testimg.x86-darwin

我希望在调用程序时看到一些东西，但我唯一得到的是返回码 1：

$ sml @SMLload testimg.x86-darwin
$ echo $?
1

是什么赋予了？为什么 SML 会在这个未处理的异常上静默失败？这种行为正常吗？是否有一些我可以放在 main 上的通用处理程序来打印发生的错误？我意识到我可以匹配异常 OhNoes，但是对于带有我可能不知道的异常的大型程序呢？

4

1 回答 1

2

答案是处理异常，将其称为 e，并使用系统中可用的几个函数打印数据：

$ sml
Standard ML of New Jersey v110.74 [built: Tue Jan 31 16:23:10 2012]
- exnName;
val it = fn : exn -> string
- exnMessage;
val it = fn : exn -> string
-

现在，我们有了修改后的程序，是否将通用处理程序附加到 main()：

structure TestExc : sig
               val main : (string * string list -> int)
               end =
  struct

  exception OhNoes;
  open List;

     fun exnToString(e) =
        List.foldr (op ^) "" ["[",
                              exnName e,
                              " ",
                              exnMessage e,
                              "]"]

     fun main(prog_name, args) = (
       raise OhNoes
     )
     handle e => (
       print("Grasshopper disassemble: " ^ exnToString(e));
       42)

end

我使用列表来生成消息，因此要构建此程序，您需要引用 sources.cm 中的基础库：

Group is
  $/basis.cm
  sources.cm

这是我们运行它时的样子：

$ sml @SMLload testimg.x86-darwin
Grasshopper disassemble: [OhNoes OhNoes (more info unavailable: ExnInfoHook not initialized)]
$ echo $?
42

我不知道 ExnInfoHook 是什么，但至少我看到了 OhNoes。可惜 SML 编译器没有为我们添加基本的处理程序，以便在编译的程序中出现未处理的异常时打印一些东西。我怀疑 ml-build 将负责该任务。

于 2013-12-13T21:40:52.033 回答