#9971: GHC 7.10 dies with "out of memory" -------------------------------------+------------------------------------- Reporter: albertov | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.1-rc1 Resolution: | Keywords: Operating System: Linux | Architecture: x86_64 Type of failure: Compile-time | (amd64) crash | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Revisions: -------------------------------------+------------------------------------- Comment (by albertov): I've narrowed the problem to a specific source file and a specific commit. Since [https://github.com/meteogrid/sigym4-geometry/commit/2b00e8f5052cc39272465907... these changes] where made to the `Types.hs` module GHC 7.10 starts consuming all available RAM until the OS kills it when trying to compile it. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9971#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#9971: GHC 7.10 dies with "out of memory" -------------------------------------+------------------------------------- Reporter: albertov | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.1-rc1 Resolution: | Keywords: Operating System: Linux | Architecture: x86_64 Type of failure: Compile-time | (amd64) crash | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Revisions: -------------------------------------+------------------------------------- Comment (by albertov): Replying to [comment:2 nomeata]:

You added `UndecidableInstances` there. This means: „My typeclass instances may not be terminating, so when GHC runs into an infinite loop here, it’s my fault.“ I did not yet check whether this is the problem, but in a way, you voided the warranty here. Can you reproduce the problem without `UndecidableInstances`?

The problem occurs without `UndecidableInstances` too since `Types.hs` is not using it at all. I've used `UndecidableInstances` on another module (`Arbitrary.hs`) but it doesn't get a chance to get compiled since it depends on `Types.hs` which is the problematic module. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9971#comment:3 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#9971: GHC 7.10 dies with "out of memory" -------------------------------------+------------------------------------- Reporter: albertov | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.1-rc1 Resolution: | Keywords: Operating System: Linux | Architecture: x86_64 Type of failure: Compile-time | (amd64) crash | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Revisions: -------------------------------------+------------------------------------- Comment (by carter): @albertov: could you attach a transcript of building that file with ghc -v3? (that will show us where the build is getting stuck hopefully) Also: what optimization level /other flags are you giving ghc -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9971#comment:5 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#9971: GHC 7.10 dies with "out of memory" -------------------------------------+------------------------------------- Reporter: albertov | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.1-rc1 Resolution: | Keywords: Operating System: Linux | Architecture: x86_64 Type of failure: Compile-time | (amd64) crash | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Revisions: -------------------------------------+------------------------------------- Comment (by albertov): I've created a [https://github.com/meteogrid/sigym4-geometry/tree/ghc-9971 new branch] in my library to track this down from the first revision that causes the problem (2b00e8f5052cc392). I've removed the `-O2` flag from the `test` section of the .cabal file (the library section didn't have it) and configured with: `cabal configure --disable-optimization --ghc- options="-v3" --enable-tests -w /usr/local/bin/ghc-7.10.0.20141222`. The output of the configure step is: {{{ Resolving dependencies... Configuring sigym4-geometry-0.1.0.2... Glasgow Haskell Compiler, Version 7.10.0.20141222, stage 2 booted by GHC version 7.8.3 Using binary package database: /usr/local/lib/ghc-7.10.0.20141222/package.conf.d/package.cache Using binary package database: /home/alberto/.ghc/x86_64-linux-7.10.0.20141222/package.conf.d/package.cache wired-in package ghc-prim mapped to ghc- prim-0.3.1.0-ef8d733e55253d54bc20910b190b4671 wired-in package integer-gmp mapped to integer- gmp-1.0.0.0-1c365c75fd598ef8737ed7c605ee03d2 wired-in package base mapped to base-4.8.0.0-e29e6aeb808f5a1814cb5be39ea4f618 wired-in package rts mapped to builtin_rts wired-in package template-haskell mapped to template- haskell-2.10.0.0-4568f09ac38ddc61b7786e2a3f416f4b wired-in package ghc mapped to ghc-7.10.0.20141222-6718a8ae216097cfa2a99e476432dc11 wired-in package dph-seq not found. wired-in package dph-par not found. Hsc static flags: Created temporary directory: /tmp/ghc20749_0 *** C Compiler: /usr/bin/gcc -fno-stack-protector -DTABLES_NEXT_TO_CODE -x c /tmp/20700.c -o /tmp/ghc20749_0/ghc20749_1.s -Wimplicit -S '-D__GLASGOW_HASKELL__=710' -include /usr/local/lib/ghc-7.10.0.20141222/include/ghcversion.h -I/usr/local/lib/ghc-7.10.0.20141222/base_469rOtLAqwTGFEOGWxSUiQ/include -I/usr/local/lib/ghc-7.10.0.20141222/integ_21cuTlnn00eFNd4GMrxOMi/include -I/usr/local/lib/ghc-7.10.0.20141222/include *** Assembler: /usr/bin/gcc -fno-stack-protector -DTABLES_NEXT_TO_CODE -x assembler -c /tmp/ghc20749_0/ghc20749_1.s -o /tmp/20700.o *** Deleting temp files: Deleting: /tmp/ghc20749_0/ghc20749_1.s *** Deleting temp dirs: Deleting: /tmp/ghc20749_0 }}} The executed `cabal build > build.log 2>&1`and waited for the OS to kill ghc. I've attached the resulting build.log file. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9971#comment:7 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#9971: GHC 7.10 dies with "out of memory" -------------------------------------+------------------------------------- Reporter: albertov | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.1-rc1 Resolution: | Keywords: Operating System: Linux | Architecture: x86_64 Type of failure: Compile-time | (amd64) crash | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Revisions: -------------------------------------+------------------------------------- Comment (by albertov): Interesting... I've managed to sidestep the bug by changing unboxed vectors to boxed vectors (from the `vector` package). [https://github.com/meteogrid/sigym4-geometry/compare/ghc-9971?expand=1#diff-... These] are the changes I've made. So it seems related somehow to the use of unboxed vectors. Hopefully this helps. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9971#comment:9 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#9971: GHC 7.10 dies with "out of memory" -------------------------------------+------------------------------------- Reporter: albertov | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.1-rc1 Resolution: | Keywords: Operating System: Linux | Architecture: x86_64 Type of failure: Compile-time | (amd64) crash | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Revisions: -------------------------------------+------------------------------------- Comment (by albertov): Ok, now for real. It seems the culprit is the code generated by `derivingUnbox "Point"`. The changes that sidestep the bug are [https://github.com/meteogrid/sigym4-geometry/compare/ghc-9971?expand=1#diff-... these]. I've reconfigured with `cabal configure --disable-optimization --ghc- options="-ddump-splices" --enable-tests -w /usr/local/bin/ghc-7.10.0.20141222`, added back the `derivingUnbox` part (which now I'm positive that it's the real culprit) and I'm attaching the build output with the generated TH code. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9971#comment:11 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#9971: GHC 7.10 dies with "out of memory" -------------------------------------+------------------------------------- Reporter: albertov | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.1-rc1 Resolution: | Keywords: Operating System: Linux | Architecture: x86_64 Type of failure: Compile-time | (amd64) crash | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Revisions: -------------------------------------+------------------------------------- Comment (by Simon Peyton Jones ): In [changeset:"854e7b8efdd7fe5fcba77e1e049e8a835f03b16a/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="854e7b8efdd7fe5fcba77e1e049e8a835f03b16a" Fix a terrible bug in the canonicaliser which led to an infinite loop This fixes Trac #9971 Merge into the 7.10 branch }}} -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9971#comment:13 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#9971: GHC 7.10 dies with "out of memory" -------------------------------------+------------------------------------- Reporter: albertov | Owner: Type: bug | Status: closed Priority: highest | Milestone: 7.10.1 Component: Compiler | Version: 7.10.1-rc1 Resolution: fixed | Keywords: Operating System: Linux | Architecture: x86_64 Type of failure: Compile-time | (amd64) crash | Test Case: Blocked By: | typecheck/should_compile/T9971 Related Tickets: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Changes (by hvr): * status: merge => closed * resolution: => fixed Comment: merged to ghc-7.10 with c9ab42f84531f71056cfdf686cf548481b0af389 -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9971#comment:15 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler