Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
How to refactor a large Ocaml program
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2006-12-16 (13:52)
From: Christian Stork <cstork@i...>
Subject: Re: [Caml-list] How to refactor a large Ocaml program
On Sat, Dec 16, 2006 at 11:14:13AM +0100, Remi Vanicat wrote:
> 2006/12/15, Florian Hars <>:
> >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.

Unless it's a polymorphic type, in which case the type annotation only
has to unify with the offending location's type.

Chris Stork   <>  Support!  <>
OpenPGP fingerprint:  B08B 602C C806 C492 D069  021E 41F3 8C8D 50F9 CA2F