如何在斷言失敗時使非交互式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: