[GHC] #11239: GHC HEAD: cannot bootstrap HEAD with HEAD
#11239: GHC HEAD: cannot bootstrap HEAD with HEAD
-------------------------------------+-------------------------------------
Reporter: heisenbug | Owner:
Type: bug | Status: new
Priority: high | Milestone: 8.0.1
Component: Compiler | Version: 7.11
Keywords: | Operating System: Unknown/Multiple
Architecture: | Type of failure: Building GHC
Unknown/Multiple | failed
Test Case: | Blocked By:
Blocking: | Related Tickets:
Differential Rev(s): | Wiki Page:
-------------------------------------+-------------------------------------
The first invocation of a freshly built `inplace/bin/deriveConstants`
hangs when I am bootstrapping HEAD with HEAD.
Last proven good git revision: d25f3c076e6c47bc7c8d0d27e724a3ad2b7d7399
Broken revision: 0dd61fe72144a829a9e5bb87a1094244e53cdebb
There are only a few revisions in between. Notably:
{{{
commit 8a506104d5b5b71d5640afc69c992e0af40f2213
Author: George Karachalias
#11239: GHC HEAD: cannot bootstrap HEAD with HEAD -------------------------------------+------------------------------------- Reporter: heisenbug | Owner: Type: bug | Status: new Priority: high | Milestone: 8.0.1 Component: Compiler | Version: 7.11 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Building GHC | Unknown/Multiple failed | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by mpickering): Seems related to #11195? -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/11239#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#11239: GHC HEAD: cannot bootstrap HEAD with HEAD -------------------------------------+------------------------------------- Reporter: heisenbug | Owner: Type: bug | Status: new Priority: high | Milestone: 8.0.1 Component: Compiler | Version: 7.11 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Building GHC | Unknown/Multiple failed | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by heisenbug): Replying to [comment:1 mpickering]:
Seems related to #11195?
From a quick glance that describes a compile-time regression, while my report seem to be a runtime regression (or miscompilation). But the two may well have the same root cause. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/11239#comment:2 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#11239: GHC HEAD: cannot bootstrap HEAD with HEAD -------------------------------------+------------------------------------- Reporter: heisenbug | Owner: Type: bug | Status: new Priority: high | Milestone: 8.0.1 Component: Compiler | Version: 7.11 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Building GHC | Unknown/Multiple failed | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by gkaracha): If it is related to #11195, I may have the solution real soon. Since the additional expressivity about guards came with a big price, we will have a flag (or more) for more precise control over how hard the checker tries to reason about pattern matching. At the moment, with `-Wall` we enable the whole check, no matter what the cost is. I expect to have the patch before the end of the week, and I hope it fixes this along with #11195. If you have any more information about the file that causes the problem please let me know! -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/11239#comment:3 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#11239: GHC HEAD: cannot bootstrap HEAD with HEAD -------------------------------------+------------------------------------- Reporter: heisenbug | Owner: Type: bug | Status: new Priority: high | Milestone: 8.0.1 Component: Compiler | Version: 7.11 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Building GHC | Unknown/Multiple failed | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by heisenbug): As of today's commit c7830bdb14e0a85a78617314156d101155fdf7aa , this bug seems to persist. It would be interesting to see if it is just me or if somebody can reproduce the problem. I can add another bit of information. While the `inplace/bin/deriveConstants` process is running and seems to hang, I performed `top` and can see that `deriveConstants` is consuming '''14GB of memory'''. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/11239#comment:4 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#11239: GHC HEAD: cannot bootstrap HEAD with HEAD -------------------------------------+------------------------------------- Reporter: heisenbug | Owner: Type: bug | Status: new Priority: high | Milestone: 8.0.1 Component: Compiler | Version: 7.11 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Building GHC | Unknown/Multiple failed | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by mpickering): Can you try with `-fno-warn-overlapping-patterns -fno-warn-incomplete- patterns`? -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/11239#comment:5 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#11239: GHC HEAD: cannot bootstrap HEAD with HEAD -------------------------------------+------------------------------------- Reporter: heisenbug | Owner: Type: bug | Status: new Priority: high | Milestone: 8.0.1 Component: Compiler | Version: 7.11 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Building GHC | Unknown/Multiple failed | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by hvr): Replying to [comment:4 heisenbug]:
It would be interesting to see if it is just me or if somebody can reproduce the problem.
Re `genprimopcode` see #11302 and #11303 -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/11239#comment:6 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
Can you try with `-fno-warn-overlapping-patterns -fno-warn-incomplete-
#11239: GHC HEAD: cannot bootstrap HEAD with HEAD -------------------------------------+------------------------------------- Reporter: heisenbug | Owner: Type: bug | Status: new Priority: high | Milestone: 8.0.1 Component: Compiler | Version: 7.11 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Building GHC | Unknown/Multiple failed | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by heisenbug): Replying to [comment:5 mpickering]: patterns`? BINGO! Doing this manually allowed me to continue bootstrapping :-) -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/11239#comment:7 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#11239: GHC HEAD: cannot bootstrap HEAD with HEAD -------------------------------------+------------------------------------- Reporter: heisenbug | Owner: Type: bug | Status: closed Priority: high | Milestone: 8.0.1 Component: Compiler | Version: 7.11 Resolution: duplicate | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Building GHC | Unknown/Multiple failed | Test Case: Blocked By: | Blocking: Related Tickets: 11303 | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by heisenbug): * status: new => closed * resolution: => duplicate * related: => 11303 -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/11239#comment:8 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#11239: GHC HEAD: cannot bootstrap HEAD with HEAD -------------------------------------+------------------------------------- Reporter: heisenbug | Owner: Type: bug | Status: closed Priority: high | Milestone: 8.0.1 Component: Compiler | Version: 7.11 Resolution: duplicate | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Building GHC | Unknown/Multiple failed | Test Case: Blocked By: | Blocking: Related Tickets: #11303 | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by heisenbug): * related: 11303 => #11303 -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/11239#comment:9 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#11239: GHC HEAD: cannot bootstrap HEAD with HEAD -------------------------------------+------------------------------------- Reporter: heisenbug | Owner: Type: bug | Status: closed Priority: high | Milestone: 8.0.1 Component: Compiler | Version: 7.11 Resolution: duplicate | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Building GHC | Unknown/Multiple failed | Test Case: Blocked By: | Blocking: Related Tickets: #11303 | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by gkaracha): Great! Nevertheless, I am working already on fixing #11303, and I think it would be worth it to try bootstrapping again without `-fno-warn-overlapping-patterns -fno-warn- incomplete-patterns` when #11303 is fixed. Just to make sure that the source of the problem is really the same. I will keep you posted :) -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/11239#comment:10 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#11239: GHC HEAD: cannot bootstrap HEAD with HEAD -------------------------------------+------------------------------------- Reporter: heisenbug | Owner: Type: bug | Status: closed Priority: high | Milestone: 8.0.1 Component: Compiler | Version: 7.11 Resolution: duplicate | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Building GHC | Unknown/Multiple failed | Test Case: Blocked By: | Blocking: Related Tickets: #11303 | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by heisenbug): Note that we need to support 7.8 and 7.10 as bootstrap compilers, so we cannot add those flags unconditionally. BTW., bootstrap is now complete and `utils/genprimopcode/dist/build/Main.o` was the only affected file. Replying to [comment:10 gkaracha]:
Great!
Nevertheless, I am working already on fixing #11303, and I think it would be worth it to try bootstrapping again without `-fno-warn-overlapping-patterns -fno-warn- incomplete-patterns` when #11303 is fixed. Just to make sure that the source of the problem is really the same. I will keep you posted :)
-- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/11239#comment:11 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
Replying to [comment:5 mpickering]:
Can you try with `-fno-warn-overlapping-patterns -fno-warn-incomplete-
#11239: GHC HEAD: cannot bootstrap HEAD with HEAD -------------------------------------+------------------------------------- Reporter: heisenbug | Owner: Type: bug | Status: closed Priority: high | Milestone: 8.0.1 Component: Compiler | Version: 7.11 Resolution: duplicate | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Building GHC | Unknown/Multiple failed | Test Case: Blocked By: | Blocking: Related Tickets: #11303 | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by gkaracha): Replying to [comment:7 heisenbug]: patterns`?
BINGO! Doing this manually allowed me to continue bootstrapping :-)
Finally #11303 is fixed! Could you please check whether it bootstraps now, without enabling `-fno-warn-overlapping-patterns -fno-warn-incomplete-patterns`? -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/11239#comment:12 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#11239: GHC HEAD: cannot bootstrap HEAD with HEAD -------------------------------------+------------------------------------- Reporter: heisenbug | Owner: Type: bug | Status: closed Priority: high | Milestone: 8.0.1 Component: Compiler | Version: 7.11 Resolution: duplicate | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Building GHC | Unknown/Multiple failed | Test Case: Blocked By: | Blocking: Related Tickets: #11303 | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by heisenbug): Replying to [comment:12 gkaracha]:
Replying to [comment:7 heisenbug]:
Replying to [comment:5 mpickering]:
Can you try with `-fno-warn-overlapping-patterns -fno-warn- incomplete-patterns`?
BINGO! Doing this manually allowed me to continue bootstrapping :-)
Finally #11303 is fixed! Could you please check whether it bootstraps now, without enabling `-fno-warn-overlapping-patterns -fno-warn-incomplete-patterns`?
Confirmed :-) -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/11239#comment:13 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
#11239: GHC HEAD: cannot bootstrap HEAD with HEAD -------------------------------------+------------------------------------- Reporter: heisenbug | Owner: Type: bug | Status: closed Priority: high | Milestone: 8.0.1 Component: Compiler | Version: 7.11 Resolution: duplicate | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: Building GHC | Unknown/Multiple failed | Test Case: Blocked By: | Blocking: Related Tickets: #11303 | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by gkaracha): Replying to [comment:13 heisenbug]:
Confirmed :-)
Great, one less thing to worry about, thank you very much! -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/11239#comment:14 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler
participants (1)
-
GHC