From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Delivered-To: caml-list@yquem.inria.fr Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id 8DA9ABC2F for ; Thu, 2 Dec 2004 00:17:24 +0100 (CET) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id iB1NHOJl007727 for ; Thu, 2 Dec 2004 00:17:24 +0100 Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id AAA16180 for ; Thu, 2 Dec 2004 00:17:24 +0100 (MET) Received: from mallaury.noc.nerim.net (smtp-103-wednesday.noc.nerim.net [62.4.17.103]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id iB1NHN2D007724 for ; Thu, 2 Dec 2004 00:17:23 +0100 Received: from [192.168.0.3] (planar.net0.nerim.net [213.41.168.102]) by mallaury.noc.nerim.net (Postfix) with ESMTP id 6B5EC62DD5 for ; Thu, 2 Dec 2004 00:17:20 +0100 (CET) Mime-Version: 1.0 (Apple Message framework v619) In-Reply-To: <9E571848-430E-11D9-AF66-000A95CDFBE4@cs.unc.edu> References: <9E571848-430E-11D9-AF66-000A95CDFBE4@cs.unc.edu> Content-Type: text/plain; charset=US-ASCII; format=flowed Message-Id: <281F644B-43EF-11D9-BA22-000D9345235C@inria.fr> Content-Transfer-Encoding: 7bit From: Damien Doligez Subject: Re: [Caml-list] Strange observation on polymorphic '<' Date: Thu, 2 Dec 2004 00:17:23 +0100 To: caml users X-Mailer: Apple Mail (2.619) X-Miltered: at nez-perce with ID 41AE5104.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at nez-perce with ID 41AE5103.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; damien:01 damien:01 caml-list:01 kumar:01 wrote:01 integers:01 compilation:01 compiler:01 integers:01 polymorphic:01 doligez:01 doligez:01 compiles:01 let:03 context:04 X-Spam-Checker-Version: SpamAssassin 3.0.0 (2004-09-13) on yquem.inria.fr X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.0 X-Spam-Level: On 30 Nov 2004, at 21:30, Ritesh Kumar wrote: > Am I missing something here? Let us assume that the function which > internally uses the '<' operator is used only in the context of > integers > inside the program. You are missing this: because of separate compilation the compiler has no way to know whether the function will only be used on integers in your program. When it compiles the function, it doesn't know what it will be used for. -- Damien