Hi all,

I've got a number of defined types for which I'd like to define
infix operators for addition, subtraction, multiplication etc.

Unfortunately since each type needs is own infix operator I'm
running out of ideas unique operator versions for each type.

Why is it not possible to do something like:

    let ( ++ ) (a:float) (b:float) = a +. b ;;

    let ( ++ ) (a:int) (b:int) = a + b ;;

which with the full type specification should allow the compiler
to figure out which version to use in a given situation.

Regards,
Erik
-- 
+-----------------------------------------------------------+
  Erik de Castro Lopo  nospam@mega-nerd.com (Yes it's valid)
+-----------------------------------------------------------+
"An older MS internal whitepaper from August 2000 on switching
Hotmail, which MS acquired in 1997, from front-end servers
running FreeBSD and back-end database servers running Solaris
to a whole farm running Win2K, reads like a veritable sales
brochure for UNIX"
-- http://www.theregister.co.uk/content/4/28226.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