Forward Declarations for Functions in the CTranslator

[NGovani]

I just wanted to ask if you're going to be testing for function declarations in the c translator since it's not explicitly clear in the spec.

For example:

void f();

int main(){
f();
}

void f(){
definition here...
}

would a test case like this ever come up

[johnwickerson]

Sorry for the slow reply. Forward declarations are needed if you want to support mutual recursion. This is something that could be tested (see the list of more advanced features), but I suggest you leave it as a low-priority feature.