Comment author: @gasche

The previous code accepted both .ml and .mlt (.mlt support was added in 1995 in revision 353, apparently for the profiler), while your code only accepts .ml if you haven't passed any command-line option. I'm worried that this may cause regressions in old code -- though I have no idea what the use of this suffix is and who would still use it.

Comment author: @damiendoligez

The .mlt extension is used by kaputt, but I don't think it needs the feature.

I think it was for ocamlcp to produce an intermediate file as *.mlt, then call the compiler on that. It was superseded by the use of -pp, which avoids using a file.

Since this feature is not documented, I vote for eliminating it.

This issue has been open one year with no activity. Consequently, it is being marked with the "stale" label. What this means is that the issue will be automatically closed in 30 days unless more comments are added or the "stale" label is removed. Comments that provide new information on the issue are especially welcome: is it still reproducible? did it appear in other contexts? how critical is it? etc.