Annotation for unfolding wanted

Isaac Dupree isaacdupree at
Fri Aug 3 07:56:42 EDT 2007

Simon Peyton-Jones wrote:
> If it's tail recursive it'll be compiled to a loop.  You don't need a pragma.

The ~pragma is in order to make an error if it's not a loop. Same way as 
we don't need type-signatures in export lists and their only purpose is 
to cause errors when something unexpected and undesirable happens.


More information about the Glasgow-haskell-users mailing list