[Agda] Termination problems with "with" and recursion

[Dominique Devriese]

2013/10/30 Andreas Abel <abela at chalmers.se>:
> Yes that is weird.  It does not succeed when I try your code.  Note that the
> apparent success might be to the fact that you actually have no recursive
> calls, since your function merge' only calls merge (which is, to your bad
> luck, in scope here).

Oops, I missed that :). That explains a lot...

Regards
Dominique