Hi Serge, On Mon, Jan 07, 2008 at 06:56:13PM +0300, Serge D. Mechveliani wrote: > > In many situations, GHC reports first what namely is the type > disagreement between *.hs and *.hs-boot. We can't look for differences between Reduce.hs-boot and Reduce.hs until we have typechecked Reduce.hs, and we can't do that until we have compiled Split.hs. Thanks Ian