- Glasgow-haskell-users

RE: adding package
by Simon Marlow 10 Apr '02

10 Apr '02

> At 2002-04-10 01:42, Serge D. Mechveliani wrote: > > >I am not a system user, have not right to modify it. > >Please, what is the regular way out? > > Installing a GHC package modifies the GHC installation. You > need to ask > an administrator to do it, or else install your own private GHC and > modify that. You can also have a private package configuration file, which you can use by saying '-package-conf <file>' on the GHC command line, and '-f <file>' to ghc-pkg to add/remove packages from it. Packages in user-defined package configuration file override those in the system configuration file. Cheers, Simon

1 0

Re: adding package
by Ashley Yakeley 10 Apr '02

10 Apr '02

At 2002-04-10 01:42, Serge D. Mechveliani wrote: >I am not a system user, have not right to modify it. >Please, what is the regular way out? Installing a GHC package modifies the GHC installation. You need to ask an administrator to do it, or else install your own private GHC and modify that. -- Ashley Yakeley, Seattle WA

1 0

adding package
by Serge D. Mechveliani 10 Apr '02

10 Apr '02

Dear ghc (5.02.2), For the fist time you are installed on our Linux machine to the system area. And I discover two points. 1. You are in Debian-Linux distribution! Hence, it is easy to install GHC as regular, without fighting with library versions etc., by asking administrator to intall a Debian package. So, we'll wait for 5.02.3,... to appear in Debian-Linux distribution. 2. As you have come to the system area, my application cannot install. Makefile creates the package docon and commands ghc-pkg -a ... "you don't have permission to modify the package configuration file make: *** [init] Error 1 " Something like a package configuration is visible at /usr/lib/ghc-5.02.2/package.conf, Does my `ghc-pkg -a ...' try to modify this file? I am not a system user, have not right to modify it. Please, what is the regular way out? Maybe, this package.conf should be installed indifferent place (in what way?). How does the user add a package? Thank you in advance for the explanation. ----------------- Serge Mechveliani mechvel(a)botik.ru

1 0

RE: GHCi and -O [was: Re: ANNOUNCE: GHC 5.02.3 released]
by Simon Marlow 10 Apr '02

10 Apr '02

> This made me think about using *.o-files in GHCi generated w/ 'ghc > -O2'. My GHCi (currently 5.00.2) states: > > --- snip --- > warning: -O conflicts with --interactive; -O turned off. > --- snap --- > > if I pass -O2 to ghci. > > Additionally, I recall some core-dumps or having ghci sometimes report > missing symbols if using some modules compiled w/ optimization. > > So, is GHCi supposed to work w/ optimized modules after all? Sure, GHCi is supposed to be able to load optimised object code just as well as non-optimised object code. If it doesn't, this is a bug. Cheers, Simon

2 1

RE: Fundep/Existential Types in 5.03
by Ashley Yakeley 10 Apr '02

10 Apr '02

At 2002-04-09 20:02, I wrote: >Does anyone even know of a workaround? Given this, find an implementation >of 'f' that retrieves the contents of its 'D' argument: > > class C a b | a -> b > > data D a = forall b. (C a b) => MkD b > > f :: (C a b) => D a -> b > -- f (MkD b) = b won't compile > >It's very annoying if it can't be done. Oh, I suppose I can always do this: data D a b = MkD b ...so perhaps in all fairness it's not quite so annoying. -- Ashley Yakeley, Seattle WA

1 0

RE: Fundep/Existential Types in 5.03
by Ashley Yakeley 10 Apr '02

10 Apr '02

At 2002-04-08 04:14, Simon Peyton-Jones wrote: >I don't know how to make existentials "know" about functional >dependencies. Existentials are not the only things that don't "know" about functional dependencies. This for instance does not compile: class C a b | a -> b g :: (C a b,C a b') => b -> b' g x = x I submit that it should, even if it's bad style to write the type of 'g' like that. This may seem a pointless case, given that one can easily rewrite the type to tell GHC what it can't figure out for itself (that b and b' are the same), but I suspect that it's the same principle as the existential datatype case below, where there doesn't appear to be a workaround. > In the type system that GHC implements, your >example fails, and I don't see any meaningful way to make it >succeed. But maybe someone else does. Does anyone even know of a workaround? Given this, find an implementation of 'f' that retrieves the contents of its 'D' argument: class C a b | a -> b data D a = forall b. (C a b) => MkD b f :: (C a b) => D a -> b -- f (MkD b) = b won't compile It's very annoying if it can't be done. -- Ashley Yakeley, Seattle WA

1 0

ANNOUNCE: GHC 5.02.3 released
by Simon Marlow 10 Apr '02

10 Apr '02

The (Interactive) Glasgow Haskell Compiler -- version 5.02.3 ============================================================== We are pleased to announce a new patchlevel release of the Glasgow Haskell Compiler (GHC), version 5.02.3. The source distribution is freely available via the World-Wide Web, under a BSD-style license. See below for download details. Pre-built packages for Linux, FreeBSD, Solaris and Win32 are also available (or will appear shortly). Haskell is a standard lazy functional programming language; the current language version is Haskell 98, agreed in December 1998. GHC is a state-of-the-art programming suite for Haskell. Included is an optimising compiler generating good code for a variety of platforms, together with an interactive system for convenient, quick development. The distribution includes space and time profiling facilities, a large collection of libraries, and support for various language extensions, including concurrency, exceptions, and foreign language interfaces (C, C++, whatever). A wide variety of Haskell related resources (tutorials, libraries, specifications, documentation, compilers, interpreters, references, contact information, links to research groups) are available from the Haskell home page at http://www.haskell.org/ GHC's Web page lives at http://www.haskell.org/ghc/ What's new in 5.02.3 ====================== Some important bugfixes: - now works with gcc 3.x - works with newer glibc releases on Linux - loading parsers generated by Happy with the -ag flags into GHCi now works - fix for excessive recompilation when using --make - tryTakeMVar now works - fix some problems with the dynamic linker when loading C libraries into GHCi (using Gtk+HS from GHCi should now work). and various other minor fixes. NOTE: object files created by this vesrion of GHC may be incompatible with object files created by older versions of GHC, so be sure to recompile any pre-compiled libraries you may have lying around. How to get it =============== The easy way is to go to the WWW page, which should be self-explanatory: http://www.haskell.org/ghc/ We supply binary builds in the native package format for various flavours of Linux and BSD, and in InstallShield form for Windows folks. Everybody else gets a .tar.gz which can be installed where you want. Once you have the distribution, please follow the pointers in the README file to find all of the documentation about this release. On-line GHC-related resources =============================== Relevant URLs on the World-Wide Web: GHC home page http://www.haskell.org/ghc/ Haskell home page http://www.haskell.org/ comp.lang.functional FAQ http://www.cs.nott.ac.uk/~gmh/faq.html System requirements ===================== To compile programs with GHC, you need a machine with 64+MB memory, GNU C and perl. This release is known to work on the following platforms: * i386-unknown-{linux,freebsd,mingw32} * sparc-sun-solaris2 * alpha-dec-osf3 Ports to the following platforms should be relatively easy (for a wunderhacker), but haven't been tested due to lack of time/hardware: * hppa1.1-hp-hpux{9,10} * i386-unknown-solaris2 * mips-sgi-irix{5,6} * {rs6000,powerpc}-ibm-aix The builder's guide included in distribution gives a complete run-down of what ports work; an on-line version can be found at http://www.haskell.org/ghc/docs/latest/building/building-guide.html Mailing lists =============== We run mailing lists for GHC users and bug reports; to subscribe, use the web interfaces at http://www.haskell.org/mailman/listinfo/glasgow-haskell-users http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs There are several other haskell and ghc-related mailing lists on www.haskell.org; for the full list, see http://www.haskell.org/mailman/listinfo/ Please report bugs using our SourceForge page at http://sourceforge.net/projects/ghc/ or send them to glasgow-haskell-bugs(a)haskell.org. GHC users hang out on glasgow-haskell-users(a)haskell.org. Bleeding edge CVS users party on cvs-ghc(a)haskell.org.

6 5

RE: ghc 5.02.2 FFI question
by Simon Marlow 09 Apr '02

09 Apr '02

Hi Bernie, Thanks for a very well researched bug report. I've looked into it, and there is indeed a space leak (well, two in fact). The reason I didn't notice before was because I was looking at the heap stats rather than using top; one of the leaks was with memory from malloc(), and the other was memory obtained from our own arena allocator. > My motivation is debugging. I was trying to implement a > similar interface > to the HugsInternals one. Ah yes, I'd forgotten you were working on this. > If I compile the program so that it does not call C > (by modifying the definition of main so that it uses callLeak') > then this is what top gives over 30 second samples: > > SIZE RSS TIME > -------------- > 1692 1692 0:00 > 1704 1704 0:30 > 1720 1720 1:00 > 1736 1736 1:30 > 1752 1752 2:00 > 1764 1764 2:30 > > The process is still growing, but very slowly. I wouldn't expect > it to grow at all, but I don't know the memory management of > ghc well enough to be sure. Ok, the first space leak was in the stable pointer table, as you noticed. It wasn't a bug as such, but we were waiting for a GC before freeing entries in the stable pointer table (due to interactions with StableNames), and in the case of your example it was a *long* time between generation 1 GCs, which meant the stable pointer table grows in the meantime. This one is easily fixed. The other leak was in our hash table implementation - I changed it to use our arena allocator recently (for speed), and in the process removed some of the recycling of hash table cells that was happening, so if entries are repeatedly added and removed from the table then it would grow without bound until the whole table is freed. Creating/freeing a stable pointer does exactly this, with the result that the stable pointer hash table was leaking. I've changed it back to the old malloc/free version (that'll teach me to fiddle with working code ;-). The reason the pure Haskell version was leaking less is perhaps because major garbage collections were happening more often, but I didn't look into this. Once again, thanks for a great report. Cheers, Simon

1 0

RE: ghc 5.02.2 FFI question
by Simon Marlow 09 Apr '02

09 Apr '02

Hi Bernie, > I've been playing with the FFI in GHC 5.02.2 > > I'm not sure if I'm using it correctly because I get a space leak > in my program. I just tried your example and it seems to run in constant space here with 5.02.2. The code looks fine - this isn't something we really envisaged people doing with the RTS API, but there's no real problem with it except that of course you don't get the benefits of type checking. I'm sure you have very good reasons for building Haskell expressions in C :-) Can you give us any more clues? What were the symptoms when you ran it? Cheers, Simon

2 1

RE: GHC 5.02.3, SuSE rpms
by Simon Marlow 09 Apr '02

09 Apr '02

> I've uploaded SuSE 7.3 rpms for the patchlevel release of the Glasgow > Haskell Compiler (GHC), version 5.02.3. Thanks; slurped & added to the download page. Cheers, Simon

1 0