如何在断言失败时使非交互式Maple退出？

Question

我t.ms文件包含：

interface(prettyprint=0): kernelopts(assertlevel=1): 
ASSERT(1<1): 
ASSERT(2<2): 

当我运行：

maple -q t.ms; echo $? 

我得到：

Error, assertion failed 
Error, assertion failed 
0 

当我运行：

maple -e 2 -q t.ms; echo $? 

我得到：

Error, assertion failed 
0 

我想：

Error, assertion failed 
4 

也就是说，我想枫与在第一次失败的断言非零退出状态退出。 （我不在乎退出代码是否为1或其他任何东西，只要它不为零。我从documentation得到了4，与错误中断有关）我如何得到这个结果？

Answer 1

的文档不会使它很清楚，必须使用，

`quit`(n) 

与名称引号。现在

interface(prettyprint=0): 

handler:=proc(e::uneval) 
    local failed; 
    printf("entered\n"); # remove this when satisfied 
    failed:=false; 
    try 
    if evalb(eval(e)) <> true then 
     error; 
    end if;; 
    catch: 
    failed:=true; 
    printf("Error, assertion failed\n"); 
    finally; 
    if failed then 
     `quit`(5); 
    end if; 
    end try; 
    true; 
end proc: 

ASSERT(handler(1<1)): 
ASSERT(handler(2<2)): 

，保存此文件作为然后uh.mpl使用华普18.01为Linux我看到，

$ maple18.01 -q -A 2 ~/uh.mpl ; echo $? 
entered 
Error, assertion failed 
5 

如果没有-A 2运行，那么它不运行的断言检查。

[编辑]下面是一个稍作修改，以处理额外的参数作为打印的一部分。

handler:=proc(e::uneval) 
    local failed; 
    printf("entered\n"); # remove this when satisfied 
    failed:=false; 
    try 
    if evalb(eval(e)) <> true then 
     error; 
    end if;; 
    catch: 
    failed:=true; 
    printf("Error, assertion failed, %q\n", _rest); 
    finally; 
    if failed then 
    `quit`(5); 
    end if; 
    end try; 
    true; 
end proc: