January 2016 - ghc-tickets

[GHC] #11093: T9579 fails on OS X
by GHC 18 Jan '16

18 Jan '16

#11093: T9579 fails on OS X -------------------------------------+------------------------------------- Reporter: bgamari | Owner: Type: bug | Status: new Priority: normal | Milestone: 8.0.1 Component: Compiler | Version: 7.10.2 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- As pointed out in ticket:9579#comment:19 the testcase T9579 fails on OS X, {{{ Actual stdout output differs from expected: --- ./T9579_outofheap_rtsall.stdout.normalised 2015-06-16 14:06:15.000000000 -0400 +++ ./T9579_outofheap_rtsall.run.stdout.normalised 2015-06-16 14:06:15.000000000 -0400 @@ -1,4 +1,4 @@ T9579_outofheap_rtsall: Heap exhausted; -T9579_outofheap_rtsall: Current maximum heap size is NUM bytes (1 MB). +T9579_outofheap_rtsall: Current maximum heap size is 1048576 bytes (1 MB). T9579_outofheap_rtsall: Use `+RTS -M<size>' to increase it. 251 \ No newline at end of file *** unexpected failure for T9579_outofheap_rtsall(normal) }}} The issue appears to be a difference in `sed`'s behavior on OS X. The number in the error message is supposed to be replaced by `NUM` with `sed -e 's/[0-9]* bytes/NUM bytes/g'`. Perhaps someone with access to an OS X box could shed some light on this? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11093> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

[GHC] #11300: outofmem RTS testcase fails on ARM
by GHC 18 Jan '16

18 Jan '16

#11300: outofmem RTS testcase fails on ARM --------------------------------+---------------------------------- Reporter: bgamari | Owner: bgamari Type: bug | Status: new Priority: normal | Milestone: 8.0.1 Component: Compiler | Version: 7.10.3 Keywords: | Operating System: Linux Architecture: arm | Type of failure: Runtime crash Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: --------------------------------+---------------------------------- The `outofmem` RTS testcase fails on ARM, {{{ =====> outofmem(normal) 1 of 1 [0, 0, 0] cd . && $MAKE -s --no-print-directory outofmem </dev/null > outofmem.run.stdout 2> outofmem.run.stderr Actual stdout output differs from expected: --- ./outofmem.stdout.normalised 2015-12-27 17:21:08.718240403 +0100 +++ ./outofmem.run.stdout.normalised 2015-12-27 17:21:08.718240403 +0100 @@ -1 +1 @@ -exit(251) \ No newline at end of file +exit(1) \ No newline at end of file *** unexpected failure for outofmem(normal) }}} In particular, {{{ $ make outofmem make[1]: Entering directory '/mnt/ext/exp/ghc/testsuite/tests/rts' '/mnt/ext/exp/ghc/inplace/test spaces/ghc-stage2' -fforce-recomp -dcore- lint -dcmm-lint -dno-debug-output -no-user-package-db -rtsopts -fno-warn- tabs -fno-warn-missed-specialisations -v0 --make -fforce-recomp outofmem.hs -o outofmem make[1]: Leaving directory '/mnt/ext/exp/ghc/testsuite/tests/rts' outofmem: out of memory (requested 1074790400 bytes) exit(1) }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11300> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 14

[GHC] #11430: ApiAnnotations: work SourceText in for all integer literals
by GHC 18 Jan '16

18 Jan '16

#11430: ApiAnnotations: work SourceText in for all integer literals -------------------------------------+------------------------------------- Reporter: alanz | Owner: alanz Type: bug | Status: new Priority: normal | Milestone: 8.0.1 Component: Compiler | Version: 8.1 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: Incorrect API Unknown/Multiple | annotation Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- Certain syntactic elements have integers in them, such as fixity specifications, SPECIALISE pragmas and so on. The lexer will accept mult-radix literals, with arbitrary leading zeros in these. Bring in a SourceText field to each affected AST element to capture the original literal text for use with API Annotations. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11430> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 5

[GHC] #11434: Drop bzip2 in favor of xz
by GHC 18 Jan '16

18 Jan '16

#11434: Drop bzip2 in favor of xz -------------------------------------+------------------------------------- Reporter: bgamari | Owner: Type: task | Status: new Priority: normal | Milestone: 8.0.1 Component: Build System | Version: 8.0.1-rc1 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- In January 2016 it was proposed that we stop providing bzip2 tarballs, instead only offering xz-compressed tarballs. This ticket is to track this process. Ben Gamari brought this proposal to the [https://mail.haskell.org/pipermail/glasgow-haskell- users/2016-January/026123.html|mailing lists] where there was no objection. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11434> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

Re: [GHC] #11445: Turn on SplitSections by default
by GHC 18 Jan '16

18 Jan '16

#11445: Turn on SplitSections by default -------------------------------------+------------------------------------- Reporter: ezyang | Owner: Type: task | Status: new Priority: normal | Milestone: 8.2.1 Component: Build System | Version: 8.0.1-rc1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: 11285 Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by refold): The gold linker only supports ELF, so it can't be used on OS X and Windows. GNU ld didn't support `--gc-sections` for PE/COFF [https://sourceware.org/git/gitweb.cgi?p=binutils- gdb.git;h=0f088b2a9417b1d4ed597849ffa671eba25f5051 until recently], and this feature [https://ghc.haskell.org/trac/ghc/ticket/8405#comment:20 still appears to be buggy] according to olsner. So we'll need to fix those bugs in ld to make `-split-sections` work on Windows. According to the links you provided, OS X ld doesn't support `--gc- sections` at all, but maybe the `-dead_strip` option could be used. So on ELF platforms `-split-sections` should be ready to replace `-split- objs`; further testing and investigation is necessary on Windows and OS X. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11445#comment:2> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #11445: Turn on SplitSections by default
by GHC 18 Jan '16

18 Jan '16

#11445: Turn on SplitSections by default -------------------------------------+------------------------------------- Reporter: ezyang | Owner: Type: task | Status: new Priority: normal | Milestone: 8.2.1 Component: Build System | Version: 8.0.1-rc1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: 11285 Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Description changed by ezyang: Old description: > This is a general tracking bug for what is blocking us from turning on > `SplitSections` by default, implemented in #8405. Fixing this, and > mandating use of the gold linker, will help solve #11285 (split objects > make linking slow), and will make ghc-split unnecessary, mooting #9832. > > I encountered some misinformation while talking to people about this > feature, regarding whether or not this feature only supported by Apple- > style linkers (i.e. on Mac OS X)? On IRC I heard a claim made that > `--split-sections` was only supported by Mac OS X. However, olsner > pointed out that `-split-sections` on GHC was OUR reimplementation of the > feature, and likely does not work on Mac OS X. > https://github.com/snowleopard/shaking-up- > ghc/issues/153#issuecomment-171078800 A later comment mentioned that > > So, can we turn on this feature by default? Does it subsume split-objs? > Does it work on all the tier-1 platforms? It would be nice if bgamari, > olsner and co could weigh in here. Thanks! New description: This is a general tracking bug for what is blocking us from turning on `SplitSections` by default, implemented in #8405. Fixing this, and mandating use of the gold linker, will help solve #11285 (split objects make linking slow), and will make ghc-split unnecessary, mooting #9832. I encountered some misinformation while talking to people about this feature, regarding whether or not this feature only supported by Apple- style linkers (i.e. on Mac OS X)? On IRC I heard a claim made that `--split-sections` was only supported by Mac OS X. However, olsner pointed out that `-split-sections` on GHC was OUR reimplementation of the feature, and likely does not work on Mac OS X. https://github.com/snowleopard /shaking-up-ghc/issues/153#issuecomment-171078800 A later comment mentioned that So, can we turn on this feature by default? Does it subsume split-objs? Does it work on all the tier-1 platforms? It would be nice if bgamari, olsner and co could weigh in here. Thanks! Also, there are two different ways we can do this. One is we can turn it on by default in the GHC build system, so all the base libraries and GHC are built with it (but when you invoke ghc, it does NOT have split sections); the other is to have GHC always run split sections, so user code also compiles with it. -- -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11445#comment:1> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #11447: Turn on SplitSections by default
by GHC 18 Jan '16

18 Jan '16

#11447: Turn on SplitSections by default -------------------------------------+------------------------------------- Reporter: ezyang | Owner: Type: task | Status: closed Priority: normal | Milestone: 8.2.1 Component: Build System | Version: 8.0.1-rc1 Resolution: duplicate | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: 11285 Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by ezyang): * status: new => closed * resolution: => duplicate -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11447#comment:1> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #11446: Turn on SplitSections by default
by GHC 18 Jan '16

18 Jan '16

#11446: Turn on SplitSections by default -------------------------------------+------------------------------------- Reporter: ezyang | Owner: Type: task | Status: closed Priority: normal | Milestone: 8.2.1 Component: Build System | Version: 8.0.1-rc1 Resolution: duplicate | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: 11285 Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by ezyang): * status: new => closed * resolution: => duplicate -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11446#comment:1> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #11402: Add Peano numbers
by GHC 17 Jan '16

17 Jan '16

#11402: Add Peano numbers -------------------------------------+------------------------------------- Reporter: strake888 | Owner: strake888 Type: feature | Status: new request | Priority: normal | Milestone: Component: | Version: 7.10.3 libraries/base | Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- I have seen these redefined many times now. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11402> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

[GHC] #11365: Worse performance with -O
by GHC 17 Jan '16

17 Jan '16

#11365: Worse performance with -O -------------------------------------+------------------------------------- Reporter: | Owner: facundo.dominguez | Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: Keywords: optimization | Operating System: Unknown/Multiple performance concurrency | Architecture: | Type of failure: Runtime Unknown/Multiple | performance bug Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- The running time of the following program worsens when compiled with {{{-O}}}, and worsens more when compiled with ghc-7.10.2. {{{ #!haskell -- /opt/ghc-7.8.3/bin/ghc --make -threaded -fforce-recomp test.hs -- time ./test: 3 seconds -- -- /opt/ghc-7.8.3/bin/ghc --make -threaded -O -fforce-recomp test.hs -- time ./test: 11 seconds -- -- /opt/ghc-7.10.2/bin/ghc --make -threaded -fforce-recomp test.hs -- time ./test: 5 seconds -- -- /opt/ghc-7.10.2/bin/ghc --make -threaded -O -fforce-recomp test.hs -- time ./test: 13 seconds -- import Control.Concurrent import Control.Monad import Data.List main :: IO () main = do let x = foldl' (+) 0 [1 .. 100000000] mv <- newEmptyMVar replicateM_ 4 $ forkIO $ putMVar mv $! x nums <- replicateM 4 $ takeMVar mv print (nums :: [Integer]) }}} The following variant which doesn't share {{{x}}} improves with {{{-O}}} for ghc-7.10.2, but ghc-7.8.3 still produces a faster program. {{{ #!haskell -- /opt/ghc-7.8.3/bin/ghc --make -threaded -fforce-recomp test.hs -- time ./test: 10 seconds -- -- /opt/ghc-7.8.3/bin/ghc --make -threaded -O -fforce-recomp test.hs -- time ./test: 11 seconds -- -- /opt/ghc-7.10.2/bin/ghc --make -threaded -fforce-recomp test.hs -- time ./test: 18 seconds -- -- /opt/ghc-7.10.2/bin/ghc --make -threaded -O -fforce-recomp test.hs -- time ./test: 15 seconds -- import Control.Concurrent import Control.Monad import Data.IORef import Data.List main :: IO () main = do mv <- newEmptyMVar ref <- newIORef 0 replicateM_ 4 $ forkIO $ do i <- readIORef ref putMVar mv $! foldl' (+) i [1 .. 100000000] nums <- replicateM 4 $ takeMVar mv print (nums :: [Integer]) }}} Some related discussion [https://mail.haskell.org/pipermail/ghc- devs/2016-January/010904.html here]. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11365> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4