February 2002 - Glasgow-haskell-users

RE: strip effect
by Julian Seward (Intl Vendor) 25 Feb '02

25 Feb '02

Removes all low-level debugging information, which means that gdb et al can't navigate round your program. Apart from that, no effects (AFAIK). Is there a special reason why you ask? J | -----Original Message----- | From: Andre W B Furtado [mailto:awfurtado@uol.com.br] | Sent: Saturday, February 23, 2002 4:39 AM | To: glasgow-haskell-users(a)haskell.org | Subject: strip effect | | | What is the effect of using the "strip" command with the | files generated by | ghc (besides reducing the file size)? | | -- Andre | | _______________________________________________ | Glasgow-haskell-users mailing list | Glasgow-haskell-users(a)haskell.org | http://www.haskell.org/mailman/listinfo/glasgow-haskell-users |

1 0

IArray
by David Feuer 25 Feb '02

25 Feb '02

What is IArray? This seems rather mysterious to me. David Feuer

2 2

core language external representation
by Hal Daume III 24 Feb '02

24 Feb '02

I know it's possible to get ghc to emit core at multiple points, but is it possible to get it to read in core? For instance, if a file is named blah.hco, perhaps parse it and interpret it in the Core language format? If this isn't currently possible, is there a plan to make it so? - Hal -- Hal Daume III "Computer science is no more about computers | hdaume(a)isi.edu than astronomy is about telescopes." -Dijkstra | www.isi.edu/~hdaume

1 0

Re: Congrats to Mandrake
by Marcin 'Qrczak' Kowalczyk 24 Feb '02

24 Feb '02

Tue, 19 Feb 2002 18:55:55 +0000, Jim Farrand <jim(a)farrand.net> pisze: >> > both hugs and ghc in their Linux distro *as standard*. This could >> > significantly help Haskell takeup amongst the unwashed masses. :-) >> Well, same applies for FreeBSD. > > And Debian. And PLD <http://www.pld.org.pl/>. -- __("< Marcin Kowalczyk * qrczak(a)knm.org.pl http://qrczak.ids.net.pl/ \__/ ^^ QRCZAK

1 0

Building ghc-5.00.2 from .hc files
by Pawel Kolodziej 23 Feb '02

23 Feb '02

Hi. I have tried do build ghc-5.00.2 from .hc files. I run ditrib/hc-build, but it fails: ------------------------------------------------------------------------ ===fptools== Finished making `all' in cbits ... PWD = /tmp/ghc-5.00.2/hslibs/lang ------------------------------------------------------------------------ make[1]: *** No rule to make target `Addr.o', needed by `libHSlang.a'. Stop. make: *** [all] Error 1 make: Leaving directory `/tmp/ghc-5.00.2/hslibs' My box is ix86 running Linux (but I could not use binary version of ghc). Could you tell me what I should do to compile it from .hc files ? -- Pawel Kolodziej -- pawelk(a)pld.org.pl

1 0

strip effect
by Andre W B Furtado 22 Feb '02

22 Feb '02

What is the effect of using the "strip" command with the files generated by ghc (besides reducing the file size)? -- Andre

1 0

Does GHC simplify RULES?
by Josef Svenningsson 21 Feb '02

21 Feb '02

Hi! A question about the RULES pragma. Suppose I have the following RULES pragma: {-# RULES "foo" forall a . foo a = (\x -> bar x) a #-} Ok, it's stupid but I have examples where this is motivated, trust me. Now, it seems that GHC simplifies the rule because what I get when compiling it with -ddump-rules is the following rule: "foo" __forall {@ t_a2UD a :: t_a2UD} Test.foo @ t_a2UD a = Test.bar @ t_a2UD a ; It's \beta-reduced! Argh! Why is that? So why is this a problem? Maybe I should give some explanation. The reason is that I want to put a type signature on the (\x -> bar x) and make it more general (i.e. forcing GHC to insert a type lambda after a lambda). I then have other rules which match on higher ranked types. But in order for these rules to apply the type lambda must be in the right place. One other thing I tried in order to get the type lambdas on the right place was to use rank 1 types (is that the correct name?): xyzzy :: (a -> a) -> (forall b. b -> b) but GHC simplified the type and just put the forall quantified (and hence the type lambda) on the top level. Argh again! Is there a way around this? /Josef

1 0

RE: i368-pc-os2-emx port
by Simon Marlow 21 Feb '02

21 Feb '02

> On Wed, 20 Feb 2002, Simon Marlow wrote: > > > I don't know enough about ODIN to be able to usefully comment, apart > > from to say that extra layers of translation generally add extra > > layers of complication (we've had no end of trouble with > cygwin/mingw > > on Win32), and in this case you'd be going through 2 layers (mingw + > > ODIN) which could well be more trouble than it's worth. > > ODIN will (might) allow me to run the Win32 GHC executable under OS/2 > (ODIN implements the win32 api and comes with a PE loader) > (ODIN is Wine > for OS/2). I thought this might be useful to help bootstrap the > compalation of GHC under OS/2, because I'd wind up with a > Haskell complier > (although one that produces windows executables). Maybe I'll > hold off on > such an approach until (or if) it become clear that such a > venture would > be useful. Interesting - you might be able to bootstrap this way. The idea would be to run the Win32 compiler under ODIN but persuade it to compile via C using your EMX gcc - hence generating EMX object files. This is good because you can start by just compiling up the RTS and libraries, and test that the compiler is producing working binaries before going on to bootstrap a native compiler. I would go straight for a "registerised" port, since you're on x86 and have gcc. Some minor hacking will likely be required to the mangler (ghc/driver/mangler/ghc-asm.lprl) and one or two bits of the RTS. Cheers, Simon

1 0

RE: Congrats to Mandrake
by Simon Marlow 20 Feb '02

20 Feb '02

> Jim Farrand jim(a)farrand.net wrote: > >> > both hugs and ghc in their Linux distro *as standard*. This could > >> > significantly help Haskell takeup amongst the unwashed > masses. :-) > >> Well, same applies for FreeBSD. > > > And Debian. > > So what I mean is, can we have links to more binaries than > just Red Hat? > Debian, Mandrake, FreeBSD. (I know these's SuSE) > > It may just seem like clutter on the download page but it > would help users and > as much as anything else it shows some apreciation for the > packagers who track > the releases so well. Oops! Looks like I added the FreeBSD packages to my local copy of the web pages and forgot to copy it up to the web site. Sorry about that. I'll add links to the Mandrake packages while I'm there. Could someone who is Debian-compliant tell me where I should be pointing for Debian packages? Cheers, Simon

3 2

setting args from inside ghci
by Hal Daume III 20 Feb '02

20 Feb '02

I would like to be able to set the arguments my program will get with getArgs inside the ghci shell. Something like: Main> :setargs -f myfile -whatever-options-i-want Main> main (now, when main has l <- getArgs, l = ["-f", "myfile", "-whatever-options-i-want"]) Any change this will make it in? - Hal -- Hal Daume III "Computer science is no more about computers | hdaume(a)isi.edu than astronomy is about telescopes." -Dijkstra | www.isi.edu/~hdaume

1 0