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