April 2015 - ghc-tickets

Re: [GHC] #7655: 7.6.2 Segmentation Fault/Bus Error in large exponentation
by GHC 09 Apr '15

09 Apr '15

#7655: 7.6.2 Segmentation Fault/Bus Error in large exponentation -------------------------------+----------------------------------------- Reporter: Doug310 | Owner: Type: bug | Status: infoneeded Priority: normal | Milestone: 7.12.1 Component: GHCi | Version: 7.8.1-rc1 Resolution: | Keywords: exponentiation Operating System: MacOS X | Architecture: x86_64 (amd64) Type of failure: GHCi crash | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Revisions: -------------------------------+----------------------------------------- Comment (by rwbarton): hvr: So, what is the status of the in-tree GMP tarball now that 7.10.1 uses integer-gmp 1.*? Specifically where does the GMP library come from on OS X? Do we ship it as part of the binary distribution? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7655#comment:39> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #10264: AArch64 : Installing 7.10.1 fails
by GHC 09 Apr '15

09 Apr '15

#10264: AArch64 : Installing 7.10.1 fails -------------------------------------+------------------------------------- Reporter: erikd | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.1 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Blocked By: Test Case: | Related Tickets: Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Built 7.10.1 from the release tarball, using ghc-7.6.3 from Debian. Build of the compiler goes fine, but when I install it I get: {{{ "inplace/bin/ghc-cabal" register libraries/ghc-prim dist-install \ "/home/erikd/GHC/7.10.1/lib/ghc-7.10.1/bin/ghc" \ "/home/erikd/GHC/7.10.1/lib/ghc-7.10.1/bin/ghc-pkg" \ "/home/erikd/GHC/7.10.1/lib/ghc-7.10.1" '' '/home/erikd/GHC/7.10.1' \ '/home/erikd/GHC/7.10.1/lib/ghc-7.10.1' \ '/home/erikd/GHC/7.10.1/share/doc/ghc/html/libraries' NO Warning: cannot determine version of /home/erikd/GHC/7.10.1/lib/ghc-7.10.1/bin/ghc-pkg : "" ghc-cabal: libraries/Cabal/Cabal/Distribution/Simple/GHC.hs:1050:5-47: Irrefutable pattern failed for pattern Data.Maybe.Just ver }}} The code in question is: {{{#!hs hcPkgInfo :: ProgramConfiguration -> HcPkg.HcPkgInfo hcPkgInfo conf = HcPkg.HcPkgInfo { HcPkg.hcPkgProgram = ghcPkgProg , HcPkg.noPkgDbStack = v < [6,9] , HcPkg.noVerboseFlag = v < [6,11] , HcPkg.flagPackageConf = v < [7,5] , HcPkg.useSingleFileDb = v < [7,9] } where v = versionBranch ver Just ghcPkgProg = lookupProgram ghcPkgProgram conf Just ver = programVersion ghcPkgProg }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10264> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

[GHC] #10265: HEAD fails with -DDEBUG
by GHC 08 Apr '15

08 Apr '15

#10265: HEAD fails with -DDEBUG -------------------------------------+------------------------------------- Reporter: dalaing | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.11 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Blocked By: Test Case: | Related Tickets: Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- With the following errors: compiler/main/Packages.hs:1269:11: Not in scope: data constructor ‘ASSERT’ compiler/main/Packages.hs:1271:11: Not in scope: data constructor ‘ASSERT’ compiler/main/Packages.hs:1286:11: Not in scope: data constructor ‘ASSERT’ -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10265> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 7

[GHC] #9965: getChanContents BlockedIndefinitelyOnMVar on 7.10 RC1
by GHC 08 Apr '15

08 Apr '15

#9965: getChanContents BlockedIndefinitelyOnMVar on 7.10 RC1 -------------------------------------+------------------------------------- Reporter: jberryman | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: | Version: 7.10.1-rc1 libraries/base | Operating System: Unknown/Multiple Keywords: | Type of failure: Incorrect result Architecture: | at runtime Unknown/Multiple | Blocked By: Test Case: | Related Tickets: Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- All of the stanzas work on 7.8.3, but the middle one works incorrectly on 7.10: {{{#!hs module Main where import Control.Concurrent.Chan import Control.Monad main = do io <- newChan let inp = [0] :: [Int] mapM_ (writeChan io) inp {- -- WORKS: outp <- getChanContents io if 0 == head outp then putStrLn "OK" else error $ "Smoke test failed" -} -- BROKEN ON 7.10 (BlockedIndefinitelyOnMVar): outp <- getChanContents io if and (zipWith (==) inp outp) then putStrLn "OK" else error $ "Smoke test failed" {- -- WORKS: forM_ inp $ \xIn-> do xOut <- readChan io unless (xIn == xOut) $ error $ "Smoke test failed" -} }}} I first noticed the behavior in a Chan-like library I wrote, whose internals are completely different from Chan, but where the getChanContents is a copy-paste from Chan. So I assume it has something to do with `unsafeInterleaveIO`. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9965> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2

[GHC] #10114: Kind mismatches with AnyK in rank-2 types
by GHC 08 Apr '15

08 Apr '15

#10114: Kind mismatches with AnyK in rank-2 types -------------------------------------+------------------------------------- Reporter: cam | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.8.4 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: GHC rejects Unknown/Multiple | valid program Test Case: | Blocked By: Blocking: | Related Tickets: Differential Revisions: | -------------------------------------+------------------------------------- The following module: {{{#!hs {-# LANGUAGE Rank2Types #-} module KindBug where type T = forall f a. f a foo :: T foo = undefined bar :: forall f a. f a bar = foo }}} ...produces the following error: {{{ [1 of 1] Compiling KindBug ( KindBug.hs, KindBug.o ) KindBug.hs:10:7: Kind incompatibility when matching types: f0 :: AnyK -> * f :: * -> * Expected type: f a Actual type: f0 a0 Relevant bindings include bar :: f a (bound at KindBug.hs:10:1) In the expression: foo In an equation for ‘bar’: bar = foo }}} Note that no extensions are enabled other than rank-2 types. Enabling and using kind annotations fixes the error, as does replacing the type synonym with its definition in the type signature of foo. Similar errors can also be generated with PolyKinds enabled and less plausible code, e.g. {{{ (return undefined :: forall f a. f a) :: f a }}}. The non-PolyKinds example is simplified from some actual code, where the type synonym was similar to the ones used in lens, and is the simplest example I could find (with help from Shachaf on IRC) that resembled real code. I searched for existing tickets and the closest I could find are #7916 and #5935, both of which are already fixed. Also, according to glguy (Eric Mertens) just now in #haskell-lens, the same error occurs in the 7.10 branch and in 7.11.20150120. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10114> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 10

Re: [GHC] #8030: FlexibleContexts PolyKinds Type Families bug
by GHC 08 Apr '15

08 Apr '15

#8030: FlexibleContexts PolyKinds Type Families bug -------------------------------------+------------------------------------- Reporter: wvv | Owner: Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler | Version: 7.6.3 Resolution: invalid | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: GHC rejects | Unknown/Multiple valid program | Test Case: Blocked By: | typecheck/should_fail/T8030 Related Tickets: #8034 | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Changes (by simonpj): * testcase: => typecheck/should_fail/T8030 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8030#comment:5> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #8030: FlexibleContexts PolyKinds Type Families bug
by GHC 08 Apr '15

08 Apr '15

#8030: FlexibleContexts PolyKinds Type Families bug -------------------------------------+------------------------------------- Reporter: wvv | Owner: Type: bug | Status: closed Priority: normal | Milestone: Component: Compiler | Version: 7.6.3 Resolution: invalid | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: GHC rejects | Unknown/Multiple valid program | Test Case: Blocked By: | Blocking: Related Tickets: #8034 | Differential Revisions: -------------------------------------+------------------------------------- Comment (by Simon Peyton Jones <simonpj@…>): In [changeset:"53cc9af94122866aaae751f94f83ce7b940e5494/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="53cc9af94122866aaae751f94f83ce7b940e5494" Test Trac #8030 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8030#comment:4> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #9160: Panic: Template variable unbound in rewrite rule
by GHC 08 Apr '15

08 Apr '15

#9160: Panic: Template variable unbound in rewrite rule ----------------------------------+--------------------------------------- Reporter: mietek | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.8.2 Keywords: | Operating System: MacOS X Architecture: x86_64 (amd64) | Type of failure: Compile-time crash Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ----------------------------------+--------------------------------------- Installing `singletons-1.0` with GHC 7.8.2 on OS X 10.9.2 fails: {{{ ghc: panic! (the 'impossible' happened) (GHC version 7.8.2 for x86_64-apple-darwin): Template variable unbound in rewrite rule }}} Full build log attached. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9160> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 18

[GHC] #10247: 5x increase in total memory allocation for `prof-doc-fib` test since 2011
by GHC 07 Apr '15

07 Apr '15

#10247: 5x increase in total memory allocation for `prof-doc-fib` test since 2011 -------------------------------------+------------------------------------- Reporter: thomie | Owner: Type: task | Status: new Priority: high | Milestone: Component: Profiling | Version: 7.10.1 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Blocked By: Test Case: | Related Tickets: Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Commit c81e07063dd4f792d65f5933cfb906620d120b24 (#8811) makes a small change to the formatting of the profiling output. When updating the prof.sample files in the `testsuite/tests/profiling/should_run` directory, we noticed that memory allocation numbers for several tests have increased substantially since 2011. {{{ -total alloc = 107,829,264 bytes (excludes profiling overheads) +total alloc = 538,951,032 bytes (excludes profiling overheads) }}} The following tests need investigation: * T680.prof.sample (2x total alloc) * prof-doc-fib.prof.sample (5x) * prof-doc-last.prof.sample (3x) * scc003.prof.sample (2x) Maybe it's nothing serious, but I'm setting priority to high since it seems like a regression. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10247> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

[GHC] #10257: internal error: evacuate: strange closure type 3269
by GHC 07 Apr '15

07 Apr '15

#10257: internal error: evacuate: strange closure type 3269 -------------------------------------------+------------------------------- Reporter: lukaramu | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.8.3 Keywords: | Operating System: Windows Architecture: Unknown/Multiple | Type of failure: GHCi crash Test Case: | Blocked By: Blocking: | Related Tickets: Differential Revisions: | -------------------------------------------+------------------------------- When trying to load the attatched source into GHCi, it spit out the following error: {{{ ghc.exe: internal error: evacuate: strange closure type 3269 (GHC version 7.8.3 for i386_unknown_mingw32) Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug This application has requested the Runtime to terminate it in an unusual way. Please contact the application's support team for more information. }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10257> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1