
10 Jun
2014
10 Jun
'14
7:25 p.m.
Hi, to the compiler, (<), (==) and (>) are just functions. It doesn't know that they have anything to do with each other. Its totality checking works solely on all alternatives given in data type declarations (separated by `|`s). Have a look at http://community.haskell.org/~ndm/catch/ for a try to go beyond that. Niklas On 11/06/14 00:17, Semen Trygubenko / Семен Тригубенко wrote:
Could someone help me uncover which cases that are not… erm… covered by the above patterns?