January 2019 - ghc-tickets

[GHC] #15971: Hadrian fails Shake's linter on Windows
by GHC 17 Jan '19

17 Jan '19

#15971: Hadrian fails Shake's linter on Windows -------------------------------------+------------------------------------- Reporter: bgamari | Owner: (none) Type: bug | Status: new Priority: high | Milestone: 8.8.1 Component: Compiler | Version: 8.7 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: -------------------------------------+------------------------------------- While trying to bring up a Hadrian builder on Windows I found the [[https://gitlab.staging.haskell.org/ghc/ghc/-/jobs/440/raw|following]] excerpting: {{{ shakeArgsWith 0.001s 0% Function shake 0.407s 0% Database read 0.001s 0% With database 0.000s 0% Running rules 3065.940s 99% ========================= Pool finished (2932 threads, 4 max) 0.002s 0% Lint checking 1.810s 0% Total 3068.160s 100% Lint checking error - 520 values have changed since being depended upon: Key: _build/stage1/gmp/objs/zero_p.o Old: (Just File {mod=0x6D312A39,size=0x2EA,digest=0xACFF03E6} recomputed,"") New: File {mod=0x7475B8F5,size=0x2EA,digest=0xACFF03E6} Key: _build/stage1/gmp/objs/zero.o Old: (Just File {mod=0x6DA1AAD9,size=0x2F8,digest=0x586B32DC} recomputed,"") New: File {mod=0x74B61957,size=0x2F8,digest=0x586B32DC} Key: _build/stage1/gmp/objs/xor_n.o Old: (Just File {mod=0x6D9D3378,size=0x1DF,digest=0xFBB5353} recomputed,"") New: File {mod=0x74B2AAEC,size=0x1DF,digest=0xFBB5353} }}} It looks like all of the gmp objects were somehow touched during the build, but their contents are unchanged. Strangely, none of these filenames appear elsewhere in the log, so it's unclear when they could have been touched. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/15971> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 14

[GHC] #15736: Testsuite failures from validate --slow
by GHC 17 Jan '19

17 Jan '19

#15736: Testsuite failures from validate --slow -------------------------------------+------------------------------------- Reporter: jrp | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Test Suite | Version: 8.6.1 Keywords: | Operating System: Linux Architecture: x86_64 | Type of failure: Incorrect result (amd64) | at runtime Test Case: | Blocked By: EtaExpandLevPoly T14936 T15349 | T2783 T4334 T7919 haddock.Cabal | haddock.base haddock.compiler | hpc_fork plugin-recomp-change | plugin-recomp-change-prof | recomp007 space_leak_001 | Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- In case it helps, I ran a `./validate --slow` on HEAD on Ubuntu Bionic with 8.6.1. I don't attach much weight to the performance / stat failures as the tests seem to run in parallel. I'll pull out more specific diagnostics, if necessary. `` ==== STAGE 1 TESTS ==== SUMMARY for test run started at Wed Oct 10 20:29:33 2018 BST 0:00:04 spent to go through 2 total tests, which gave rise to 10 test cases, of which 0 were skipped 0 had missing libraries 10 expected passes 0 expected failures 0 caused framework failures 0 caused framework warnings 0 unexpected passes 0 unexpected failures 0 unexpected stat failures ==== STAGE 2 TESTS ==== Unexpected results from: TEST="EtaExpandLevPoly T14936 T15349 T2783 T4334 T7919 haddock.Cabal haddock.base haddock.compiler hpc_fork plugin-recomp-change plugin-recomp- change-prof recomp007 space_leak_001" SUMMARY for test run started at Wed Oct 10 19:31:20 2018 BST 0:58:10 spent to go through 6596 total tests, which gave rise to 29689 test cases, of which 5881 were skipped 256 had missing libraries 23273 expected passes 257 expected failures 0 caused framework failures 0 caused framework warnings 3 unexpected passes 6 unexpected failures 13 unexpected stat failures Unexpected passes: /tmp/ghctest-kyex1v3_/test spaces/rts/T2783.run T2783 [unexpected] (threaded1) /tmp/ghctest-kyex1v3_/test spaces/typecheck/should_run/EtaExpandLevPoly.run EtaExpandLevPoly [unexpected] (profasm) /tmp/ghctest-kyex1v3_/test spaces/typecheck/should_run/EtaExpandLevPoly.run EtaExpandLevPoly [unexpected] (profthreaded) Unexpected failures: /tmp/ghctest-kyex1v3_/test spaces/driver/recomp007/recomp007.run recomp007 [bad stderr] (normal) /tmp/ghctest-kyex1v3_/test spaces/plugins/plugin-recomp-change.run plugin-recomp-change [bad stderr] (normal) /tmp/ghctest-kyex1v3_/test spaces/plugins/plugin-recomp-change- prof.run plugin-recomp-change-prof [bad stderr] (normal) /tmp/ghctest-kyex1v3_/test spaces/rts/T7919.run T7919 [bad exit code] (ghci) /tmp/ghctest-kyex1v3_/test spaces/libraries/hpc/tests/fork/hpc_fork.run hpc_fork [bad heap profile] (profasm) /tmp/ghctest-kyex1v3_/test spaces/libraries/base/tests/T15349.run T15349 [bad exit code] (ghci) Unexpected stat failures: /tmp/ghctest-kyex1v3_/test spaces/perf/haddock/haddock.base.run haddock.base [stat not good enough] (normal) /tmp/ghctest-kyex1v3_/test spaces/perf/haddock/haddock.Cabal.run haddock.Cabal [stat not good enough] (normal) /tmp/ghctest-kyex1v3_/test spaces/perf/haddock/haddock.compiler.run haddock.compiler [stat not good enough] (normal) /tmp/ghctest-kyex1v3_/test spaces/perf/should_run/T14936.run T14936 [stat not good enough] (hpc) /tmp/ghctest-kyex1v3_/test spaces/perf/should_run/T14936.run T14936 [stat not good enough] (profasm) /tmp/ghctest-kyex1v3_/test spaces/perf/space_leaks/space_leak_001.run space_leak_001 [stat too good] (hpc) /tmp/ghctest-kyex1v3_/test spaces/perf/space_leaks/space_leak_001.run space_leak_001 [stat too good] (optasm) /tmp/ghctest-kyex1v3_/test spaces/perf/space_leaks/T4334.run T4334 [stat not good enough] (threaded2) /tmp/ghctest-kyex1v3_/test spaces/perf/space_leaks/space_leak_001.run space_leak_001 [stat too good] (dyn) /tmp/ghctest-kyex1v3_/test spaces/perf/space_leaks/space_leak_001.run space_leak_001 [stat too good] (optllvm) /tmp/ghctest-kyex1v3_/test spaces/perf/should_run/T14936.run T14936 [stat not good enough] (threaded1) /tmp/ghctest-kyex1v3_/test spaces/perf/should_run/T14936.run T14936 [stat not good enough] (threaded2) /tmp/ghctest-kyex1v3_/test spaces/perf/should_run/T14936.run T14936 [stat not good enough] (profthreaded) == Start post-testsuite package check GHC package manager version 8.7.20181010 Timestamp 2018-10-10 18:31:15.21573855 UTC for /home/jrp/Projects/ghc/bindisttest/install dir/lib/ghc-8.7.20181010/package.conf.d/package.cache using cache: /home/jrp/Projects/ghc/bindisttest/install dir/lib/ghc-8.7.20181010/package.conf.d/package.cache db stack: ["/home/jrp/.ghc/x86_64-linux-8.7.20181010/package.conf.d","/home/jrp/Projects/ghc/bindisttest/install dir/lib/ghc-8.7.20181010/package.conf.d"] flag db stack: ["/home/jrp/.ghc/x86_64-linux-8.7.20181010/package.conf.d","/home/jrp/Projects/ghc/bindisttest/install dir/lib/ghc-8.7.20181010/package.conf.d"] == End post-testsuite package check ------------------------------------------------------------------- Oops! Looks like you have some unexpected test results or framework failures. Please fix them before pushing/sending patches. ------------------------------------------------------------------- `` -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/15736> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 25

[GHC] #15990: Dynamically built GHC crashes on MacOS
by GHC 17 Jan '19

17 Jan '19

#15990: Dynamically built GHC crashes on MacOS -------------------------------------+------------------------------------- Reporter: harpocrates | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: 8.8.1 Component: Build System | Version: 8.7 (Hadrian) | Keywords: | Operating System: MacOS X Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- Since 79d5427e1f9de02c0b171bf5db46b6b49c6f85e3 (which add support for dynamically linking GHC), the default `./hadrian/build.sh` is broken for MacOS. In particular, the `ghc` built always crashes with a "Symbol not found" error. Example: {{{ $ ./hadrian/build.sh -j -c # << fails shortly after building first ghc >> $ _build/stage1/bin/ghc dyld: Symbol not found: _ffi_type_double Referenced from: _build/stage1/lib/../lib/x86_64-osx- ghc-8.7.20181202/libHSghci-8.7-ghc8.7.20181202.dylib Expected in: flat namespace in _build/stage1/lib/../lib/x86_64-osx- ghc-8.7.20181202/libHSghci-8.7-ghc8.7.20181202.dylib [1] 52701 abort _build/stage1/bin/ghc }}} See https://phabricator.haskell.org/rGHC79d5427e1f9de02c0b171bf5db46b6b49c6f85e3 for more discussion. The core of the issue seems to be that `-Wl,-dead_strip_dylibs` accidentally strips some essential libraries (`libffi` is one of these). -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/15990> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 6

[GHC] #16043: Lots of testsuite output breaks with integer-simple
by GHC 17 Jan '19

17 Jan '19

#16043: Lots of testsuite output breaks with integer-simple -------------------------------------+------------------------------------- Reporter: bgamari | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.6.3 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: -------------------------------------+------------------------------------- Numerous testsuite tests assume that we are using `integer-gmp`. This assumption mostly arises due to the lack of support for `integer-simple` `Integer`s in `RtClosureInspect.cPprTermBase`, causing many GHCi tests to break. I have marked these as broken to make progress on #15915. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/16043> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 7

[GHC] #15982: Hadrian's `--configure` flag is broken on Windows
by GHC 17 Jan '19

17 Jan '19

#15982: Hadrian's `--configure` flag is broken on Windows -------------------------------------+------------------------------------- Reporter: snowleopard | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: 8.6.3 Component: Build System | Version: 8.6.2 (Hadrian) | 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: -------------------------------------+------------------------------------- For some reason I can no longer use Hadrian's `--configure` flag. When I use it, the configuration step fails with the following obscure error: {{{ rm: cannot remove '.MTREE': No such file or directory }}} This is certainly caused by this line in `configure.ac`: https://github.com/ghc/ghc/blob/93e86d6103757b43017535c92bc6970e9e2315a5/co… It's unclear what should be done in this case. Here is the command line I use to invoke Hadrian: {{{ hadrian\build --configure -j --flavour=quickest --integer-simple }}} When I run the configure script manually from the MinGW shell, it works fine. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/15982> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4

[GHC] #16105: Haddock's resource directory isn't properly handled by Hadrian
by GHC 17 Jan '19

17 Jan '19

#16105: Haddock's resource directory isn't properly handled by Hadrian -------------------------------------+------------------------------------- Reporter: harpocrates | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Build System | Version: 8.6.3 (Hadrian) | 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'm still investigating, but several things look off about how Hadrian handles Haddock's resources (which are in `utils/haddock/haddock- api/resource`). * only the `html` folder is being copied, which means that there is no way `haddock --latex` will work * the resources (both `html` and `latex`) should probably be specified as `runtimeDependencies` of the `Haddock` builder instead of woven into the doc rules * the Haddock wrapper in the `BinaryDist` rules specifies the wrong `--lib` dir (we currently put Haddock's resources in the `doc` folder, not the `lib` folder as we do for the Make system) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/16105> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 5

[GHC] #11606: name shadowing warnings don't trigger on standalone declarations in ghci
by GHC 17 Jan '19

17 Jan '19

#11606: name shadowing warnings don't trigger on standalone declarations in ghci -------------------------------------+------------------------------------- Reporter: rwbarton | Owner: Type: bug | Status: new Priority: high | Milestone: 8.0.1 Component: GHCi | Version: 7.10.3 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: -------------------------------------+------------------------------------- The name shadowing warnings in ghci catch shadowing from top-level binds and `let` statements, but not from standalone declarations (new in 8.0). {{{ rwbarton@morphism:/tmp$ ~/ghc-HEAD/bin/ghci -fwarn-name-shadowing GHCi, version 8.1.20160212: http://www.haskell.org/ghc/ :? for help Prelude> a <- return () Prelude> a <- return () <interactive>:2:1: warning: This binding for ‘a’ shadows the existing binding defined at <interactive>:1:1 Prelude> let b = return () Prelude> let b = return () <interactive>:4:5: warning: This binding for ‘b’ shadows the existing binding defined at <interactive>:3:5 Prelude> c = return () Prelude> c = return () Prelude> }}} I'm hoping this can be fixed for 8.0, since I would also very much like to turn on name shadowing warnings in ghci by default (in the interactive flags), to reduce confusion from examples like the below, which is now possible for the first time in 8.0: {{{ Prelude> fact 0 = 1 Prelude> fact n = n * fact (n-1) Prelude> fact 5 ^C^CInterrupted. Prelude> -- why did it run forever? }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11606> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 14

[GHC] #12091: 'Variable not in scope" when using GHCi with `-fobject-code`
by GHC 17 Jan '19

17 Jan '19

#12091: 'Variable not in scope" when using GHCi with `-fobject-code` -------------------------------------+------------------------------------- Reporter: thomie | Owner: Type: bug | Status: new Priority: high | Milestone: Component: GHCi | Version: 8.0.1 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: #7253 Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- Since b98ff3ccb14e36145404f075349c8689762a2913 was landed (#7253), you don't need `let` to define stuff in GHCi: {{{ $ ghci Prelude> x = 3 Prelude> x 3 }}} But when using `-fobject-code`, this results in an error: {{{ $ ghci -fobject-code Prelude> x = 3 Prelude> x <interactive>:2:1: error: Variable not in scope: x }}} Very strange. CC @roshats, who implemented this feature, but the bug is probably in some part of the code he didn't touch. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12091> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 9

[GHC] #15086: hT profiling option
by GHC 17 Jan '19

17 Jan '19

#15086: hT profiling option -------------------------------------+------------------------------------- Reporter: crockeea | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: 8.6.1 Component: Compiler | Version: 8.4.2 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: Documentation Unknown/Multiple | bug Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- [https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/profiling.h… #rts-options-for-heap-profiling The docs] indicate that you can pass `-hT` as an RTS option for memory profiling "by heap closure type". However, GHC 8.4.2 claims `invalid heap profile options: -hT`, and this option is not listed among the usage options printed with the error. The user guide for GHC 8.2.2 also mentions -hT, and I believe that GHC-8.2.2 also did not permit the option. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/15086> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 7

[GHC] #16102: forkProcess causes weird GC summary in the forked process
by GHC 17 Jan '19

17 Jan '19

#16102: forkProcess causes weird GC summary in the forked process -------------------------------------+------------------------------------- Reporter: osa1 | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Runtime | Version: 8.6.3 System | 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: -------------------------------------+------------------------------------- The existing test `forkprocess01` actually exhibits this behavior, but we just don't have the necessary assertions in place to catch it. One of the assertions I added in https://gitlab.haskell.org/ghc/ghc/merge_requests/51 catches this bug. Here's the output with GHC 8.4: {{{ $ ghc forkprocess01.hs -debug -rtsopts [1 of 1] Compiling Main ( forkprocess01.hs, forkprocess01.o ) Linking forkprocess01 ... $ ./forkprocess01 +RTS -s 44,144 bytes allocated in the heap 4,824 bytes copied during GC 37,696 bytes maximum residency (1 sample(s)) 19,648 bytes maximum slop 2 MB total memory in use (0 MB lost due to fragmentation) Tot time (elapsed) Avg pause Max pause Gen 0 0 colls, 0 par 0.000s 0.000s 0.0000s 0.0000s Gen 1 1 colls, 0 par 0.001s 0.001s 0.0006s 0.0006s INIT time 0.000s ( 0.000s elapsed) MUT time 0.000s ( 0.001s elapsed) GC time 0.001s ( 0.001s elapsed) EXIT time 0.000s ( 0.000s elapsed) Total time 0.000s ( 0.002s elapsed) %GC time 61200000.0% (32.3% elapsed) Alloc rate 0 bytes per MUT second Productivity -100999900.0% of total user, 47.2% of total elapsed Just (Exited (ExitFailure 72)) 54,160 bytes allocated in the heap 3,480 bytes copied during GC 44,576 bytes maximum residency (1 sample(s)) 25,056 bytes maximum slop 2 MB total memory in use (0 MB lost due to fragmentation) Tot time (elapsed) Avg pause Max pause Gen 0 0 colls, 0 par 0.000s 0.000s 0.0000s 0.0000s Gen 1 1 colls, 0 par 0.001s 0.001s 0.0005s 0.0005s INIT time 0.000s ( 0.000s elapsed) MUT time 0.001s ( 0.003s elapsed) GC time 0.001s ( 0.001s elapsed) EXIT time 0.000s ( 0.000s elapsed) Total time 0.002s ( 0.004s elapsed) %GC time 32.0% (14.5% elapsed) Alloc rate 87,073,954 bytes per MUT second Productivity 43.3% of total user, 74.6% of total elapsed }}} Notice the `-100999900.0%` productivity in the first summary, which is printed by the child process. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/16102> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 10