Browse thread
How to refactor a large Ocaml program
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ 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 <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. 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 eff.org! <> http://www.ics.uci.edu/~cstork/ OpenPGP fingerprint: B08B 602C C806 C492 D069 021E 41F3 8C8D 50F9 CA2F