ANONYMOUS wrote multiple declaration of the same variable (name) is an error, you can assume that. We are not overthinking here, make simplifying assumptions, state those assumptions in a file, and you will be fine.

Where did you get this ml syntax from? I haven't seen this.

There is no need to complicate matters. Assume that there is no nested function, and that the generated code can be compiled without -Werror

ANONYMOUS wrote You can add a print statement in the ml file if you want something to be printed. Submit that modified ml file mentioning that you have added a print statement.

ANONYMOUS wrote I don't understand the source of this confusion. I have sent an email (and you can clearly quote that in case of any dispute) aand what I wrote there is correct. I cannot go on sending emails recursively and validate ad infinitum.

ANONYMOUS wrote I didn't have much time to look at the project carefully. However, main() is also valid in C, without any parameters like argc and argv

ANONYMOUS wrote You should make simplifying assumptions, and clearly write those assumptions in your report. I am not sure whether a report was required in the original project description, but you can submit a report that lists all the assumptions y...

ANONYMOUS wrote C accepts variable number of parameters in functions, so any parameter mismatch will be tolerated by the C compiler. You need not check the correctness of parameters.

Use gcc without -Werror.

I don't know what Chris had mind, it could be a trick question (note the 'always be true'). Suppose I write a complete C code with a main() and do not call this function?