September 2014 - ghc-tickets

[GHC] #9538: unwords does not participate in list fusion
by GHC 02 Sep '14

02 Sep '14

#9538: unwords does not participate in list fusion -------------------------------------+------------------------------------- Reporter: dfeuer | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.8.2 Keywords: | Operating System: Architecture: Unknown/Multiple | Unknown/Multiple Difficulty: Unknown | Type of failure: Blocked By: | None/Unknown Related Tickets: | Test Case: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- I'm not quite sure how far this can go, but `unwords` should almost certainly be a good consumer or a good consumer. Currently it is neither. Making it a good consumer is trivial, given `concatMap` that fuses: {{{#!hs unwords = tail . concatMap (' ':) }}} Alternatively, we should be able to make it a good producer without too much trouble, I think. I have my doubts about making it both. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9538> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2

[GHC] #9512: T9329 fails test on unregisterised i386
by GHC 02 Sep '14

02 Sep '14

#9512: T9329 fails test on unregisterised i386 ----------------------------+------------------------------------------- Reporter: slyfox | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.8.3 Keywords: | Operating System: Unknown/Multiple Architecture: x86 | Type of failure: None/Unknown Difficulty: Unknown | Test Case: T9329 Blocked By: | Blocking: Related Tickets: | Differential Revisions: ----------------------------+------------------------------------------- ghc-HEAD '''./configure --enable-unregistersied''' on i386-linux fails as: {{{ =====> T9329(normal) 118 of 4091 [0, 0, 0] cd ./codeGen/should_compile && '/root/ghc/inplace/bin/ghc-stage2' -fforce- recomp -dcore-lint -dcmm-lint -dno-debug-output -no-user-package-db -rtsopts -optc-fno-builtin -fno-ghci-history -c T9329.cmm -no-hs-main >T9329.comp.stderr 2>&1 Compile failed (status 256) errors were: /tmp/ghc23160_0/ghc23160_2.hc: In function ‘foo’: /tmp/ghc23160_0/ghc23160_2.hc:10:12: error: ‘c0_info’ undeclared (first use in this function) *Sp = (W_)&c0_info; ^ /tmp/ghc23160_0/ghc23160_2.hc:10:12: note: each undeclared identifier is reported only once for each function it appears in }}} The generated C code is: {{{ /* GHC_PACKAGES */ #include "Stg.h" FN_(foo) { FB_ _c0: if ((W_)(((W_)Sp-4) < (W_)SpLim)) goto _c2; else goto _c3; _c2: *Sp = (W_)&c0_info; JMP_((W_)&stg_gc_noregs); _c3: R1.w = 0x0; JMP_(*((P_)(*Sp))); FE_ } }}} while on UNREG x86_64 test does not fail and generates the following C: {{{ /* GHC_PACKAGES */ #include "Stg.h" FN_(foo) { FB_ _c0: goto _c3; _c3: R1.w = 0x0; JMP_(*((P_)(*Sp))); FE_ } }}} Looks like there is no stack check at all. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9512> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

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

02 Sep '14

#4012: Compilation results are not deterministic -------------------------------------+------------------------------------- Reporter: kili | Owner: 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): We can separate this problem into two: 1. non-determinism in the ABI, which leads to different ABI hashes being generated, and different package identities in the package database. This annoys OS packagers, who like to be able to generate deterministic package names. 2. non-determinism in the generated object file. (who cares about this and why?) (1) is a prerequisite for (2), and (2) is more difficult. The ticket description contains a list of issues that need to be fixed for (1). -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4012#comment:55> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #367: Infinite loops can hang Concurrent Haskell
by GHC 02 Sep '14

02 Sep '14

#367: Infinite loops can hang Concurrent Haskell -------------------------------------+------------------------------------- Reporter: simonpj | Owner: ezyang Type: bug | Status: new Priority: lowest | Milestone: ⊥ Component: Compiler | Version: 6.4.1 Resolution: None | Keywords: scheduler Operating System: | allocation Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: Incorrect | Difficulty: Unknown result at runtime | Blocked By: Test Case: | Related Tickets: concurrent/should_run/T367, | concurrent/should_run/T367_letnoescape| Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Comment (by simonmar): Yes, this is an instance of the bug. Does it work with `-fno-omit- yields`? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/367#comment:40> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #367: Infinite loops can hang Concurrent Haskell
by GHC 02 Sep '14

02 Sep '14

#367: Infinite loops can hang Concurrent Haskell -------------------------------------+------------------------------------- Reporter: simonpj | Owner: ezyang Type: bug | Status: new Priority: lowest | Milestone: ⊥ Component: Compiler | Version: 6.4.1 Resolution: None | Keywords: scheduler Operating System: | allocation Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: Incorrect | Difficulty: Unknown result at runtime | Blocked By: Test Case: | Related Tickets: concurrent/should_run/T367, | concurrent/should_run/T367_letnoescape| Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Comment (by jberryman): As a user I'm having trouble understanding if the bug being discussed is the one reported. To be clear, is the following (very similar to #8521) an instance of this bug? Compiled with ghc 7.8.3 with `-O2 -threaded`, run with `+RTS -N` on a machine with two real cores. {{{ module Main where import Data.IORef import Control.Concurrent main = do r <- newIORef False putStrLn "About to fork" forkIO $ f r threadDelay 1000000 -- 1 second putStrLn "Why is this never printed?!" writeIORef r True -- and why do we never exit? f :: IORef Bool -> IO () f r = readIORef r >>= \b-> if b then print "Done" else f r }}} This wouldn't seem to have anything to do with whether `f`'s thread can be pre-empted or not, which is why I'm unsure. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/367#comment:39> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7143: ghc-7.6.0.20120810-x86_64-windows.exe -> ghc can't figure out LLVM version
by GHC 01 Sep '14

01 Sep '14

#7143: ghc-7.6.0.20120810-x86_64-windows.exe -> ghc can't figure out LLVM version -------------------------------------+------------------------------------- Reporter: cetinsert | Owner: Fanael Type: bug | Status: merge Priority: normal | Milestone: 7.8.4 Component: Compiler | Version: 7.6.1-rc1 (LLVM) | Keywords: llvm Resolution: | Architecture: Unknown/Multiple Operating System: Windows | Difficulty: Unknown Type of failure: Incorrect | Blocked By: warning at compile-time | Related Tickets: Test Case: | Blocking: | Differential Revisions: Phab:D190 | -------------------------------------+------------------------------------- Changes (by Fanael): * status: new => merge Comment: Should be fixed in HEAD. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7143#comment:23> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #1744: treat byte order mark as zero-width whitespace
by GHC 01 Sep '14

01 Sep '14

#1744: treat byte order mark as zero-width whitespace -------------------------------------+------------------------------------- Reporter: igloo | Owner: igloo Type: merge | Status: closed Priority: normal | Milestone: 6.8.2 Component: Compiler | Version: 6.8 (Parser) | Keywords: Resolution: fixed | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: GHC | Related Tickets: #6016 rejects valid program | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by thomie): * failure: None/Unknown => GHC rejects valid program * related: 6016 => #6016 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/1744#comment:12> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #1744: treat byte order mark as zero-width whitespace
by GHC 01 Sep '14

01 Sep '14

#1744: treat byte order mark as zero-width whitespace -------------------------------------+------------------------------------- Reporter: igloo | Owner: igloo Type: merge | Status: closed Priority: normal | Milestone: 6.8.2 Component: Compiler | Version: 6.8 (Parser) | Keywords: Resolution: fixed | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: | Related Tickets: 6016 None/Unknown | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by thomie): * failure: => None/Unknown * related: => 6016 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/1744#comment:11> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #6016: On Windows, runhaskell hits an error on UTF-8 files with a BOM
by GHC 01 Sep '14

01 Sep '14

#6016: On Windows, runhaskell hits an error on UTF-8 files with a BOM -------------------------------------+------------------------------------- Reporter: vsajip | Owner: Type: bug | Status: closed Priority: normal | Milestone: 7.10.1 Component: Compiler | Version: 7.0.4 (Parser) | Keywords: BOM Resolution: fixed | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: GHC | Related Tickets: #1744 rejects valid program | Test Case: | Blocking: | Differential Revisions: Phab:D176 | -------------------------------------+------------------------------------- Changes (by thomie): * status: patch => closed * resolution: => fixed -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/6016#comment:8> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7143: ghc-7.6.0.20120810-x86_64-windows.exe -> ghc can't figure out LLVM version
by GHC 01 Sep '14

01 Sep '14

#7143: ghc-7.6.0.20120810-x86_64-windows.exe -> ghc can't figure out LLVM version -------------------------------------+------------------------------------- Reporter: cetinsert | Owner: Fanael Type: bug | Status: new Priority: normal | Milestone: 7.8.4 Component: Compiler | Version: 7.6.1-rc1 (LLVM) | Keywords: llvm Resolution: | Architecture: Unknown/Multiple Operating System: Windows | Difficulty: Unknown Type of failure: Incorrect | Blocked By: warning at compile-time | Related Tickets: Test Case: | Blocking: | Differential Revisions: Phab:D190 | -------------------------------------+------------------------------------- Comment (by Austin Seipp <austin@…>): In [changeset:"918719b936b878ab660f20ceef8afc9e3a898c5a/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="918719b936b878ab660f20ceef8afc9e3a898c5a" Set llc and opt commands on all platforms Summary: LLVM llc and opt commands should be set on all platforms, including Windows. If they're not, GHC tries to execute an unnamed executable, resulting in error messages such as: Error (figuring out LLVM version): : runInteractiveProcess: invalid argument (Invalid argument) <no location info>: Warning: Couldn't figure out LLVM version! Make sure you have installed LLVM This regression was introduced in e6bfc596. Test Plan: Build GHC and test if --info shows sensible values of "LLVM llc command" and "LLVM opt command" Reviewers: austin, #ghc Reviewed By: austin, #ghc Subscribers: austin Projects: #ghc Differential Revision: https://phabricator.haskell.org/D190 GHC Trac Issues: #7143 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7143#comment:22> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0