integer-gmp-1.0.0.0 ?

Previous Topic Next Topic
 
classic Classic list List threaded Threaded
2 messages Options
Reply | Threaded
Open this post in threaded view
|

integer-gmp-1.0.0.0 ?

Richard Eisenberg-2
Hi devs,

I've just hit on a strange bug, and I don't know where to start looking.

In my branch where I'm building support for dependent types (github.com/goldfirere/ghc.git; branch: nokinds.... but you don't need to look there) I'm going through the testsuite and picking off bugs one at a time. I'm very puzzled by the output I'm getting from typecheck/should_compile/tc231, which does a -ddump-tc. At the end, I see

...
Dependent modules: []
Dependent packages: [base-4.8.0.0, ghc-prim-0.3.1.0,
                     integer-gmp-1.0.0.0]


Notice the version number of integer-gmp. I haven't touched anything near there! And, my integer-gmp.cabal file says 0.5.1.0, which is what I'd expect. Sure enough, when I use the inplace `ghc-pkg list`, I see that I have integer-gmp-1.0.0.0 installed, along with all the other boot packages with their correct version numbers.

Any hints here? I can surely work around this, but it's very strange!

Thanks!
Richard


Reply | Threaded
Open this post in threaded view
|

integer-gmp-1.0.0.0 ?

Luite Stegeman
That's the version number of /libraries/integer-gmp2, which is
installed by default now instead of the old integer-gmp package (it
still uses the integer-gmp package name).

luite

On Sat, Jan 31, 2015 at 5:58 PM, Richard Eisenberg <eir at cis.upenn.edu> wrote:

> Hi devs,
>
> I've just hit on a strange bug, and I don't know where to start looking.
>
> In my branch where I'm building support for dependent types (github.com/goldfirere/ghc.git; branch: nokinds.... but you don't need to look there) I'm going through the testsuite and picking off bugs one at a time. I'm very puzzled by the output I'm getting from typecheck/should_compile/tc231, which does a -ddump-tc. At the end, I see
>
> ...
> Dependent modules: []
> Dependent packages: [base-4.8.0.0, ghc-prim-0.3.1.0,
>                      integer-gmp-1.0.0.0]
>
>
> Notice the version number of integer-gmp. I haven't touched anything near there! And, my integer-gmp.cabal file says 0.5.1.0, which is what I'd expect. Sure enough, when I use the inplace `ghc-pkg list`, I see that I have integer-gmp-1.0.0.0 installed, along with all the other boot packages with their correct version numbers.
>
> Any hints here? I can surely work around this, but it's very strange!
>
> Thanks!
> Richard
>
> _______________________________________________
> ghc-devs mailing list
> ghc-devs at haskell.org
> http://www.haskell.org/mailman/listinfo/ghc-devs