May 2008 - Glasgow-haskell-users

large binary footprint ?
by HP Wei 28 May '08

28 May '08

machine: Sun Sparc, with SunOS 5.10 ghc version --- 6.8.2 [ solaris-binaries downloaded from ghc site ] The Question: I compiled the code: putStr "Hello World!\n" ghc -o hello -L../lib hello.hs where ../lib contains the libgmp.so The resulting binary code size is 3.9 Mbytes I had the impression that it should be of the order of 500 Kbytes. How can I reach that number ? Thanks HP

9 20

static linking
by Peter Gammie 28 May '08

28 May '08

Hello, I am having a bit of trouble static linking my program using GHC 6.8.2. In brief: "rt" uses "pthread", but -lrt is the final thing on the command line passed to the linker, and so the pthread symbols are not resolved. Manually moving -lpthread to the end of the collect2 command line does the trick. The question is how to do this using ghc. This is on Debian, using the 6.8.2-5 from unstable. I can provide the command lines if that is helpful. Note the same setup worked fine under GHC 6.6.1. cheers peter

2 2

Re: GHC rewrite rules pragma
by Don Stewart 27 May '08

27 May '08

jakubuv: > Thanks lot, it works now. Now, I have just a simple question: > > Is there any chance to make rewriting working in ghci ? I think you can actually enable them by putting: {-# OPTIONS -frewrite-rules #-} at the top of the file to be interpreted. Works for me, anyway. -- Don

2 1

ghci Problem
by Dominic Steinitz 26 May '08

26 May '08

I've built ghc and installed it but when I run ghci e.g. the up arrow keys don't work :-( Can someone let me know what I've done wrong and how to fix it? Thanks, Dominic. > dom@lagrange:~/ndp> ghci > GHCi, version 6.9.20080517: http://www.haskell.org/ghc/ :? for help > Loading package ghc-prim ... linking ... done. > Loading package integer ... linking ... done. > Loading package base ... linking ... done. > Prelude> ^[[A

3 6

integer size on NetBSD amd64
by Donn Cave 23 May '08

23 May '08

I have been trying to get ghc working on the NetBSD AMD64 platform, and there seems to be a little problem with the integer size. With minInt and maxInt defined as they are in GHC/Base.lhs, ghc can't compile this file - it cranks away and just gets bigger until all the memory is gone. Base.lhs compiles right away if I reduce the size of minInt and maxInt by several bits - minInt = I# (-0x2000000000000000#) maxInt = I# 0x1FFFFFFFFFFFFFFF# -- minInt = I# (-0x8000000000000000#) -- maxInt = I# 0x7FFFFFFFFFFFFFFF# (... and it goes on to crash in GHC/Num.lhs.) So ... maybe somewhere in there, something isn't configured right for 64 bit integer arithmetic, even though the word size parameters in ghcautoconf.h look right? Anyone have an idea what to look for? The GHC version is 6.6.1. The .hc donor host is OpenBSD, gcc3 (NetBSD has gcc4.) The include files from NetBSD (DerivedConstants.h, GHCConstants.h, ghcautoconf.h) look fine, I just went back to the OpenBSD build to verify that they weren't changed during the build. The procedure I'm following is `Cross-compiling to produce an unregisterised GHC' http://hackage.haskell.org/trac/ghc/wiki/Building/Porting thanks! Donn Cave, donn(a)avvanta.com

2 1

Re[4]: [Haskell-cafe] Announce: ghc-core, command line pager for reading GHC Core
by Bulat Ziganshin 23 May '08

23 May '08

Hello Duncan, Friday, May 23, 2008, 11:55:57 PM, you wrote: >> > me too. btw, this already present in jhc. inlining doesn't work in any >> > complex case since recursive functions can't be inlined >> >> GHC inlines recursive functions, too, otherwise it could not turn 'foldl' >> and friends into plain machine loops. > As I understand it, if foldl was written in the standard directly way > then ghc would not inline it well, i'm not a True GHC Hacker ;) but i was bitten by this problem in 6.4. i had a lot of SPECIALIZE pragmas in Streams library exactly because INLINE doesn't help. actually, it even does things worser by disabling some other form of optimization, i don't remember which one i have proposal of inlining even recursive functions just for one level of recursion in order to allow to call here specialized version of function. what GHC HQ will say? -- Best regards, Bulat mailto:Bulat.Ziganshin@gmail.com

2 1

Type checker loops with innocent looking associated type synonym
by Stefan Holdermans 22 May '08

22 May '08

I've written this cute ;-) piece of code involving an associated type synonym, {-# OPTIONS_GHC -fglasgow-exts #-} class ZipWithA a where type Elem a :: * zipWithA :: [Elem a] -> a instance ZipWithA [a] where type Elem [a] = a zipWithA xs = xs instance ZipWithA b => ZipWithA ([a] -> b) where type Elem ([a] -> b) = a -> Elem b zipWithA fs = zipWithA . zipWith ($) fs and it behaves as intended: *Main> zipWithA [2, 3] :: [Int] [2,3] *Main> zipWithA [pred, succ] [2, 3] :: [Int] [1,4] *Main> zipWithA [(+), (-)] [2, 3] [5, 7] :: [Int] [7,-4] However, as soon as the overloading cannot be resolved, the type checker loops: *Main> zipWithA [head, last] ["more than", "haskell"] :: String "ml" *Main> zipWithA [head, last] ["more than", "haskell"] <<loops>> Just to be clear, I do not expect GHC to be able to type this last example, I would just have thought it would want to tell me in finite time that it cannot resolve the overloading here. Should I report this a bug? Or is it perhaps already been taken care of in the head? Or am I just plain unreasonable here? :-) Cheers, Stefan

3 3

Re: -optc-O2 considered useful
by Bernd Brassel 20 May '08

20 May '08

I think it would be nice to have some speedy optimizations turned on by default in ghc. Might even be good to win new users. But I also think that much hacking for and around ghc+tool support needs a way to achieve what -O0 does today. So, how about an -O(-1) or flag?

1 0

whence _stub.c ?
by Conal Elliott 20 May '08

20 May '08

what causes ghc to emit a stub.c file? - Conal

3 2

Experiment: ghc-api and --split-objs
by Bertram Felgenhauer 20 May '08

20 May '08

Hi, I've made an experiment compiling ghc-api with --split-objs. To summarize, while this is not worthwhile for the compiler itself, it could be a huge win for plugin libraries. A fairly detailed description can be found here, http://int-e.home.tlink.de/haskell/README.ghc-api-test A tarball with the examples and auxiliary files is at http://int-e.home.tlink.de/haskell/ghc-api-test.tar.bz2 Open questions: - How much work would it to do this within the ghc build? - Maybe users that only need the parser can win as well? Haddock comes to mind here. In any case, this is food for thought, I hope. Enjoy, Bertram

2 1