From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p65E05Lo013209 for ; Tue, 5 Jul 2011 16:00:05 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AncBAFEYE05N6B+lmWdsb2JhbABTmQqPCQEBAQEBCAsLBxQliHyjA58QhjYEhzmPdYtD X-IronPort-AV: E=Sophos;i="4.65,479,1304287200"; d="scan'208";a="86637911" Received: from fe02x03-cgp.akado.ru (HELO akado.ru) ([77.232.31.165]) by mail3-smtp-sop.national.inria.fr with ESMTP; 05 Jul 2011 16:00:00 +0200 X-Drweb-SpamState: no X-Drweb-SpamScore: 0 X-DrWeb-SpamReason: X-Drweb-SpamState-Num: 0 X-Spam-Level: Received: from [10.0.66.9] ([10.0.66.9] verified) by fe02-cgp.akado.ru (CommuniGate Pro SMTP 5.2.13) with ESMTPS id 219152354 for caml-list@inria.fr; Tue, 05 Jul 2011 17:59:58 +0400 Date: Tue, 5 Jul 2011 17:59:57 +0400 (MSD) From: malc X-X-Sender: malc@linmac To: caml-list@inria.fr Message-ID: User-Agent: Alpine 2.00 (LNX 1167 2008-08-23) MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Subject: [Caml-list] Type inference and marshalling Perhaps someone could explain why following behaves the way it does: ~$ ocaml Objective Caml version 3.11.2 # let f ic = let i = input_value ic in let j = i + 1 in LargeFile.seek_in ic i;; Warning Y: unused variable j. val f : in_channel -> unit = # let f ic = let i = input_value ic in let j = i + 1 in LargeFile.seek_in ic j;; Error: This expression has type int but an expression was expected of type int64 -- mailto:av1474@comtv.ru