Re: loadInterfaceForModule

2014-11-06 Thread Gergely Risko
Hi Edward, Thank you for your mail. On 2014-11-05 18:37 (Wednesday), "Edward Z. Yang" writes: > Hello Gergely, > > You added a function loadInterfaceForModule which has the exact same > type as loadModuleInterface, except when debugging is on it has an extra > check to ensure you don't try to lo

Re: 7.8.3 release - please speak up soon.

2014-06-07 Thread Gergely Risko
On Thu, 5 Jun 2014 22:27:30 +0300, Sergei Trofimovich writes: > Can you write what problems are to ship those libraries in it's current form? > Do you have some linking problems or something? > > Ticket does not describe any actual problems. Sorry for the two days of delay, I'm on Zurihac. I mo

Re: 7.8.3 release - please speak up soon.

2014-06-05 Thread Gergely Risko
Hi, > So here's the deal: if you don't speak up now, you'll have to wait > until 7.8.4 (sometime in the late summer I imagine) to get your word > in. Is there anything anyone absolutely must have that I've missed? Probably I'm very late, and the Nix guys can hopefully workaround this on their own

Re: Loading package integer-gmp ... : can't load .so/.DLL for: libgmp.so (libgmp.so: cannot open shared object file: No such file or directory)

2014-05-11 Thread Gergely Risko
On Sun, 11 May 2014 21:42:45 +0200, Mateusz Kowalczyk writes: > Are there any downsides to doing this except slightly bigger binary size? There are license issues if you want to distribute the resulting stuff. Have to ask your lawyers about lgpl + gmp + shipping binary only stuff. On the techni

Re: Loading package integer-gmp ... : can't load .so/.DLL for: libgmp.so (libgmp.so: cannot open shared object file: No such file or directory)

2014-05-11 Thread Gergely Risko
On Sun, 11 May 2014 21:00:16 +0200, Mateusz Kowalczyk writes: > Do you know what exact setup I need for --with-intree-gmp? Nothing special is needed, actually it's autoselected if no gmp is found during build. (So e.g. on NixOS, where libraries are not just randomly around everywhere in /usr/l

Re: Loading package integer-gmp ... : can't load .so/.DLL for: libgmp.so (libgmp.so: cannot open shared object file: No such file or directory)

2014-05-11 Thread Gergely Risko
>From your build log: checking for __gmpz_powm in -lgmp... yes checking for __gmpz_powm_sec in -lgmp... yes ... checking gmp.h usability... yes checking gmp.h presence... yes checking for gmp.h... yes Searching for qnkyas42nf0knps3va30y29y3zvmgy2v in your build log, it's also seems so that the bui

Re: Loading package integer-gmp ... : can't load .so/.DLL for: libgmp.so (libgmp.so: cannot open shared object file: No such file or directory)

2014-05-11 Thread Gergely Risko
Hi, Interesting. You're already using the libraries/integer-gmp_CONFIGURE_OPTS magic that I wanted to advise. I think you should record the configure and build output, so it's easy to look around in it afterwards (and don't use -j for make, because then the output is mixed). I would look for gm

Re: GHC status report

2014-04-30 Thread Gergely Risko
Hi, On Wed, 30 Apr 2014 17:45:35 +0100, Simon Marlow writes: > Dynamic linking has been a huge headache in GHC, and it's not clear > that it's an overall improvement compared with the static linker. Now > that 7.8 is out of the way, it's time to have a conversation about > whether we want to do

Re: Annotations

2013-11-06 Thread Gergely Risko
[sorry if someone receives this twice, apparently gmane has some issues with crossposting] [this is also my reply to Ekmett's comment] On Wed, 6 Nov 2013 12:06:04 +, Simon Peyton-Jones writes: > But this is true for ANY language extension. If a TH library exports a > function that generate

Re: Template Haskell and stage-1

2013-11-06 Thread Gergely Risko
I also have a related request, if someone comes around with great build system experience. I usually hack on GHC with BUILD_DOCS = NO, and it always annoys me that the xhtml and co libraries are built even then, without ever needing those, making my build slower. Gergely On Wed, 6 Nov 2013 13:43

Re: Annotations

2013-11-06 Thread Gergely Risko
On Wed, 6 Nov 2013 10:55:09 +, Simon Peyton-Jones writes: > I’ve just noticed that there is no GHC language extension for > annotations > > http://www.haskell.org/ghc/docs/latest/html/users_guide/extending-ghc.html#annotation- > pragmas > > That feels like an oversight. Yes, they are in a pr

Re: Annotations

2013-11-06 Thread Gergely Risko
On Wed, 6 Nov 2013 10:55:09 +, Simon Peyton-Jones writes: > I’m inclined to add a language extension “Annotations”. > > · Without it {-# ANN … #-} pragmas are ignored as comments > > · With it, they are treated as annotations > > Do you agree? I generally agree that this should be a langua

Re: TemplateHaskell usage of Annotations

2013-10-30 Thread Gergely Risko
ll.org/trac/ghc/ticket/8397 > > On #1480 I know that you are desperate to get it into 7.8.1. Austin, if > Gergely wants I am ok with committing #1480 as-is, and fixing it properly > subsequently. > > Simon > > | -Original Message- > | From: Gergely Risko [ma

Re: Why do we put GMP allocations on GHC heaps?

2013-10-23 Thread Gergely Risko
On Wed, 23 Oct 2013 11:49:00 -0500, Austin Seipp writes: > $ ghc foo.hs > $ ghc -integer-type=gmp foo.hs > $ ghc -integer-type=openssl foo.hs > $ ghc -integer-type=simple foo.hs Well, I didn't think of this. This would indeed be very cool, unfortunately it's quite hard if I understood you corre

Re: Why do we put GMP allocations on GHC heaps?

2013-10-23 Thread Gergely Risko
On Wed, 23 Oct 2013 10:07:27 -0400, Edward Kmett writes: > Before that Dan Peebles took a stab at rehooking the GMP allocator > hook for me to introspect on the stack and switch to malloc when > called from the constant cache, so we could just link to the host MPFR > implementation. That _worked_

Re: Why do we put GMP allocations on GHC heaps?

2013-10-23 Thread Gergely Risko
On Tue, 22 Oct 2013 20:26:53 -0400, Edward Kmett writes: > Not suggesting we actually switch, but there is one strong 'why': You > can't link Haskell code with any library that uses GMP internally > internally without switching to using integer-simple. I've been trying > with very limited success

Re: Why do we put GMP allocations on GHC heaps?

2013-10-23 Thread Gergely Risko
On Wed, 23 Oct 2013 08:57:55 +, Simon Peyton-Jones writes: > Gergely > > Edward has it right. Functional programs allocate a lot of > intermediate stuff. ((a+b)*c-d) allocates two intermediate Integers > and discards them pretty soon afterwards. GHC's code generator and > garbage collecto

Re: Why do we put GMP allocations on GHC heaps?

2013-10-23 Thread Gergely Risko
On Tue, 22 Oct 2013 21:29:48 -0400, Carter Schonwald writes: > At some point I'd actually like to explore trying to build a > satisfactory "integer-fancy" in Haskell, but there's a few technical > challenges I'll be trying to do first before there'll be an > engineering story for building a sati

Re: Why do we put GMP allocations on GHC heaps?

2013-10-23 Thread Gergely Risko
On Tue, 22 Oct 2013 16:36:45 -0700, "Edward Z. Yang" writes: > Hey Gergeley, > >> (obviously we would have to call mpz_free here and there, but that >> seems doable). > > Actually, this is precisely the problem. When is a GMP integer freed? > It can have pointers to it from objects on the heap,

Why do we put GMP allocations on GHC heaps?

2013-10-22 Thread Gergely Risko
Dear GHC gurus, I've been looking into how GHC uses GMP (with the hidden agenda of taking the work of replacing it with something that is BSD license compatible and so can be linked in and shipped statically by default). I think I more or less understand how GMP memory is managed and how the GC w

Re: TemplateHaskell usage of Annotations

2013-10-22 Thread Gergely Risko
Hi, Here is a status report on how things are going at the moment on the TemplateHaskell+Annotations issue. Further discussion happened with Austin and Simon: - http://ghc.haskell.org/trac/ghc/ticket/8397, - http://ghc.haskell.org/trac/ghc/wiki/TemplateHaskell/Annotations SPJ asked for movin

TemplateHaskell usage of Annotations

2013-10-09 Thread Gergely Risko
s taken in the current patches, so we can discuss alternative ideas, problems and questions openly. http://ghc.haskell.org/trac/ghc/wiki/TemplateHaskell/Annotations Therefore, if you're interested please use this thread, the bug tracker or the wiki to comment on these issues! Thanks