hs-boot types in 6.8.2

2008-01-07 Thread Serge D. Mechveliani
Dear GHC developers, This is about possibile bug in ghc-6.8.2 related to types in hs-boot. I have a project with module import loop, in which the module Split imports the source of Reduce. Now, I changed the type of the function Reduce.evaluate_c and forgotten to change it in

Re: hs-boot types in 6.8.2

2008-01-07 Thread Ian Lynagh
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

Re: hs-boot types in 6.8.2

2008-01-07 Thread Serge D. Mechveliani
On Mon, Jan 07, 2008 at 04:37:16PM +, Ian Lynagh wrote: 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