]> That made sense. I guess not quite clear from docs. I should be able to progress a lot further on my project. thanks very much for the responses. Ronnie >-- Original Message -- >To: ronniec95@lineone.net >Cc: caml-list@inria.fr >Subject: Re: [Caml-list] type equality help (camlidl related but not > directly) >From: David MENTRE <dmentre@linux-france.org> >Date: Tue, 23 Dec 2003 17:00:04 +0100 > > >Hello, ronniec95@lineone.net writes: > type union_9 = > | NUMERIC > | STRING > | TBOOL > | ENUM_DATA > | CONTROL > | ENCRYPT > and msg_type = union_9 > > let foo x : msg_type option = x ^^^^^^Here is t >e trick > 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 You should do : # foo (Some STRING);; - : msg_type option = Som > STRING foo is defined as an option (| None | Some of 'a) over msg_type. Yours, d. -- David Mentré <dmentre@linux-france.org> http://www.linux-france.org/~dmentre/david-mentre-public-key.asc GnuPG key fingerprint: A7CD 7357 3EC4 1163 7 >5B 7FD3 FB3E AD7C 2A18 BE9E ------------------- 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.co >/group/ocaml_beginners ------------------- 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