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 VAA04821; Mon, 2 Apr 2001 21:04:56 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id VAA04831 for caml-list@pauillac.inria.fr; Mon, 2 Apr 2001 21:04:55 +0200 (MET DST) 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 RAA02166 for ; Mon, 2 Apr 2001 17:46:07 +0200 (MET DST) Received: from mailgate.nau.edu (mailgate.nau.edu [134.114.96.19]) by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id f32Fk4j04353 for ; Mon, 2 Apr 2001 17:46:05 +0200 (MET DST) Received: from conversion.mailgate.nau.edu by mailgate.nau.edu (PMDF V5.2-32 #39840) id <0GB600301936XZ@mailgate.nau.edu> for caml-list@inria.fr; Mon, 2 Apr 2001 08:45:14 -0700 (MST) Received: from phlurm (dorm3880.resnet.nau.edu [134.114.143.40]) by mailgate.nau.edu (PMDF V5.2-32 #39840) with ESMTP id <0GB600AK7935MH@mailgate.nau.edu>; Mon, 02 Apr 2001 08:45:05 -0700 (MST) Date: Mon, 02 Apr 2001 15:51:16 +0000 (UTC) From: Brock Subject: Re: Overloading again (Was Re: [Caml-list] Interfacing C++ and Ocaml) In-reply-to: <3AC834B4.559806D0@recherche.enac.fr> X-Sender: awwaiid@phlurm.nau.edu To: Jean-Marc Alliot Cc: caml-list@inria.fr Message-id: MIME-version: 1.0 Content-type: TEXT/PLAIN; charset=US-ASCII Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Mon, 2 Apr 2001, Jean-Marc Alliot wrote: |Brian Rogoff wrote: | |> I'd also love to know if and when this will make it into Ocaml since this |> is one of the few things that I dislike about ML style languages and |> even after quite a bit of Caml programming I still miss overloading. |> ... | |And it took him a very long time to realize that the ++ operator had been |overloaded, somewhere in a .h file included in an other .h file, and that instead |of incrmenting the pointer, it was doing something like p=p->next, with a next |field incorrectly initialized somewhere. | Wouldn't our lovely typechecking system take care of this? --Brock ------------------- To unsubscribe, mail caml-list-request@inria.fr. Archives: http://caml.inria.fr