From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id HAA01461; Sat, 20 Mar 2004 07:45:49 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id HAA00103 for ; Sat, 20 Mar 2004 07:45:48 +0100 (MET) X-SPAM-Warning: Sending machine is listed in blackholes.five-ten-sg.com Received: from web41212.mail.yahoo.com (web41212.mail.yahoo.com [66.218.93.45]) by concorde.inria.fr (8.12.10/8.12.10) with SMTP id i2K6jkHd011780 for ; Sat, 20 Mar 2004 07:45:47 +0100 Message-ID: <20040320064546.3515.qmail@web41212.mail.yahoo.com> Received: from [67.242.203.84] by web41212.mail.yahoo.com via HTTP; Fri, 19 Mar 2004 22:45:46 PST Date: Fri, 19 Mar 2004 22:45:46 -0800 (PST) From: Vasili Galchin Subject: Re: [Caml-list] Completeness of "Unix" run-time library To: Sven Luther , james woodyatt Cc: Vasili Galchin , caml-list@inria.fr In-Reply-To: <20040319101936.GB21455@lambda> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Miltered: at concorde by Joe's j-chkmail ("http://j-chkmail.ensmp.fr")! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; caml-list:01 run-time:01 sven:01 gregoire:01 namespaces:01 mli:01 mli:01 gregoire:01 etu:99 2004:99 etu:99 caml-list:01 multicast:01 multicast:01 threads:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk X-Keywords: X-UID: 264 Hi Sven, Here is Gregoire aka Georgi ipv6 code (oops ... maybe he is not Georgi but instead Henri) ... anyway I read it and I like what he did: 1) it seems to be complete albeit seems to be minus ipv4. Question: how to transition from ipv4 to ipv6? Or how to have ipv4 and ipv6 namespaces? 2) After I read this code then I think it makes sense to split unix.mli/unix.ml into socket.mli/socket.ml, time.mli/time.ml, etc. as Gregoire Henry has done. Regards, Vasili --- Gregoire HENRY wrote: > Date: Tue, 9 Mar 2004 21:14:20 +0100 > From: Gregoire HENRY > To: Vasili Galchin > Subject: Re: [Caml-list] multicast IP added to the > Unix library > > Hello, > > > I have added so far the multicast join and > drop functionality to the unix (and threads) OCaml > library. I have tested this functionality and it > works. I do want to respect what has been > implemented in the past (very fine work). I looked > carefully at the various setsockopt functions in > unix.mli and the multicast work didn't seem to fit > easily within the bool, int, float paradigmn because > the setsockopt call for multicast passes in a > structure plus the setsockopt "level" actual > parameter is not SOL_SOCKET (i.e. we are setting > socket state at a different level, i.e. IPPROTO_IP). > Hence, I implemented as two functions, > multicast_join and multicast_drop. I, of course, > amenable to changes in what I have done. Is there a > code review process in order to get something into > the mainline of OCaml?? Please someone supply me > with details. > > I believe there is no special review process yet, > except perhaps filling a request's bug and attach > your patch : > http://caml.inria.fr/bin/caml-bugs > > BTW, I missed your previous mail but I make some > preliminary work > this summer on bindings OCaml with IPv6 socket > interface (RFC 3493). > In particulary, introduce a new > setsockopt_multicast. > > I would be pleased to compare with your > implementation. > You can found mine here : > http://www.pps.jussieu.fr/~henry/ip6/ > > regards, > -- Gregoire Henry --- Sven Luther wrote: > On Tue, Mar 09, 2004 at 09:59:20AM -0800, james > woodyatt wrote: > > On 09 Mar 2004, at 09:30, Vasili Galchin wrote: > > > > > > I have yet to finish reading through > otherlibs/unix/unix.mli. I > > >kind of consider this POSIX API support. In any > case, is there is a > > >consensus that what is in unix.mli is complete? > Or does new > > >functionality have to be added? If so, what? > > > > I think the Unix module could be regarded as > incomplete. > > > > The tactic I have taken with this problem is to > regard the Unix library > > in the Ocaml distribution as the property of > INRIA. It has what it > > has, and it will get what INRIA decides is missing > when the INRIA team > > decides to put it there. > > > > I found the support for socket options to be > lacking. I wanted IPv6 > > I also have a bug report open against the debian > ocaml package asking > quite intently for IPv6 supoprt, also claiming ocaml > to be 'useless' to > him until it would support IPv6. > > Is there any IPv6 support planed in the near future > ? I know this > discussion did already happen, but i guess nothing > came of it back then. > > Friendly, > > Sven Luther > > ------------------- > 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 __________________________________ Do you Yahoo!? Yahoo! Finance Tax Center - File online. File on time. http://taxes.yahoo.com/filing.html ------------------- 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