Patrick Jaberg

Results 1 issues of Patrick Jaberg

Based on my understanding, it seems that using a `case` expression for pattern matching, rather than a function head, prevents the automated analyzer from detecting tail recursion. From what I've...