Comment author: administrator

When constructing records, it would be handy if the error message indicated
which fields were missing, and perhaps what their types are:

Sounds like a good idea.
Printings the types might be a bit cumbersome, I just added the field names:

    Objective Caml version 3.01+2s (2001-05-08)

type x = {a:int; b:int; c: int};;

type x = { a : int; b : int; c : int; }

{a=1};;

Some record field labels are undefined: b c

This is not in the main CVS yet, since I commited it on a different branch, but
this will be in the next release.

Jacques Garrigue

Comment author: administrator

Feature added on branch strict_labels by JG (2001-05-10).
Merged in main branch (2001-06-29).