RE: libgmp.so.2 desperately needed

1999-12-07 Thread Simon Marlow
> Simon Marlow <[EMAIL PROTECTED]> wrote, > > > for future distributions, I'll switch back to supplying our own > > statically-linked libgmp.a for Linux, I think. > > This is not required for package-manager managed binaries > for systems that have a package containing `libgmp.so' (like > RedHat

Re: libgmp.so.2 desperately needed

1999-12-07 Thread Sven Panne
"Manuel M. T. Chakravarty" wrote: > [...] > In the case of SuSE, IMHO, the Right Thing is a bug report to SuSE. Done. Cheers, Sven -- Sven PanneTel.: +49/89/2178-2235 LMU, Institut fuer Informatik FAX : +49/89/2178-2211 LFE Programm

RE: libgmp.so.2 desperately needed

1999-12-07 Thread Manuel M. T. Chakravarty
Simon Marlow <[EMAIL PROTECTED]> wrote, > > Simon Marlow <[EMAIL PROTECTED]> wrote, > > > > > for future distributions, I'll switch back to supplying our own > > > statically-linked libgmp.a for Linux, I think. > > > > This is not required for package-manager managed binaries > > for systems tha

RE: can't mix deriving Eq with unboxed strict fields

1999-12-07 Thread Simon Peyton-Jones
Good point. I've committed a fix. Thanks for the report. Edison strikes again! Simon | -Original Message- | From: Chris Okasaki [mailto:[EMAIL PROTECTED]] | Sent: 06 December 1999 20:33 | To: [EMAIL PROTECTED] | Subject: can't mix deriving Eq with unboxed strict fields | | | Given