ATS案例，案例+和案例有什么区别？

Question

我经常在使用case，case+或case-形成的ATS中看到一个案例表达式。有什么区别？

Answer 1

如果表达式不是详尽的话，使用case会发出警告，而case+会产生错误，而case-会完全取消有关详尽无效的消息。有关详细信息，请参阅INT2PROGINATS的this chapter。