From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: * X-Spam-Status: No, score=1.0 required=5.0 tests=AWL,SPF_NEUTRAL autolearn=disabled version=3.1.3 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 059A7BC0A for ; Mon, 18 Dec 2006 20:37:58 +0100 (CET) Received: from moutng.kundenserver.de (moutng.kundenserver.de [212.227.126.174]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id kBIJbsqG010639 for ; Mon, 18 Dec 2006 20:37:57 +0100 Received: from [217.83.173.90] (helo=st11) by mrelayeu.kundenserver.de (node=mrelayeu1) with ESMTP (Nemesis), id 0MKwpI-1GwOJ73G16-0007Tu; Mon, 18 Dec 2006 20:37:54 +0100 Received: from [127.0.0.1] (localhost [127.0.0.1]) by st11 (Postfix) with ESMTP id 8EC6129E63; Mon, 18 Dec 2006 20:37:56 +0100 (CET) Message-ID: <4586EE14.2070009@bik-gmbh.de> Date: Mon, 18 Dec 2006 20:37:56 +0100 From: Florian Hars User-Agent: Thunderbird 1.5.0.8 (X11/20061115) MIME-Version: 1.0 To: Remi Vanicat Cc: caml-list@yquem.inria.fr Subject: Re: [Caml-list] How to refactor a large Ocaml program References: <457FF423.7000703@abc.se> <45800CD5.8050401@janestcapital.com> <458106BD.7060103@abc.se> <4581560E.6020109@janestcapital.com> <4582C03F.20207@bik-gmbh.de> <6b8a91420612160214n6db6cc7dt5690b3c5915e61d0@mail.gmail.com> In-Reply-To: <6b8a91420612160214n6db6cc7dt5690b3c5915e61d0@mail.gmail.com> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Provags-ID: kundenserver.de abuse@kundenserver.de login:e41b7c94d40caefc4091cd96f6bfacb8 X-Miltered: at concorde with ID 4586EE12.002 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; hars:01 hars:01 bik-gmbh:01 refactor:01 ocaml:01 inference:01 caml-list:01 explicitly:01 remi:01 vanicat:01 essentially:02 florian:03 florian:03 schrieb:08 type:14 Remi Vanicat schrieb: > You can then explicitly declare the type you want So, essentially, type inference and refactoring without tool support don't mix that well. QED ;-) Yours, Florian.