What is the difference between case, case+ and case- in ATS?

Question

I often see a case-expression in ATS formed using case, case+, or case-. What is the difference?

Answer 1

Using case will issue a warning if the expression is not exhaustive, case+ will yield an error instead, while case- will suppress the message about exhaustiveness altogether. See this chapter of INT2PROGINATS for further detail.