| http://www.w3.org/ns/prov#value | - This is stated in clause 3.6.1 (Main function): [red][The main function] shall have a return type of type int, but otherwise its type is implementation-defined.[/red] Therefore, a program which declares main to return something other than int is an ill-formed program, because it violates a semantic constraint rule which is not accompanied by the words ``no diagnostic is required''.
|
