RE: Can't find interface-file declaration for type constructor or class integer-gmp:GHC.Integer.Type.Integer

2011-08-18 Thread Simon Peyton-Jones
It's hard to know what Ian had in mind, but I'm sure he'll tell us when he gets back from holiday. Meanwhile, yes, it is hard to reconcile * The wish to have multiple implementations of Integer * The wired-in knowledge that GHC has * The desire to have optimising rewrite rules in client libraries

Re: Can't find interface-file declaration for type constructor or class integer-gmp:GHC.Integer.Type.Integer

2011-08-18 Thread Johan Tibell
On Thu, Aug 18, 2011 at 7:32 PM, Daniel Fischer wrote: > On Thursday 18 August 2011, 19:13:45, Johan Tibell wrote: >> On Thu, Aug 18, 2011 at 7:07 PM, Simon Peyton-Jones >> >> wrote: >> > | I shouldn't have to modify PrelNames since I kept GHC.Integer.Type, >> > | no? Or does PrelNames have to co

Re: Can't find interface-file declaration for type constructor or class integer-gmp:GHC.Integer.Type.Integer

2011-08-18 Thread Daniel Fischer
On Thursday 18 August 2011, 19:13:45, Johan Tibell wrote: > On Thu, Aug 18, 2011 at 7:07 PM, Simon Peyton-Jones > > wrote: > > | I shouldn't have to modify PrelNames since I kept GHC.Integer.Type, > > | no? Or does PrelNames have to contain the name of the module that > > | originally defined the

Re: alternative to loadWithLogge

2011-08-18 Thread Judah Jacobson
On Tue, Aug 16, 2011 at 2:25 AM, Kazu Yamamoto wrote: > Hello, > > ghc-mod, IDE-like back-end for Emacs, uses warning related APIs > including loadWithLogger and getWarnings in GHC 7.0.3 API. I found > that they disappeared in GHC 7.2.1 API. What should I use to handle > warnings in GHC 7.2.1 API?

Re: Can't find interface-file declaration for type constructor or class integer-gmp:GHC.Integer.Type.Integer

2011-08-18 Thread Johan Tibell
On Thu, Aug 18, 2011 at 7:07 PM, Simon Peyton-Jones wrote: > | I shouldn't have to modify PrelNames since I kept GHC.Integer.Type, > | no? Or does PrelNames have to contain the name of the module that > | originally defined the type? > > Yes, exactly! This causes some trouble though, as the modul

RE: Can't find interface-file declaration for type constructor or class integer-gmp:GHC.Integer.Type.Integer

2011-08-18 Thread Simon Peyton-Jones
| I shouldn't have to modify PrelNames since I kept GHC.Integer.Type, | no? Or does PrelNames have to contain the name of the module that | originally defined the type? Yes, exactly! Simon ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@

Re: Can't find interface-file declaration for type constructor or class integer-gmp:GHC.Integer.Type.Integer

2011-08-18 Thread Johan Tibell
I shouldn't have to modify PrelNames since I kept GHC.Integer.Type, no? Or does PrelNames have to contain the name of the module that originally defined the type? Looking in the .hi file in question (the one for GHC.Integer.Type) I can see both the export of Integer(..) and the import of Integer(..

RE: Can't find interface-file declaration for type constructor or class integer-gmp:GHC.Integer.Type.Integer

2011-08-18 Thread Simon Peyton-Jones
My guess is that you have not updated compiler/prelude/PrelNames, which contains wired-in knowledge of which modules certain functions and data types live in. Check the ones you've moved! S | -Original Message- | From: glasgow-haskell-users-boun...@haskell.org [mailto:glasgow-haskell-u

Can't find interface-file declaration for type constructor or class integer-gmp:GHC.Integer.Type.Integer

2011-08-18 Thread Johan Tibell
I'm trying to refactor the integer-gmp package to fix the breakage explained in #5384. During the refactoring I * moved GHC.Integer.Type to GHC.Integer.GMP.Type, and * added a new GHC.Integer.Type module that re-exports parts of the interface now exposed by GHC.Integer.GMP.Type The content of GHC