Could have a syntax for default values for structures?  Something
like:

type t = { field1 : int = 0;
           field2 : string;  (* no default *)
         }

It's sort of possible to do this currently for non-mutable structures
by having a default_value declared, and writing:

let new_value = { default_value with field2 = "new string" }

but this doesn't allow the module to force the user to declare certain
fields in a new value.

The reason for having default fields is so that I can export struct-
ures from my module interface, but be able to add fields with default
values later without breaking dependent code.  (But in some circum-
stances I would deliberately add fields without default values in
order to break code).

Rich.

-- 
Richard Jones. http://www.annexia.org/ http://www.j-london.com/
Merjis Ltd. http://www.merjis.com/ - improving website return on investment
MONOLITH is an advanced framework for writing web applications in C, easier
than using Perl & Java, much faster and smaller, reusable widget-based arch,
database-backed, discussion, chat, calendaring:
http://www.annexia.org/freeware/monolith/

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners