From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <remi.vanicat@gmail.com>
X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr
X-Spam-Level: *
X-Spam-Status: No, score=1.4 required=5.0 tests=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 discorde.inria.fr (discorde.inria.fr [192.93.2.38])
	by yquem.inria.fr (Postfix) with ESMTP id A98F6BC0B
	for <caml-list@yquem.inria.fr>; Sat, 16 Dec 2006 11:14:14 +0100 (CET)
Received: from ug-out-1314.google.com (ug-out-1314.google.com [66.249.92.175])
	by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id kBGAEED7018179
	for <caml-list@yquem.inria.fr>; Sat, 16 Dec 2006 11:14:14 +0100
Received: by ug-out-1314.google.com with SMTP id q2so1191120uge
        for <caml-list@yquem.inria.fr>; Sat, 16 Dec 2006 02:14:14 -0800 (PST)
DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws;
        s=beta; d=gmail.com;
        h=received:message-id:date:from:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references;
        b=drmELlEmfstrRz+rFzUaHVpAmrzRbiCvD38EHW6LPXx5AbrdQmMgsLtHM+T51usfQh7hh+f9U18EzQPKU7GiXVrqxvglmpLbs8GotwGw3Kdqt+WRKJV7Z/2N8YdOKce768Vq1ZVHcrCzZ4uD1JKxxcNufr/Ndr4e7nBIjdCQ/Xg=
Received: by 10.78.193.19 with SMTP id q19mr910818huf.1166264053900;
        Sat, 16 Dec 2006 02:14:13 -0800 (PST)
Received: by 10.78.174.3 with HTTP; Sat, 16 Dec 2006 02:14:13 -0800 (PST)
Message-ID: <6b8a91420612160214n6db6cc7dt5690b3c5915e61d0@mail.gmail.com>
Date: Sat, 16 Dec 2006 11:14:13 +0100
From: "Remi Vanicat" <remi.vanicat@gmail.com>
To: "Florian Hars" <hars@bik-gmbh.de>
Subject: Re: [Caml-list] How to refactor a large Ocaml program
Cc: "Brian Hurt" <bhurt@janestcapital.com>,
	"Mattias Waldau" <mattias.waldau@abc.se>, caml-list@yquem.inria.fr
In-Reply-To: <4582C03F.20207@bik-gmbh.de>
MIME-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Content-Disposition: inline
References: <457FF423.7000703@abc.se> <45800CD5.8050401@janestcapital.com>
	 <458106BD.7060103@abc.se> <4581560E.6020109@janestcapital.com>
	 <4582C03F.20207@bik-gmbh.de>
X-j-chkmail-Score: MSGID : 4583C6F6.000 on discorde : j-chkmail score : X : 0/20 1 0.000 -> 1
X-Miltered: at discorde with ID 4583C6F6.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)!
X-Spam: no; 0.00; refactor:01 ocaml:01 hars:01 hars:01 bik-gmbh:01 ocaml:01 compiler:01 wrote:01 compile:01 caml-list:01 explicitly:01 remi:01 remi:01 vanicat:01 vanicat:01 

2006/12/15, Florian Hars <hars@bik-gmbh.de>:
> 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.

You can then explicitly declare the type you want, and the error will
be found where it is.