September 2013 - ghc-devs

Dynamic libraries on Mac
by Kazu Yamamoto 09 Sep '13

09 Sep '13

Hi, I built GHC head today (with d61c3ac186c94021c851f7a2a6d20631e35fc1ba reverted). While I'm supporting GHC head for "doctest" on Mac, I found the following problems relating to dynamic linking: (1) Every ".dylib" installed with GHC head refers to itself in its build directory. E.g. % otool -L libHSbase-4.7.0.0-ghc7.7.20130909.dylib | grep base libHSbase-4.7.0.0-ghc7.7.20130909.dylib: /Users/kazu/work/ghc/libraries/base/dist-install/build/libHSbase-4.7.0.0-ghc7.7.20130909.dylib (compatibility version 0.0.0, current version 0.0.0) (2) Some ".dylib" installed with GHC head refers to other libraries in their build directories. E.g. % otool -L libHSvector-0.9.1-ghc7.7.20130909.dylib | grep /Users /Users/kazu/work/ghc/libraries/vector/dist-install/build/libHSvector-0.9.1-ghc7.7.20130909.dylib (compatibility version 0.0.0, current version 0.0.0) /Users/kazu/work/ghc/libraries/primitive/dist-install/build/libHSprimitive-0.4.0.1-ghc7.7.20130909.dylib (compatibility version 0.0.0, current version 0.0.0) (3) All user installed libraries by cabal-install refer to other libraries in their build directories. E.g. % otool -L libHSghc-paths-0.1.0.9-ghc7.7.20130909.dylib| grep Users /Users/kazu/Library/Haskell/ghc-7.7.20130909/lib/ghc-paths-0.1.0.9/lib/libHSghc-paths-0.1.0.9-ghc7.7.20130909.dylib (compatibility version 0.0.0, current version 0.0.0) /Users/kazu/work/ghc/libraries/base/dist-install/build/libHSbase-4.7.0.0-ghc7.7.20130909.dylib (compatibility version 0.0.0, current version 0.0.0) /Users/kazu/work/ghc/libraries/integer-gmp/dist-install/build/libHSinteger-gmp-0.5.1.0-ghc7.7.20130909.dylib (compatibility version 0.0.0, current version 0.0.0) /Users/kazu/work/ghc/libraries/ghc-prim/dist-install/build/libHSghc-prim-0.3.1.0-ghc7.7.20130909.dylib (compatibility version 0.0.0, current version 0.0.0) This means that programs complied GHC head do not work if I execute "make clean" in the GHC build directory. --Kazu

1 0

Testsuite run dynamic and not
by Edward Z. Yang 08 Sep '13

08 Sep '13

Hey folks, I'm writing a test for #5435 but I don't really know how to structure it properly. I have a C file and an HS file, and I'd like to run the test twice: once dynamic (so the C should be compiled with -fPIC) and once not. Furthermore, I'd like both ways to run when doing 'make fast' (unless dynamic libraries are not available). How do I spell this? The easy thing is to list the test twice in all.T but this seems wrong. Edward

2 1

熟悉办公事务的处理技巧
by 干立雨 08 Sep '13

08 Sep '13

1 0

Haddock fails during validation because "GHC/Types.hs is not loaded"
by David Luposchainsky 06 Sep '13

06 Sep '13

I've run into an issue with Haddock that prevents me from validating further. The last 100 lines of the build output: http://lpaste.net/92627 The file it claims not to have loaded exists, and so do many others like "GHC.IntWord64" that Haddock doesn't seem to have a problem with in line 88. I've tried running "sh validate" from scratch again, but unfortunately that didn't work either. Searching online for similar problems shows other people had this in the past (with different modules), but no solution is mentioned. Has anyone run into a similar problem recently and could help me out with this? David

1 0

ghc.haskell.org down! EOM
by Edward Z. Yang 05 Sep '13

05 Sep '13

2 2

Making sure Cabal-1.18.0.1 makes it into GHC 7.8
by Johan Tibell 05 Sep '13

05 Sep '13

Hi, We plan to make a bugfix release of Cabal-1.18 timed such that GHC 7.8 ships with that version. What's the cut-off date for new package versions for the 7.8 release? -- Johan

1 0

A bug of multicore IO manager
by Kazu Yamamoto 05 Sep '13

05 Sep '13

Hi, As I said before, I started running HTTP server using Mio in the real world. Unfortunately, the daemon is not stable. After one day or so, the server cannot accept any HTTP requests. No error messages from the server. The server is alive. To terminate the server (running in a "screen" terminal), single Ctrl-c is not enough. Typing Ctrl-c again terminates the server. After several tests, I'm getting convinced that this occurs only when +RTS -N<x> is specified (where <x> >= 2). The server runs well if +RTS -N<x> is not specified. My question: if the program complied with GHC needs double Ctrl-c to terminate, what is the situation of the program? P.S. It seems to me that the server also is leaking space. The server is getting fatter gradually. --Kazu

5 9

Re: [GHC] #7684: cgrun071 segfaults
by Muhaimin Ahsan 05 Sep '13

05 Sep '13

Here's the dumped asm: http://ghc.haskell.org/trac/ghc/attachment/ticket/7684/cgrun071.S Muhaimin Ahsan On Sep 5, 2013, at 12:06 PM, "GHC" <ghc-devs(a)haskell.org> wrote: > #7684: cgrun071 segfaults > ----------------------------------+---------------------------------- > Reporter: tibbe | Owner: leroux > Type: bug | Status: new > Priority: normal | Milestone: 7.8.1 > Component: Compiler | Version: 7.7 > Resolution: | Keywords: > Operating System: MacOS X | Architecture: x86_64 (amd64) > Type of failure: Runtime crash | Difficulty: Unknown > Test Case: cgrun071 | Blocked By: > Blocking: | Related Tickets: > ----------------------------------+---------------------------------- > > Comment (by tibbe): > > I'm confused. The test isn't compiled with -msse42 and thus the popcnt > instruction should never be omitted (check the output assembly to make > sure) so it seems more likely that the failure has to do with narrowing. > > -- > Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7684#comment:20> > GHC <http://www.haskell.org/ghc/> > The Glasgow Haskell Compiler

2 1

Re: [GHC] #7684: cgrun071 segfaults
by Johan Tibell 05 Sep '13

05 Sep '13

I don't think we should. We should either call the C based fallback implementation in the ghc-prim package or the popcnt instruction. The Haskell implementation in the test is a toy that should only be used to validate that the primop computes the right result. If the instruction is being incorrectly used when it's not available we should fix that. On Thu, Sep 5, 2013 at 9:47 AM, Muhaimin Ahsan <leroux(a)fezrev.com> wrote: > I'm asking if we should call it in the real implementation of the PrimOp. This isn't a problem across all platforms; it's specific to apple-gcc42, I believe based on yesterday's findings. I'll continue working on it later today. Also, I'm extremely new to GHC internals (this is the second bug I'm tackling), so I may be viewing things the wrong and would appreciate pointers. > > Muhaimin Ahsan > > On Sep 5, 2013, at 9:09 AM, Johan Tibell <johan.tibell(a)gmail.com> wrote: > >> On Thu, Sep 5, 2013 at 12:20 AM, GHC <ghc-devs(a)haskell.org> wrote: >>> Should we switch to calling the "slower" popCount for this certain case? >>> https://github.com/ghc/testsuite/blob/master/tests/codeGen/should_run/cgrun… >>> {{{ >>> slowPopcnt :: Word -> Word >>> slowPopcnt x = count' (bitSize x) x 0 >>> where >>> count' 0 _ !acc = acc >>> count' n x acc = count' (n-1) (x `shiftR` 1) >>> (acc + if x .&. 1 == 1 then 1 else 0) >>> }}} >> >> I've not been following this closely so apologies if I've >> misunderstood the issue. >> >> Are you asking if we should call slowPopcnt in the test in more >> circumstances or if we should call it in the real implementation of >> the primop? The primop already has a fallback if the popcnt >> instruction isn't available (it uses a table-based implementation). >> >> _______________________________________________ >> ghc-devs mailing list >> ghc-devs(a)haskell.org >> http://www.haskell.org/mailman/listinfo/ghc-devs >

1 0

Re: [GHC] #7684: cgrun071 segfaults
by Johan Tibell 05 Sep '13

05 Sep '13

On Thu, Sep 5, 2013 at 12:20 AM, GHC <ghc-devs(a)haskell.org> wrote: > Should we switch to calling the "slower" popCount for this certain case? > https://github.com/ghc/testsuite/blob/master/tests/codeGen/should_run/cgrun… > {{{ > slowPopcnt :: Word -> Word > slowPopcnt x = count' (bitSize x) x 0 > where > count' 0 _ !acc = acc > count' n x acc = count' (n-1) (x `shiftR` 1) > (acc + if x .&. 1 == 1 then 1 else 0) > }}} I've not been following this closely so apologies if I've misunderstood the issue. Are you asking if we should call slowPopcnt in the test in more circumstances or if we should call it in the real implementation of the primop? The primop already has a fallback if the popcnt instruction isn't available (it uses a table-based implementation).

1 0