Re: overlapping instances in 7.10.1

2015-06-16 Thread Sergei Meshveliani
On Tue, 2015-06-16 at 00:03 +0400, Sergei Meshveliani wrote: [..] 2) At least ghc-7.8.3 and ghc-7.10.1 do the same in this example. May be, you can change this example a bit to make ghc-7.8.3 and ghc-7.10.1 diverse, so that my example bug becomes visible? (they diverse on

RE: overlapping instances in 7.10.1

2015-06-15 Thread Sergei Meshveliani
On Mon, 2015-06-15 at 09:29 +, Simon Peyton Jones wrote: | This is why I think that ghc-7.8.3 treats the OI notion in a more | natural way than ghc-7.10.1 does. | May be, ghc-7.10.1 has a better technical tool for this, but ghc- | 7.8.3 corresponds to a natural notion of OI. |

RE: overlapping instances in 7.10.1

2015-06-15 Thread Sergei Meshveliani
On Mon, 2015-06-15 at 09:29 +, Simon Peyton Jones wrote: | This is why I think that ghc-7.8.3 treats the OI notion in a more | natural way than ghc-7.10.1 does. | May be, ghc-7.10.1 has a better technical tool for this, but ghc- | 7.8.3 corresponds to a natural notion of OI. | |

RE: overlapping instances in 7.10.1

2015-06-14 Thread Sergei Meshveliani
On Sat, 2015-06-13 at 23:07 +, Simon Peyton Jones wrote: (I reformat this text a bit) [..] I finally found time to look into what is happening here. It’s a good illustration of the dangers of overlapping instances. Here is the setup: * Module ResEuc_ * Contains instance

RE: overlapping instances in 7.10.1

2015-06-13 Thread Simon Peyton Jones
Sergei I finally found time to look into what is happening here. It's a good illustration of the dangers of overlapping instances. Here is the setup: * Module ResEuc_ * Contains instance (...)= Ring (ResidueE a) (A) instance (..., Ring

Re: overlapping instances in 7.10.1

2015-05-20 Thread Sergei Meshveliani
Now, I delete `OverlappingInstances' from docon.cabal and also from the $doconCpOpt options to call ghc on demotest/Main.hs. And now the test runs correct in ghc-7.10.1 ! Only it is 1.5 times slower than in ghc-7.8.2. So: a) The test intends overlapping instances, b) instance

Re: overlapping instances in 7.10.1

2015-05-20 Thread Sumit Sahrawat, Maths Computing, IIT (BHU)
[Adding ghc-d...@haskell.org to cc] On 21 May 2015 at 02:12, Sergei Meshveliani mech...@botik.ru wrote: Now, I delete `OverlappingInstances' from docon.cabal and also from the $doconCpOpt options to call ghc on demotest/Main.hs. And now the test runs correct in ghc-7.10.1 ! Only