Contents

" Warning: Function return value does not exist"

This warning message is displayed when your program contains a function call, that the compiler is able to determine, can not return a legal value given the function argument(s).

For example the following function call


 succ(x);

will cause this warning message to be displayed, if x is a value whose type has only one value.

Contents