December 2014 - ghc-tickets

Re: [GHC] #4012: Compilation results are not deterministic
by GHC 15 Dec '14

15 Dec '14

#4012: Compilation results are not deterministic -------------------------------------+------------------------------------- Reporter: kili | Owner: Fuuzetsu Type: bug | Status: new Priority: normal | Milestone: 7.10.1 Component: Compiler | Version: 6.12.2 Resolution: | Keywords: Operating System: | Architecture: Unknown/Multiple Unknown/Multiple | Difficulty: Difficult (2-5 Type of failure: Other | days) Test Case: | Blocked By: Blocking: | Related Tickets: Differential Revisions: | -------------------------------------+------------------------------------- Comment (by simonmar): @Fuuzetsu: there are several known causes of non-deterministic ABIs. See the description of the ticket for more details. It's usually possible to reproduce these by compiling a package once, touch the source files, and then recompile it and watch the hashes change. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4012#comment:72> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #3927: Incomplete/overlapped pattern warnings + GADTs = inadequate
by GHC 15 Dec '14

15 Dec '14

#3927: Incomplete/overlapped pattern warnings + GADTs = inadequate -------------------------------------+------------------------------------- Reporter: simonpj | Owner: simonpj Type: bug | Status: new Priority: normal | Milestone: 7.10.1 Component: Compiler | Version: 6.12.1 Resolution: | Keywords: Operating System: | Architecture: Unknown/Multiple Unknown/Multiple | Difficulty: Unknown Type of failure: | Blocked By: None/Unknown | Related Tickets: #4139 Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by simonpj): * cc: george.karachalias@… (added) Comment: Happily, George K is working on this: see [wiki/PatternMatchCheck] -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/3927#comment:40> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #3927: Incomplete/overlapped pattern warnings + GADTs = inadequate
by GHC 14 Dec '14

14 Dec '14

#3927: Incomplete/overlapped pattern warnings + GADTs = inadequate -------------------------------------+------------------------------------- Reporter: simonpj | Owner: simonpj Type: bug | Status: new Priority: normal | Milestone: 7.10.1 Component: Compiler | Version: 6.12.1 Resolution: | Keywords: Operating System: | Architecture: Unknown/Multiple Unknown/Multiple | Difficulty: Unknown Type of failure: | Blocked By: None/Unknown | Related Tickets: #4139 Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Comment (by nh2): I'm having the same problem, `-Wall` reporting `Patterns not matched: Step _ (End _)` for some code but if I put that match in, I get `Inaccessible code in a pattern with constructor`. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/3927#comment:39> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #9372: dll-split during stage 2 compiling ghc v7.8.3 for arm_linux
by GHC 14 Dec '14

14 Dec '14

#9372: dll-split during stage 2 compiling ghc v7.8.3 for arm_linux ----------------------------+---------------------------------------------- Reporter: chrisfgl | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.8.3 Keywords: | Operating System: Linux Architecture: arm | Type of failure: Building GHC failed Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Revisions: ----------------------------+---------------------------------------------- Trying to compile GHC 7.8.3 for ubuntu/arm. Was in Stage 1 for 8 hours before exiting with following message: dll-split: internal error: evacuate(static): strange closure type 0 (GHC version 7.8.3 for arm_unknown_linux) Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug make[1]: *** [compiler/stage2/dll-split.stamp] Aborted (core dumped) make: *** [all] Error 2 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9372> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 11

Re: [GHC] #4012: Compilation results are not deterministic
by GHC 14 Dec '14

14 Dec '14

#4012: Compilation results are not deterministic -------------------------------------+------------------------------------- Reporter: kili | Owner: Fuuzetsu Type: bug | Status: new Priority: normal | Milestone: 7.10.1 Component: Compiler | Version: 6.12.2 Resolution: | Keywords: Operating System: | Architecture: Unknown/Multiple Unknown/Multiple | Difficulty: Difficult (2-5 Type of failure: Other | days) Test Case: | Blocked By: Blocking: | Related Tickets: Differential Revisions: | -------------------------------------+------------------------------------- Comment (by Fuuzetsu): I got a test case: I took http-client, a library that was notorious for non-deterministic ABIs, found a small module without any internal imports and stripped it down. It seems that this can be exhibited by nearly any compilation as long as you are compiling more than one module at once: {{{ghc -O -j2 Foo}}} will, AFAICT, for the simple case, result in the same ABI pretty much always. {{{ghc -O -j2 Foo Bar}}} will often not, but how often depends on the content of each. {{{Foo}}} and {{{Bar}}} can be completely independent, not importing each other. Probably going to be looking at uniqs and that {{{unsafeInterleaveIO}}} (thanks to Duncan for pointing it out) but needed a test case first. I attach two modules, {{{T}}} and {{{S}}}: they are not ‘trivial’ modules because with those the ABI hash changes much less frequently. These modules only import the libraries that ship with GHC so it is easy to hack on. Follows a sample session with 7.8.3: {{{ [shana@lenalee:~/programming/ghc-nondeterminism]$ nix-shell -p haskellPackages.ghc --pure [nix-shell:~/programming/ghc-nondeterminism]$ ghc -fforce-recomp -O -j2 -outputdir tmpdir -odir tmpdir -hidir tmpdir -stubdir tmpdir T S && ghc --show-iface tmpdir/T.hi | grep ABI [1 of 2] Compiling S ( S.hs, tmpdir/S.o ) [2 of 2] Compiling T ( T.hs, tmpdir/T.o ) ABI hash: 801be37df642d815fae5f74aa0f56580 [nix-shell:~/programming/ghc-nondeterminism]$ ghc -fforce-recomp -O -j2 -outputdir tmpdir -odir tmpdir -hidir tmpdir -stubdir tmpdir T S && ghc --show-iface tmpdir/T.hi | grep ABI [1 of 2] Compiling S ( S.hs, tmpdir/S.o ) [2 of 2] Compiling T ( T.hs, tmpdir/T.o ) ABI hash: 59cd140ecf48d626231ac3f8ecb5291e [nix-shell:~/programming/ghc-nondeterminism]$ ghc -fforce-recomp -O -j2 -outputdir tmpdir -odir tmpdir -hidir tmpdir -stubdir tmpdir T S && ghc --show-iface tmpdir/T.hi | grep ABI [1 of 2] Compiling S ( S.hs, tmpdir/S.o ) [2 of 2] Compiling T ( T.hs, tmpdir/T.o ) ABI hash: 563ecab71f525a8aea21d4982ec67388 [nix-shell:~/programming/ghc-nondeterminism]$ l total 44K drwxr-xr-x 3 shana nogroup 4.0K Dec 14 19:59 . drwxr-xr-x 221 shana shana 12K Dec 14 19:58 .. -rw-r--r-- 1 shana nogroup 684 Dec 14 19:59 S.hs -rw-r--r-- 1 shana nogroup 18K Dec 14 19:59 T.hs drwxr-xr-x 2 shana nogroup 4.0K Dec 14 20:03 tmpdir }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4012#comment:70> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #8024: Dynamic linking not working on PowerPC Linux.
by GHC 14 Dec '14

14 Dec '14

#8024: Dynamic linking not working on PowerPC Linux. ----------------------------------------------+--------------------------- Reporter: erikd | Owner: Type: bug | Status: patch Priority: normal | Milestone: Component: Compiler | Version: 7.7 Resolution: | Keywords: Operating System: Linux | Architecture: powerpc Type of failure: Building GHC failed | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: Differential Revisions: D560 | ----------------------------------------------+--------------------------- Comment (by Sergei Trofimovich <siarheit@…>): In [changeset:"fa31e8f4a0f853848d96549a429083941877bf8d/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="fa31e8f4a0f853848d96549a429083941877bf8d" powerpc: fix and enable shared libraries by default on linux Summary: And fix things all the way down to it. Namely: - remove 'r30' from free registers, it's an .LCTOC1 register for gcc. generated .plt stubs expect it to be initialised. - fix PicBase computation, which originally forgot to use 'tmp' reg in 'initializePicBase_ppc.fetchPC' - mark 'ForeighTarget's as implicitly using 'PicBase' register (see comment for details) - add 64-bit MO_Sub and test on alloclimit3/4 regtests - fix dynamic label offsets to match with .LCTOC1 offset Signed-off-by: Sergei Trofimovich <siarheit(a)google.com> Test Plan: validate passes equal amount of vanilla/dyn tests Reviewers: simonmar, erikd, austin Reviewed By: erikd, austin Subscribers: carter, thomie Differential Revision: https://phabricator.haskell.org/D560 GHC Trac Issues: #8024, #9831 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8024#comment:11> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4012: Compilation results are not deterministic
by GHC 14 Dec '14

14 Dec '14

#4012: Compilation results are not deterministic -------------------------------------+------------------------------------- Reporter: kili | Owner: Fuuzetsu Type: bug | Status: new Priority: normal | Milestone: 7.10.1 Component: Compiler | Version: 6.12.2 Resolution: | Keywords: Operating System: | Architecture: Unknown/Multiple Unknown/Multiple | Difficulty: Difficult (2-5 Type of failure: Other | days) Test Case: | Blocked By: Blocking: | Related Tickets: Differential Revisions: | -------------------------------------+------------------------------------- Comment (by Fuuzetsu): Oops, guess I forgot to put anything here. I've been tasked with fixing this some weeks ago and hope to make progress in this area within this week. Maybe even I'll have a small test case by later today. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4012#comment:69> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4012: Compilation results are not deterministic
by GHC 14 Dec '14

14 Dec '14

#4012: Compilation results are not deterministic -------------------------------------+------------------------------------- Reporter: kili | Owner: Fuuzetsu Type: bug | Status: new Priority: normal | Milestone: 7.10.1 Component: Compiler | Version: 6.12.2 Resolution: | Keywords: Operating System: | Architecture: Unknown/Multiple Unknown/Multiple | Difficulty: Difficult (2-5 Type of failure: Other | days) Test Case: | Blocked By: Blocking: | Related Tickets: Differential Revisions: | -------------------------------------+------------------------------------- Changes (by Fuuzetsu): * owner: => Fuuzetsu Comment: Oops, guess I forgot to put anything here. I've been tasked with fixing this some weeks ago and hope to make progress in this area within this week. Maybe even I'll have a small test case by later today. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4012#comment:68> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #9884: Compling on arm and getting "No native code generator, so using LLVM"
by GHC 14 Dec '14

14 Dec '14

#9884: Compling on arm and getting "No native code generator, so using LLVM" -------------------------------------+------------------------------------- Reporter: erikd | Owner: erikd Type: bug | Status: new Priority: low | Milestone: Component: Build System | Version: 7.9 Keywords: | Operating System: Architecture: arm | Unknown/Multiple Difficulty: Easy (less than 1 | Type of failure: Incorrect hour) | warning at compile-time Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Compiling GHC on Arm and I get a constant stream of warnings like: {{{ when making flags consistent: Warning: No native code generator, so using LLVM }}} This can be fixed with a simple patch to `mk/build.mk.sample`. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9884> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2

Re: [GHC] #7495: generalizing overloaded list syntax to Sized Lists, HLists, HRecords, etc
by GHC 13 Dec '14

13 Dec '14

#7495: generalizing overloaded list syntax to Sized Lists, HLists, HRecords, etc -------------------------------------+------------------------------------- Reporter: nwf | Owner: carter Type: feature | Status: new request | Milestone: 7.10.1 Priority: normal | Version: 7.6.1 Component: Compiler | Keywords: Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: | Related Tickets: #9883 None/Unknown | Test Case: | Blocking: 9883 | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by carter): * blocking: => 9883 * related: => #9883 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7495#comment:8> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0