- ghc-tickets - Haskell.org

[GHC] #14903: RISC-V port
by GHC 08 Mar '18

08 Mar '18

#14903: RISC-V port -------------------------------------+------------------------------------- Reporter: bgamari | Owner: (none) Type: feature | Status: new request | Priority: low | Milestone: Component: Compiler | Version: 8.2.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: -------------------------------------+------------------------------------- At least three people recently mentioned interest in a RISC-V port of GHC. As it turns out, I started down this road one weekend last year. This ticket will track this effort. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/14903> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1

Re: [GHC] #5129: "evaluate" optimized away
by GHC 08 Mar '18

08 Mar '18

#5129: "evaluate" optimized away -------------------------------------+------------------------------------- Reporter: dons | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.0.3 Resolution: | Keywords: seq, evaluate Operating System: Unknown/Multiple | Architecture: Type of failure: Incorrect result | Unknown/Multiple at runtime | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D615 Wiki Page: | -------------------------------------+------------------------------------- Changes (by alpmestan): * cc: alpmestan (added) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5129#comment:22> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #14431: Peculiar RTS crash on OS X
by GHC 08 Mar '18

08 Mar '18

#14431: Peculiar RTS crash on OS X ----------------------------------------+--------------------------------- Reporter: bgamari | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.2.1 Keywords: | Operating System: MacOS X Architecture: Unknown/Multiple | Type of failure: None/Unknown Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: ----------------------------------------+--------------------------------- This [[https://phabricator.haskell.org/harbormaster/build/36804/|Harbormaster build]] failed with an odd RTS crash from the stage0 compiler (which is 8.2.1), {{{ ghc: internal error: RELEASE_LOCK: I do not own this lock: rts/posix/itimer/Pthread.c 187 (GHC version 8.2.1 for x86_64_apple_darwin) Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug }}} It's not immediately clear to me from the implementation how this could happen, but I thought I should at least note the issue. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/14431> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2

[GHC] #14538: forkprocess01 fails occassionally on with multiple ACQUIRE_LOCK panic
by GHC 08 Mar '18

08 Mar '18

#14538: forkprocess01 fails occassionally on with multiple ACQUIRE_LOCK panic ----------------------------------------+--------------------------------- Reporter: bgamari | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Runtime System | Version: 8.2.1 Keywords: | Operating System: MacOS X Architecture: Unknown/Multiple | Type of failure: None/Unknown Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: ----------------------------------------+--------------------------------- I noticed that `forkprocess01` failed to build on Darwin and commit eb86e867694bceedfb47a527d71429197ffe6dda with {{{ Stderr ( forkprocess01 ): forkprocess01: internal error: multiple ACQUIRE_LOCK: rts/Task.c 228 (GHC version 8.3.20171128 for x86_64_apple_darwin) Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug /bin/sh: line 1: 5124 Abort trap: 6 ./forkprocess01 +RTS -ls -RTS *** unexpected failure for forkprocess01(threaded1_ls) }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/14538> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 16

Re: [GHC] #2783: RTS -K/-M options not honored
by GHC 08 Mar '18

08 Mar '18

#2783: RTS -K/-M options not honored -----------------------------------+------------------------------ Reporter: j.waldmann | Owner: igloo Type: merge | Status: closed Priority: normal | Milestone: 6.10.2 Component: Runtime System | Version: 6.10.1 Resolution: fixed | Keywords: Operating System: Linux | Architecture: x86 Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -----------------------------------+------------------------------ Old description: > I have this program > > main = print $ do x <- [ 0 .. 5 ] ; let { y = 5 - y } ; return y > > I compile with ghc-6.10.1 --make > > and I execute with +RTS -M10m -K10m > > but still the executable quickly eats up all my memory. > > (I know the program is silly but still it should crash > gracefully.) > > When I do the same thing with ghc-6.8.3, > I get "Heap exhausted", as it should be. New description: I have this program {{{#!hs main = print $ do x <- [ 0 .. 5 ] ; let { y = 5 - y } ; return y }}} I compile with `ghc-6.10.1 --make` and I execute with `+RTS -M10m -K10m` but still the executable quickly eats up all my memory. (I know the program is silly but still it should crash gracefully.) When I do the same thing with ghc-6.8.3, I get "Heap exhausted", as it should be. -- Comment (by bgamari): Sounds like a bug to me, but it's not the bug covered by this ticket. Let's open a new ticket. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/2783#comment:6> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #5129: "evaluate" optimized away
by GHC 08 Mar '18

08 Mar '18

#5129: "evaluate" optimized away -------------------------------------+------------------------------------- Reporter: dons | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.0.3 Resolution: | Keywords: seq, evaluate Operating System: Unknown/Multiple | Architecture: Type of failure: Incorrect result | Unknown/Multiple at runtime | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D615 Wiki Page: | -------------------------------------+------------------------------------- Changes (by bgamari): * owner: simonmar => (none) * status: closed => new * resolution: fixed => Comment: Let's reopen this (or open a new ticket to track these). These competing bottoms are tricky! -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5129#comment:21> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #2783: RTS -K/-M options not honored
by GHC 08 Mar '18

08 Mar '18

#2783: RTS -K/-M options not honored -----------------------------------+------------------------------ Reporter: j.waldmann | Owner: igloo Type: merge | Status: closed Priority: normal | Milestone: 6.10.2 Component: Runtime System | Version: 6.10.1 Resolution: fixed | Keywords: Operating System: Linux | Architecture: x86 Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -----------------------------------+------------------------------ Changes (by alpmestan): * failure: => None/Unknown Comment: When running `./validate --slow` yesterday, I saw the test for this ticket failing with the `threaded1` way. Instead of detecting the loop and aborting with an informative message, we get an assertion failure in the `rts/ThreadPaused.c:threadPaused` function. The program: {{{#!hs main = print $ do x <- [ 0 .. 5 ] ; let { y = 5 - y } ; return y }}} The output: {{{ =====> T2783(threaded1) 1 of 1 [0, 0, 0] cd "./rts/T2783.run" && "/home/alp/ghc/inplace/test spaces/ghc-stage2" -o T2783 T2783.hs -dcore-lint -dcmm-lint -no-user-package-db -rtsopts -fno-warn-missed-specialisations -fshow-warning-groups -fdiagnostics- color=never -fno-diagnostics-show-caret -dno-debug-output -threaded -debug cd "./rts/T2783.run" && ./T2783 Wrong exit code for T2783(threaded1)(expected 1 , actual 134 ) Stderr ( T2783 ): T2783: internal error: ASSERTION FAILED: file rts/ThreadPaused.c, line 314 (GHC version 8.5.20180306 for x86_64_unknown_linux) Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug Aborted (core dumped) *** unexpected failure for T2783(threaded1) }}} The code for the corresponding assertion: {{{#!c // We should never have made it here in the event of blackholes that // we already own; they should have been marked when we blackholed // them and consequently we should have stopped our stack walk // above. ASSERT(!((bh_info == &stg_BLACKHOLE_info) && (((StgInd*)bh)->indirectee == (StgClosure*)tso))); }}} This actually is unexpected _ang_ a bug, right? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/2783#comment:5> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4114: Add a flag to remove/delete intermediate files generated by GHC
by GHC 08 Mar '18

08 Mar '18

#4114: Add a flag to remove/delete intermediate files generated by GHC -------------------------------------+------------------------------------- Reporter: guest | Owner: kaiha Type: feature request | Status: closed Priority: normal | Milestone: 8.2.1 Component: Compiler | Version: 6.10.4 Resolution: fixed | Keywords: newcomer Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: | driver/T4114a,b,c,d Blocked By: | Blocking: Related Tickets: #2258 | Differential Rev(s): Phab:D2021 Wiki Page: | Phab:D2050 -------------------------------------+------------------------------------- Comment (by alpmestan): With master from yesterday, T4114c and T4114d are failing with the `ghci` way: {{{ =====> T4114c(ghci) 1 of 2 [0, 0, 0] cd "./driver/T4114c.run" && "/home/alp/ghc/inplace/test spaces/ghc- stage2" T4114c.hs -dcore-lint -dcmm-lint -no-user-package-db -rtsopts -fno-warn-missed-specialisations -fshow-warning-groups -fdiagnostics- color=never -fno-diagnostics-show-caret -dno-debug-output -fobject-code --interactive -v0 -ignore-dot-ghci -fno-ghci-history +RTS -I0.1 -RTS -no- keep-o-files< T4114c.genscript Wrong exit code for T4114c(ghci) (expected 0 , actual 1 ) Stderr ( T4114c ): T4114c: error: intermediate 'T4114cSub.o' exists CallStack (from HasCallStack): error, called at ./T4114cSub.hs:9:8 in main:T4114cSub *** unexpected failure for T4114c(ghci) =====> T4114d(ghci) 2 of 2 [0, 1, 0] cd "./driver/T4114d.run" && "/home/alp/ghc/inplace/test spaces/ghc- stage2" T4114d.hs -dcore-lint -dcmm-lint -no-user-package-db -rtsopts -fno-warn-missed-specialisations -fshow-warning-groups -fdiagnostics- color=never -fno-diagnostics-show-caret -dno-debug-output -fobject-code --interactive -v0 -ignore-dot-ghci -fno-ghci-history +RTS -I0.1 -RTS -hisuf .myhi -osuf .myo -no-keep-o-files< T4114d.genscript Wrong exit code for T4114d(ghci) (expected 0 , actual 1 ) Stderr ( T4114d ): T4114d: error: intermediate 'T4114dSub.myo' exists CallStack (from HasCallStack): error, called at ./T4114dSub.hs:9:8 in main:T4114dSub *** unexpected failure for T4114d(ghci) }}} So it looks like `--interactive` does not honor `-no-keep-o-files` anymore. Shall I push a patch that expects just this way to fail, or shall I look into this somewhat soon to fix it instead? Or both I guess? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4114#comment:33> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #5129: "evaluate" optimized away
by GHC 07 Mar '18

07 Mar '18

#5129: "evaluate" optimized away -------------------------------------+------------------------------------- Reporter: dons | Owner: simonmar Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler | Version: 7.0.3 Resolution: fixed | Keywords: seq, evaluate Operating System: Unknown/Multiple | Architecture: Type of failure: Incorrect result | Unknown/Multiple at runtime | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D615 Wiki Page: | -------------------------------------+------------------------------------- Comment (by alpmestan): A recent `./validate --slow` run I did revealed that this test doesn't pass anymore. I found out that something changed between `8.0.2` and `8.2.1`: {{{#!sh $ nix-shell -p haskell.compiler.ghc821 --run 'ghc-8.2.1 -O -fforce-recomp ~/ghc/testsuite/tests/codeGen/should_run/T5129.hs && /home/alp/ghc/testsuite/tests/codeGen/should_run/T5129' [1 of 1] Compiling Main ( /home/alp/ghc/testsuite/tests/codeGen/should_run/T5129.hs, /home/alp/ghc/testsuite/tests/codeGen/should_run/T5129.o ) Linking /home/alp/ghc/testsuite/tests/codeGen/should_run/T5129 ... T5129: HUnitFailure "must throw when given a negative number" $ nix-shell -p haskell.compiler.ghc802 --run 'ghc-8.0.2 -O -fforce-recomp ~/ghc/testsuite/tests/codeGen/should_run/T5129.hs && /home/alp/ghc/testsuite/tests/codeGen/should_run/T5129' [1 of 1] Compiling Main ( /home/alp/ghc/testsuite/tests/codeGen/should_run/T5129.hs, /home/alp/ghc/testsuite/tests/codeGen/should_run/T5129.o ) Linking /home/alp/ghc/testsuite/tests/codeGen/should_run/T5129 ... $ }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5129#comment:20> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #14898: Panic with repSplitAppTys
by GHC 07 Mar '18

07 Mar '18

#14898: Panic with repSplitAppTys -------------------------------------+------------------------------------- Reporter: ryanreich | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.2.1 Keywords: | Operating System: Linux Architecture: x86_64 | Type of failure: Compile-time (amd64) | crash or panic Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- I get a GHC panic while compiling a rather large module that contains a fairly simple function: {{{#!hs import Control.Monad.Reader usingReader :: (Monad m) => r -> (a -> ReaderT r m b) (a -> m b) usingReader r f = flip runReaderT r . f }}} Unfortunately, that function alone in a module does not trigger the panic. The error message is: {{{ ghc: panic! (the 'impossible' happened) (GHC version 8.2.1 for x86_64-unknown-linux): repSplitAppTys a_ahFs[sk:1] ReaderT r_ahFr[sk:1] m_ahFq[sk:1] b_ahFt[sk:1] [] Call stack: CallStack (from HasCallStack): prettyCurrentCallStack, called at compiler/utils Outputable.hs:1133:58 in ghc:Outputable callStackDoc, called at compiler/utils/Outputable.hs:1137:37 in ghc:Outputable pprPanic, called at compiler/types/Type.hs:808:9 in ghc:Type }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/14898> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 6