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=0.0 required=5.0 tests=none 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 DD9EDBC0B for ; Fri, 15 Dec 2006 16:33:24 +0100 (CET) Received: from grisu.bik-gmbh.de (grisu.bik-gmbh.de [217.110.154.194]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id kBFFXNCk029458 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Fri, 15 Dec 2006 16:33:24 +0100 Received: from [192.168.125.193] (prony.bik-gmbh.de [192.168.125.193]) by grisu.bik-gmbh.de (8.13.6/8.13.6) with ESMTP id kBFFXJlT024956; Fri, 15 Dec 2006 16:33:19 +0100 (CET). Message-ID: <4582C03F.20207@bik-gmbh.de> Date: Fri, 15 Dec 2006 16:33:19 +0100 From: Florian Hars User-Agent: Thunderbird 1.5.0.8 (X11/20061115) MIME-Version: 1.0 To: Brian Hurt Cc: Mattias Waldau , 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> In-Reply-To: <4581560E.6020109@janestcapital.com> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Miltered: at concorde with ID 4582C043.004 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 ocaml:01 compiler:01 wrote:01 compile:01 caml-list:01 florian:03 florian:03 let:03 conflicting:04 brian:05 Brian Hurt wrote: > Compile them all, let Ocaml sort things out. Except that more often than not the compiler will flag the type error at one of the locations where the type is already the way you want it and you have to hunt through all other files in your project trying to divine where the conflicting type assignment comes from. Yours, Florian.