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
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.
> |
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.
> |
| 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
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
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
[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
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