From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id A01ACBC29 for ; Wed, 9 Aug 2006 05:25:45 +0200 (CEST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id k793PijP005869 for ; Wed, 9 Aug 2006 05:25:45 +0200 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 FAA02930 for ; Wed, 9 Aug 2006 05:25:44 +0200 (MET DST) Received: from py-out-1112.google.com (py-out-1112.google.com [64.233.166.176]) by nez-perce.inria.fr (8.13.6/8.13.6) with ESMTP id k793Phwe011333 for ; Wed, 9 Aug 2006 05:25:44 +0200 Received: by py-out-1112.google.com with SMTP id b29so132494pya for ; Tue, 08 Aug 2006 20:25:43 -0700 (PDT) DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=beta; d=gmail.com; h=received:in-reply-to:to:subject:cc:x-mailer:from:message-id:mime-version:content-type:content-transfer-encoding:date; b=HIABtUBFXJO7/uNDcwCczFWCbo0U0+Yv0y4HYGr6eyOIv+2ClL+Q3f9NSBrBh/AOh7X3xpRcmXnFJReuoSgHfYJ27pIr4KF+eC410914gWk1xWP1Ta4oawxrDY/jaBOoGTYh72MH4JODgcoU3hbnFngJvErGB73TcqkVibc4YF4= Received: by 10.65.139.9 with SMTP id r9mr363204qbn; Tue, 08 Aug 2006 20:25:43 -0700 (PDT) Received: from beos ( [124.197.7.245]) by mx.gmail.com with ESMTP id q13sm272719qbq.2006.08.08.20.25.40; Tue, 08 Aug 2006 20:25:42 -0700 (PDT) In-Reply-To: <20060808221224.GC3719@first.in-berlin.de> To: Oliver Bandel Subject: Re: [Caml-list] Arg-module: Float-Args also accept integer values Cc: caml-list@inria.fr X-Mailer: BeMail - Mail Daemon Replacement 3.0.2 Final From: "Jonathan Roewen" Message-Id: <78109874304-BeMail@beos> Mime-Version: 1.0 Content-Type: text/plain; charset="windows-1252" Content-Transfer-Encoding: 7bit Date: Tue, 08 Aug 2006 20:25:42 -0700 (PDT) X-j-chkmail-Score: MSGID : 44D955B7.000 on nez-perce : j-chkmail score : X : 0/20 1 X-Miltered: at concorde with ID 44D955B9.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at nez-perce with ID 44D955B7.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; ocaml:01 val:01 ocaml:01 impl:01 libs:01 oliver:01 caml-list:01 integer:01 expression:01 int:01 caml:02 objective:02 string:02 float:03 float:03 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=RCVD_BY_IP autolearn=disabled version=3.0.3 > =========================================== > first:~ oliver$ ocaml > Objective Caml version 3.09.2 > > # let floatingpoint_id (x:float) = x;; > val floatingpoint_id : float -> float = > # floatingpoint_id 42;; > This expression has type int but is here used with type float > # > =========================================== float_of_string doesn't use the ocaml type system ;-) Don't know about impl details, but it's basically like atof (or whatever it's called) in standard C libs. The two are completely separate. Jonathan