- Glasgow-haskell-users

Why does --make only allow one module?
by George Russell 24 Apr '01

24 Apr '01

ghc --make would be wonderful for UniForM, which at the moment consists of a large selection of libraries, were it not for the restriction that ghc --make insists on only having one module as an argument. Er why? At this rate I shall be driven to writing an otherwise useless module which imports all the modules in each directory, since ghc --make does indeed look a lot faster than compiling each module individually. (In particular, we win big here, I think because the NFS system is very inefficient and makes reading all the .hi files very expensive.) Actually I'd like to just give ghc --make a list of ALL the source files and let it figure out the dependencies. This could also include object files (compiled from C) which were to be linked in, for example.

1 0

-optCrts-M28m
by S.D.Mechveliani 24 Apr '01

24 Apr '01

Could ghc-5.00 explain, please, some changes in the compiler and RTS options? 1. -hi-diffs worked in ghc-4.08 and now does not. 2. I applied -optCrts-G3 -optCrts-F1.5 -optCrts-M28m to compile certain large module on 32Mb RAM machine. Now, what to apply for this with ghc-5.00 ? Thank you in advance for the help. ----------------- Serge Mechveliani mechvel(a)botik.ru

1 0

make maintainer-clean (was: Re: The (Interactive) Glasgow Haskell Compiler -- version 5.00)
by Michael Weber 23 Apr '01

23 Apr '01

On Mon, Apr 23, 2001 at 15:00:08 +0100, Simon Marlow wrote: > > Mon, 16 Apr 2001 00:15:39 +1000, Manuel M. T. Chakravarty > > <chak(a)cse.unsw.edu.au> pisze: > > > > > The source tar ball misses the configure scripts (it has the > > > `configure.in's, but the source tar ball should be > > > autoconf'ed, shouldn't it?) > > > > BTW, IMHO 'make maintainer-clean' should not delete configure scripts > > (comments say that it doesn't, but it does). > > I dunno. 'make distclean' leaves the configure scripts in place, 'make > maintainer-clean' is supposed to get you back to a pristine tree as it > would be if it were just checked out from CVS. erm, not that I say, sticking to the standards is mandatory, but... ;) $ info standards 'Managing Releases' 'Makefile Conventions' 'Standard Targets' [...] The reason we say "almost everything" is that running the command `make maintainer-clean' should not delete `configure' even if `configure' can be remade using a rule in the Makefile. More generally, `make maintainer-clean' should not delete anything that needs to exist in order to run `configure' and then begin to build the program. This is the only exception; `maintainer-clean' should delete everything else that can be rebuilt. [...] There should be an additional target, e.g. "make cvs-clean", or similar. Cheers, Michael -- /~\ ASCII ribbon | "I would rather spend 10 hours reading someone else's \ / campaign | source code than 10 minutes listening to Musak waiting X against | for technical support which isn't." / \ HTML mail | -- Dr. Greg Wettstein, Roger Maris Cancer Center

1 0

Re: New InstallShield: Free At Last
by John.Velman＠HSC.com 23 Apr '01

23 Apr '01

This sounds good. One question: Can this live gracefully with an already complete Cygwin installation? I.e., will I automatically end up with two versions of bash, mv, cp, and so on, and can they live together? Thanks, John Velman Reuben Thomas <rrt(a)dcs.gla.ac.uk>@haskell.org on 04/23/2001 03:41:12 AM Sent by: glasgow-haskell-users-admin(a)haskell.org To: GHC users mailing list <glasgow-haskell-users(a)haskell.org> cc: Subject: New InstallShield: Free At Last I've uploaded a new InstallShield for GHC 4.08.2 for Windows which includes *all* the programs required to use and even rebuild GHC from source [GHC developers should note that it doesn't include everything needed to build from CVS; see the most recent 5.00 docs in CVS for details]. This means that there's no longer any need to install Cygwin. Since GHC needs bash to work, and building it requires mv, rm and cp, plus many other basic utilities, you get a reasonably nice minimal command-line environment anyway; I've added ls to the mix for extra comfort. Although the InstallShield is now 20M, overall there's far less to download, and now GHC should break far less often. Another implication of this development is that the Windows version of 5.00 should now happen sooner rather than later. One caveat: the installation instructions on haskell.org are now somewhat out of date. I'll try to correct that soonish. -- http://sc3d.org/rrt/ | Si hoc legere scis nimium eruditionis habes. _______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users(a)haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users

1 0

RE: how to implement timeouts for IO operations?
by Simon Marlow 23 Apr '01

23 Apr '01

The correct way to implement timeout in GHC 5.00 is below. This should really be in a library somewhere. This implementation works for GHC's current "blocking" semantics for throwTo, but if we change the semantics of throwTo to match the asynchronous exceptions paper (http://www.haskell.org/~simonmar/papers/async.ps.gz) then a different implementation of timeout will be needed. Cheers, Simon ------------------------------------------------------------------------ ----- import Dynamic import Unique import Exception import Concurrent data TimeOut = TimeOut Unique timeOutTc = mkTyCon "TimeOut"; instance Typeable TimeOut where { typeOf _ = mkAppTy timeOutTc [] } timeout secs on_timeout action = do { parent <- myThreadId; i <- newUnique; block (do timeout <- forkIO (timeout_thread secs parent i); Exception.catchDyn ( unblock ( do { result <- action; killThread timeout; return result; } ) ) ( \exception -> case exception of TimeOut u | u == i -> unblock on_timeout other -> do { killThread timeout; throwDyn exception } ) ) } timeout_thread secs parent i = do { threadDelay (secs * 1000000); throwTo parent (DynException (toDyn (TimeOut i))) }

2 1

An attempt at foldr/build fusion for zip
by Matt Harden 23 Apr '01

23 Apr '01

Hi, I think I may have found a way to get zip & friends to fuse with *both* of their input lists. I am not a heavy ghc hacker, though, so I may be missing something important that makes this unworkable. I have no idea what kind of code this would actually end up creating. Anyway, here's my attempt; it ties in with the current foldr2 scheme. I eagerly any await comments or questions, especially from the foldr/build gurus. -- foldr2_both.lhs: Attempting to fuse zip with both input lists. We seem to be forced to use a recursive datatype to accomplish this. We're using newtype, so there should be no overhead from construction/deconstruction of this type, right? \begin{code} newtype BuildZip a b = BZ ((a -> (BuildZip a b) -> b) -> b) bz :: (forall b. (a->b->b)->b->b) -> b -> BuildZip a b bz f n = f (\x xs -> BZ (\c -> c x xs)) (BZ (\_ -> n)) {-# INLINE bz #-} foldr2_both :: (a->b->c->c) -> BuildZip a c -> BuildZip b c -> c foldr2_both k (BZ xs) (BZ ys) = xs (\x xs' -> ys (\y ys' -> k x y (foldr2_both k xs' ys') ) ) {-# RULES "foldr2/both" forall k n (f::forall z.(a->z->z)->z->z) (g::forall z.(b->z->z)->z->z) . foldr2 k n (build f) (build g) = foldr2_both k (bz f n) (bz g n) #-} \end{code} -- END foldr2_both.lhs Best regards, Matt Harden

3 2

RE: The (Interactive) Glasgow Haskell Compiler -- version 5.00
by Simon Marlow 23 Apr '01

23 Apr '01

> Mon, 16 Apr 2001 00:15:39 +1000, Manuel M. T. Chakravarty > <chak(a)cse.unsw.edu.au> pisze: > > > The source tar ball misses the configure scripts (it has the > > `configure.in's, but the source tar ball should be > > autoconf'ed, shouldn't it?) > > BTW, IMHO 'make maintainer-clean' should not delete configure scripts > (comments say that it doesn't, but it does). I dunno. 'make distclean' leaves the configure scripts in place, 'make maintainer-clean' is supposed to get you back to a pristine tree as it would be if it were just checked out from CVS. Cheers, Simon

1 0

RE: Stack trace on error (and packages)
by Simon Marlow 23 Apr '01

23 Apr '01

> Also, less importantly, how do I generate packages? I have a bunch of > .o files (modules) all compiled using -package-name and -c, > but I can't > find the correct ghc flag to link them into a library (.a/Linux). You use the usual 'ar' tool for making a .a library, something like: $ ar cru libfoo.a a.o b.o c.o To make this into a package, see the section on packages in the user's guide: http://www.haskell.org/ghc/docs/5.00/set/packages.html Cheers, Simon

1 0

New InstallShield: Free At Last
by Reuben Thomas 23 Apr '01

23 Apr '01

I've uploaded a new InstallShield for GHC 4.08.2 for Windows which includes *all* the programs required to use and even rebuild GHC from source [GHC developers should note that it doesn't include everything needed to build from CVS; see the most recent 5.00 docs in CVS for details]. This means that there's no longer any need to install Cygwin. Since GHC needs bash to work, and building it requires mv, rm and cp, plus many other basic utilities, you get a reasonably nice minimal command-line environment anyway; I've added ls to the mix for extra comfort. Although the InstallShield is now 20M, overall there's far less to download, and now GHC should break far less often. Another implication of this development is that the Windows version of 5.00 should now happen sooner rather than later. One caveat: the installation instructions on haskell.org are now somewhat out of date. I'll try to correct that soonish. -- http://sc3d.org/rrt/ | Si hoc legere scis nimium eruditionis habes.

1 0

GHC 5.0 - InstallShield for Windows?
by Christian Lescher 20 Apr '01

20 Apr '01

When do you expect an InstallShield version of GHC 5.0 for Windows? Christian

2 1