Re: [Caml-list] Detecting missed checks for error indications in ML code

[Markus Elfring <Markus.Elfring@web.de>]

>> I got the impression that corresponding error checks can occasionally be missing.
>> How do you think about to detect such cases by advanced source code analysis?
>
> Hard to do without knowing how the function encodes error information in its
> return value.  For example, is it success or failure that it indicates by
> returning the value zero?

Such information should be provided for the safe application of programming in interfaces,
shouldn't it


> A ver simple approach is to return a disjoint union -- a choice between
> a valid valid or an invalid value of another type.  THen, of course, the
> compiler's type checker will prevent any use of the valid value without a
> check being performed.

Would you like to improve pattern matching for any OCaml data structures
directly after special function calls?

Regards,
Markus