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 o

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-15 Thread Simon Peyton Jones
| 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. | | Can GHC return to a natural OI notion? | Or am I missing somethin

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 > i

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 (Res

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 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 it is 1.5

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 overlaps