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

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
of cross-module specialisation. An overloaded function specialised at, say, [Int] in one module could not be re-used in another in case the instances changed. Simon | -Original Message- | From: ghc-tickets [mailto:ghc-tickets-boun...@haskell.org] On Behalf Of | Sergei

Re: HEADS UP: Final call for 7.10.2 is soon

2015-06-03 Thread Sergei Meshveliani
Please, consider my recent bug report overlapping instances in 7.10.1 (see my resent email to this list). -- Sergei On Tue, 2015-06-02 at 16:31 -0500, Austin Seipp wrote: Hi *, I've just finished merging all the latest patches for GHC 7.10.2 into the STABLE branch. All in all, we've

overlapping instances in 7.10.1

2015-05-23 Thread Sergei Meshveliani
Dear GHC developers, This request overrides my previous one of 7.10.1-err... (it is simpler and more precise). The archive http://www.botik.ru/pub/local/Mechveliani/ghcQuest/7.10.1-errReport-may23-2015.zip presents a question about ghc-7.10.1. Make it, please, with ghc-7.10.1 by

Re: error in 7.10.1 ?

2015-05-23 Thread Sergei Meshveliani
Now, I am investigating this, trying to provide a simpler report. Most probably this is the effect of a wrong instance overlap resolving. Regards, -- Sergei On Fri, 2015-05-22 at 15:26 +0400, Sergei Meshveliani wrote: Dear GHC developers, The confirmation token letter from the bug

Re: OI in 7.10.1

2015-05-21 Thread Sergei Meshveliani
, Sergei Meshveliani wrote: Please, what is wrong here? --- module OI where class Foo a where foo :: a - Bool instance Foo Bool where foo _ = True data C a = C a instance {-# OVERLAPPING #-} Foo a = Foo (C a) where foo (C

OI in 7.10.1

2015-05-21 Thread Sergei Meshveliani
Please, what is wrong here? --- module OI where class Foo a where foo :: a - Bool instance Foo Bool where foo _ = True data C a = C a instance {-# OVERLAPPING #-} Foo a = Foo (C a) where foo (C a) = foo a instance {-# OVERLAPPING #-}

overlapping instances 7.10.1

2015-05-21 Thread Sergei Meshveliani
People, I wrote recently about finding places to set {-# OVERLAPPING #-} when porting an application from 7.8.2 to 7.10.1. I am doing this for porting docon-2.12 from 7.8.2 to 7.10.1. And ghc-7.10.1 indeed helped me to find several places to set this pragma (instead of using the total key

Re: making 7.10.1

2015-05-20 Thread Sergei Meshveliani
On Wed, 2015-05-20 at 08:33 -0400, Ben Gamari wrote: Sergei Meshveliani mech...@botik.ru writes: People, I am trying to `make' ghc-7.10.1 from source by ghc-7.8.3 on Debian Linux. I command ./configure --prefix=/home/mechvel/haskell/ghc/7.10.1/inst0 make make.log

overlapping instances in 7.10.1

2015-05-20 Thread Sergei Meshveliani
Dear GHC developers, Please, test ghc-7.10.1 on making docon-2.12 http://www.botik.ru/pub/local/Mechveliani/docon/ and running itsdemotest/Main (see install.txt). docon-2.12 has been tested under ghc-7.8.2, and it has extensions: ... OverlappingInstances in

Re: overlapping instances in 7.10.1

2015-05-20 Thread Sergei Meshveliani
pairs. Regards, -- Sergei On Wed, 2015-05-20 at 23:52 +0400, Sergei Meshveliani wrote: Dear GHC developers, Please, test ghc-7.10.1 on making docon-2.12 http://www.botik.ru/pub/local/Mechveliani/docon/ and running itsdemotest/Main (see install.txt). docon-2.12 has

making 7.10.1

2015-05-19 Thread Sergei Meshveliani
People, I am trying to `make' ghc-7.10.1 from source by ghc-7.8.3 on Debian Linux. I command ./configure --prefix=/home/mechvel/haskell/ghc/7.10.1/inst0 make make.log The former command seems successful: ... #define HAVE_EVENTFD 1 #define CC_SUPPORTS_TLS 1 configure:

testing 7.8.2

2014-04-23 Thread Sergei Meshveliani
Dear GHC developers, I have tested ghc-7.8.2-src by making it by ghc-7.6.3 under Debian Linux. Then I have `made' my DoCon-2.12 application by ghc-7.8.2. It looks all right. For any occasion, here are some test results. Comparing it to ghc-7.4.1 shows the following. 1) The default

installing random-1.0.1.1

2014-04-22 Thread Sergei Meshveliani
People, can you, please, explain me how to make the `random' package visible for GHC ? I have * installed haskell-platform-2013.2.0.0, * `made' ghc-7.8.2 from source by ghc-7.6.3, and run make configure under ghc-7.8.2 for my DoCon program. docon.cabal has

7.8.1-candidate fail

2014-02-06 Thread Sergei Meshveliani
Dear GHC team, I am trying to testghc-7.8.20140130-src.tar.bz2 I make it from source with ghc-7.6.3 on Debian Linux (64 bit). ./configure looks all right. And `make' reports after 40 minutes: --- ... ... inplace/bin/ghc-stage1