Should the EntryPoint function return a value?

[LaurentAjdnik]

The EntryPoint function was first introduced with a void return type.

Should it return a value?

If so, what would this value be?

• A mere i1 boolean for success or error?
• An i64 integer out of a predefined list of possible values?
• An i64 integer with specific values enforced by the simulator/backend?
• ...

Note: The Base Profile does not allow for branching. Hence, how could a return value be set? Still:

• A return value could be set through non-branching LLVM instructions such as icmp or select for instance
• A return value could be retrieved from non-QIS external functions calls
• This question applies to all profiles