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...