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.