Comment author: @gasche

I think you could rather easily implement this as an external -ppx tool. One slightly tricky part is to detect the "innermost" application node to add the attribute (I don't think anything terrible would happen if you annotated each node, except clobbering the AT), but then programmatically adding the attribute should be very simple.

Comment author: @alainfrisch

I must have missing something, but do you suggest to reject:

let y = f x in
...

?

Comment author: berenger

I don't know about ppx things yet.
I hope they don't force people into having more complex
and non standard build descriptions ...

Comment author: @damiendoligez

Like @Frisch, I'm wondering what kind of code you write. Do all your function calls, constructors and records have only variables and constants as arguments?

Comment author: berenger

I thought the [@tailcall] annotation is on the function declaration.
Sorry, this can probably be closed then.

Comment author: berenger

My old dream was that we could have the compiler warn when
we compile a recursive function that is not tail recursive.