February 2016 - ghc-tickets

[GHC] #11631: Delete Windows line endings from testsuite files
by GHC 27 Feb '16

27 Feb '16

#11631: Delete Windows line endings from testsuite files -------------------------------------+------------------------------------- Reporter: thomie | Owner: Type: bug | Status: new Priority: normal | Milestone: 8.0.1 Component: Compiler | Version: 7.10.3 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: -------------------------------------+------------------------------------- They bothered me one time too many, so I deleted them. Patches can be merged to ghc-8.0. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11631> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 11

[GHC] #11123: Arm: checkProddableBlock: invalid fixup in runtime linke
by GHC 27 Feb '16

27 Feb '16

#11123: Arm: checkProddableBlock: invalid fixup in runtime linke --------------------------------+---------------------------------------- Reporter: erikd | Owner: Type: bug | Status: new Priority: normal | Milestone: 8.0.1 Component: Compiler | Version: 7.11 Keywords: | Operating System: Unknown/Multiple Architecture: arm | Type of failure: Building GHC failed Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: --------------------------------+---------------------------------------- Just started getting this in the last week or two, but only just now got a chance to investigate more fully. Any use of GHCi or TH will result in an error like: {{{ ghc-stage2: internal error: checkProddableBlock: invalid fixup in runtime linker: 0x41380050 (GHC version 7.11.20151122 for arm_unknown_linux) Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug Aborted }}} As a consequence, there are now over 500 failing tests on Arm. I thought this may have been a consequence of all the recent work on `rts/Linker.c` so I checked out git commit 20e30d5f3d932d63933 (the one just before the dreaded commit 04e8366608fee4f which seemed to kick off a bunch of heavy rework in this file) but that revision causes another, even more mysterious linking failure. From what I have seen, this only affects 32 bit Arm. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11123> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 9

Re: [GHC] #7337: GHC does not generate great code for bit-level rotation
by GHC 27 Feb '16

27 Feb '16

#7337: GHC does not generate great code for bit-level rotation -------------------------------------+------------------------------------- Reporter: bos | Owner: Type: feature request | Status: new Priority: normal | Milestone: Component: Compiler (NCG) | Version: 7.6.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by jberryman): FWIW I'm trying my hand at this, though it may take me a while as it's my first time working on GHC, and I'm not sure how much time I'll have to spend. It looks like I can take my lead from the byteswap patches (`git show 5ae238504 da7db19 1c5b0511 c5d5e3ac 86ca77ecb`). Also I'm considering just implementing a rotateR primop since that's what ARM supports (I think) and my use case only has constant rotate values which I know GHC would simplify to a single instruction if Data.Bits.rotateL was implemented in terms of the rotateR primop. Hm, but that would be extra bad for people who have variable left rotate values which also might be `0`, because they's need to do a AND mask and a subtraction. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7337#comment:8> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #11009: Errors reading stdin on Windows
by GHC 27 Feb '16

27 Feb '16

#11009: Errors reading stdin on Windows -------------------------------------+------------------------------------- Reporter: ncreep | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: | Version: 7.10.2 libraries/base | Keywords: | Operating System: Windows Architecture: x86_64 | Type of failure: Incorrect result (amd64) | at runtime Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- Hi, I'm running GHC 7.10.2 on Windows 7 x64. Given this code that reads bytes of `stdin`: {{{#!hs import Foreign.C import Foreign import System.Posix.Internals import qualified GHC.IO.FD as FD readStdin bytes = allocaBytes bytes $ \p -> throwErrnoIfMinus1 "" $ c_safe_read (FD.fdFD FD.stdin) p (fromIntegral bytes) }}} Running {{{#!hs readStdin (32 * 1024) }}} Throws the following {{{ *** Exception: resource exhausted (Not enough space) }}} Taking less bytes, e.g. `readStdin (30 * 1024)`, runs as expected. This code is motivated by [[https://github.com/haskell/bytestring/issues/35|this]] issue in the `bytestring` library. This is essentially a minimization of the error case [[https://github.com/haskell/bytestring/issues/35#issuecomment-148954406|here]] -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11009> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 5

Re: [GHC] #8025: "During interactive linking, GHCi couldn't find the following symbol" typechecker error with TemplateHaskell involved
by GHC 26 Feb '16

26 Feb '16

#8025: "During interactive linking, GHCi couldn't find the following symbol" typechecker error with TemplateHaskell involved -------------------------------------+------------------------------------- Reporter: mojojojo | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler (Type | Version: 7.6.3 checker) | Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: x86 Type of failure: Incorrect | Test Case: warning at compile-time | Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by gershomb): * cc: gershomb (added) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8025#comment:6> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4029: ghci leaks memory when loading a file
by GHC 26 Feb '16

26 Feb '16

#4029: ghci leaks memory when loading a file -------------------------------------+------------------------------------- Reporter: blarsen | Owner: jme Type: bug | Status: patch Priority: high | Milestone: 8.0.1 Component: GHCi | Version: Resolution: | Keywords: memory leak Operating System: Unknown/Multiple | Architecture: Type of failure: Compile-time | Unknown/Multiple performance bug | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D1950 Wiki Page: | -------------------------------------+------------------------------------- Changes (by jme): * status: new => patch * differential: => Phab:D1950 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4029#comment:20> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #11611: ghc panics
by GHC 26 Feb '16

26 Feb '16

#11611: ghc panics -------------------------------------+------------------------------------- Reporter: Iceland_jack | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.1 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: -------------------------------------+------------------------------------- {{{#!hs {-# LANGUAGE DataKinds, StandaloneDeriving, TypeOperators, GADTs, FlexibleInstances #-} data A a where A :: A (a:as) -> a -> A as deriving instance Show a => Show (A a) }}} gives {{{#!hs % ghci -ignore-dot-ghci Panic.hs GHCi, version 8.1.20160117: http://www.haskell.org/ghc/ :? for help [1 of 1] Compiling Main ( Panic.hs, interpreted ) ghc: panic! (the 'impossible' happened) (GHC version 8.1.20160117 for x86_64-unknown-linux): fvProv falls into a hole {a1aV} Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug > }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11611> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 5

Re: [GHC] #393: functions without implementations
by GHC 25 Feb '16

25 Feb '16

#393: functions without implementations -------------------------------------+------------------------------------- Reporter: c_maeder | Owner: Type: feature request | Status: closed Priority: normal | Milestone: ⊥ Component: Compiler (Type | Version: None checker) | Resolution: wontfix | Keywords: newcomer Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by Iceland_jack): I am in favour of this, see also #11367 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/393#comment:29> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #10217: Provide link to GPG signature on download page.
by GHC 25 Feb '16

25 Feb '16

#10217: Provide link to GPG signature on download page. -------------------------------------+------------------------------------- Reporter: f-a | Owner: Type: feature | Status: new request | Milestone: Priority: normal | Version: 7.10.1 Component: | Operating System: Unknown/Multiple Documentation | Type of failure: Documentation Keywords: GPG, | bug signature | Blocked By: Architecture: | Related Tickets: Unknown/Multiple | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- As now, in the section "Binary packages" of GHC download page, you can read: > SHA-256 hashes for all the binary distributions are available here. with a link to the hashes' file. It would be great to provide a link to the signature of this file too, i.e.: > SHA-256 hashes for all the binary distributions are available here[link] (GPG signature available here[link], signed with key <keyID>). Hashes and Signatures are advertised in the mailing list release post, but I guess it would be nice for clarity's sake having them on the download page too. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10217> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4

[GHC] #10336: Support qualified self {-# SOURCE #-} import
by GHC 25 Feb '16

25 Feb '16

#10336: Support qualified self {-# SOURCE #-} import -------------------------------------+------------------------------------- Reporter: ezyang | Owner: Type: feature | Status: new request | Milestone: ⊥ Priority: lowest | Version: 7.11 Component: Compiler | Operating System: Unknown/Multiple Keywords: | Type of failure: GHC rejects Architecture: | valid program Unknown/Multiple | Blocked By: 7672 Test Case: | Related Tickets: Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- The source import in this module is a no-op and has no legitimate use: {{{ module A where import {-# SOURCE #-} A }}} It's also tricky to support properly, see #10182. So we will disable it. However, there is one mode of use which cannot be legitimately done in normal Haskell: a qualified source import: {{{ module A where import {-# SOURCE #-} qualified A as MyA }}} The intended semantics is that the boot entities defined in A.hs-boot are available under the qualification MyA. Fixing #7672 would get us most of the way here, but there is one more step to avoid regressing #10182. So this just seems not worth fixing, unless someone really wants it. (Note: regular self imports could also be supported this way, but it would be even more complicated to do, since we don't even know what OccNames to add provenances for.) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10336> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3