From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.6.10/8.6.6) id LAA18699 for caml-redistribution; Fri, 5 Jan 1996 11:58:18 +0100 Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.6.10/8.6.6) with ESMTP id KAA16981 for ; Fri, 5 Jan 1996 10:04:48 +0100 Received: from margaux.inria.fr (margaux.inria.fr [128.93.8.2]) by concorde.inria.fr (8.7.1/8.7.1) with ESMTP id KAA00456 for ; Fri, 5 Jan 1996 10:04:48 +0100 (MET) Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by margaux.inria.fr (8.6.10/8.6.6) with ESMTP id KAA03590 for ; Fri, 5 Jan 1996 10:04:47 +0100 Received: from melimelo.enst-bretagne.fr (melimelo.enst-bretagne.fr [192.108.115.36]) by concorde.inria.fr (8.7.1/8.7.1) with SMTP id KAA00452 for ; Fri, 5 Jan 1996 10:04:47 +0100 (MET) Received: from audrey.enst-bretagne.fr by melimelo.enst-bretagne.fr (5.67b8/090294); Fri, 5 Jan 1996 10:04:13 +0100 Received: by audrey.enst-bretagne.fr (AIX 3.2/UCB 5.64/4.03) id AA05343; Fri, 5 Jan 1996 10:05:43 +0100 Date: Fri, 5 Jan 1996 10:05:43 +0100 From: Hubert.Fauque@enst-bretagne.fr (Fauque UPS) Message-Id: <9601050905.AA05343@audrey.enst-bretagne.fr> To: caml-list@margaux.inria.fr Subject: entiers et reels Sender: weis *** english summary follows *** une question sur caml-light: pourquoi les relations < > <= etc.. sont-elles polymorphes et les operations + * etc.. ne le sont-elles pas? caml accepte 5 > 6 et 5.0 > 6 mais refuse 3. + 2.; je comprend l'eventuelle necessite de separer les types entier et reel mais pourquoi pas aussi pour < >.. Hubert Fauque in english: I don't understand why caml accepts 5<6 and 5. < 6. but not 2+3 and 2.+3.