Annotation for unfolding wanted

Simon Peyton-Jones simonpj at
Tue Jul 31 10:20:18 EDT 2007

| However my point was more on a semantic point of view: If I write a function
| in a recursive way, but actually do nothing else than a loop, I would like
| a) that the compiler unrolls it to a loop and
| b) that I can specify such a requirement, while violating it emits an error.

What does it mean to say "the compiler unrolls it to a loop".  If GHC sees a tail recursive function, it certainly compiles it to a loop!  (But that's not called "unrolling".)


More information about the Glasgow-haskell-users mailing list