Hi,
Am Donnerstag, den 05.01.2012, 16:21 -0500 schrieb Brandon Allbery:
> In any case, I am starting to approach the point of "so will Debian
> allow ghc to remain compatible with non-Linux?", since so far I'm
> getting the distinct impression that solutions that work on Linux are
> all that mat
* Simon Marlow:
> One potential problem is that some Linux distributions really don't
> like it if you bundle modified versions of external libraries.
> However, I just don't see a way around this: GMP is inherently broken
> because it has global state, so if you want two use it from two
> clients
On Thu, Jan 5, 2012 at 16:15, Joachim Breitner wrote:
> Am Donnerstag, den 05.01.2012, 14:14 -0500 schrieb Brandon Allbery:
> > On Thu, Jan 5, 2012 at 13:53, Joachim Breitner
> > wrote:
> > (But I am really wondering why the linker cannot do something
> > that has
> > the
Hi,
Am Donnerstag, den 05.01.2012, 14:14 -0500 schrieb Brandon Allbery:
> On Thu, Jan 5, 2012 at 13:53, Joachim Breitner
> wrote:
> (But I am really wondering why the linker cannot do something
> that has
> the same effect as objcopy --prefix-symbols, but on the fly.)
>
>
On 5 jan. 2012, at 14:08, Sean Leather wrote:
> We're currently looking into so-called expression holes in GHC -- like the
> type goals of Agda -- and we've run into a problem of understanding.
>
> We have defined an expression, call it __ for now, for which we want to find
> the type after a
On Thu, Jan 5, 2012 at 13:53, Joachim Breitner wrote:
> (But I am really wondering why the linker cannot do something that has
> the same effect as objcopy --prefix-symbols, but on the fly.)
>
Some of them can; notably the binutils ld, which comes from the same source
as and uses the same mechan
Hi,
Am Mittwoch, den 04.01.2012, 22:00 +0100 schrieb Joachim Breitner:
> And would dlopen make a difference? RTLD_LOCAL sounds interesting...
it seems that some OSs provide a RTLD_PRIVATE which does exactly what we
need: http://uw714doc.sco.com/en/man/html.3C/dlopen.3C.html
But unfortunately, gl
Hi,
Am Mittwoch, den 04.01.2012, 20:50 +0100 schrieb Axel Simon:
> On 04.01.2012, at 17:50, Joachim Breitner wrote:
> > BTW, Is there a way to get the linker to create two independent copies
> > of a library in one program space? Maybe if it is compiled as PIC
> > (random name dropping here)? That
On 04/01/2012 21:00, Joachim Breitner wrote:
Would linking gmp statically help? E.g. is there a way to link libgmp
into the RTS that the symbols are not visible to the linker any more?
It has slightly more licensing complications - GMP is LGPL, which
requires that the user of a program that in
On Thu, Jan 5, 2012 at 09:37, Simon Marlow wrote:
> On 04/01/2012 21:00, Joachim Breitner wrote:
>
>> And would dlopen make a difference? RTLD_LOCAL sounds interesting...
>
>
> Maybe, I haven't looked into that.
>
Beware of platform issues; IIRC RTLD_LOCAL doesn't do what one expects on
Alphas.
On 04/01/2012 21:00, Joachim Breitner wrote:
Hi,
Am Mittwoch, den 04.01.2012, 20:50 +0100 schrieb Axel Simon:
On 04.01.2012, at 17:50, Joachim Breitner wrote:
BTW, Is there a way to get the linker to create two independent copies
of a library in one program space? Maybe if it is compiled as PI
We're currently looking into so-called expression holes in GHC -- like the
type goals of Agda -- and we've run into a problem of understanding.
We have defined an expression, call it __ for now, for which we want to
find the type after a program is type-checked. In tcExpr (TcExpr.lhs), we
can see
12 matches
Mail list logo
