]> Camlidl generates the following mli (sample here) type union_9 = | NUMERIC | STRING | TBOOL | ENUM_DATA | CONTROL | ENCRYPT and msg_type = union_9 let foo x : msg_type option = x If I try to do # foo STRING;; Characters 4-10: foo STRING;; ^^^^^^ This expression has type union_9 but is here used with type msg_type option How can I either get camlidl to not do this, or what is the syntax in Ocaml to ensure I use the right type? Thanks, Ronnie ------------------- 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