July 2013 - ghc-tickets

Re: [GHC] #7986: make newBroadcastTChanIO match newBroadcastTChan
by GHC 22 Jul '13

22 Jul '13

#7986: make newBroadcastTChanIO match newBroadcastTChan -------------------------------+------------------------------------------- Reporter: | Owner: WrenThornton | Status: new Type: bug | Milestone: Priority: normal | Version: 7.6.3 Component: Compiler | Keywords: Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Easy (less than 1 hour) Unknown/Multiple | Blocked By: Type of failure: | Related Tickets: None/Unknown | Test Case: | Blocking: | -------------------------------+------------------------------------------- Changes (by klao): * cc: mihaly.barasz@… (added) * difficulty: => Easy (less than 1 hour) Comment: Another +1 here. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7986#comment:1> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #8081: let form in do block requires in?
by GHC 22 Jul '13

22 Jul '13

#8081: let form in do block requires in? ----------------------------+---------------------------------------------- Reporter: dsamperi | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.6.3 Keywords: | Operating System: Linux Architecture: x86_64 | Type of failure: GHC rejects valid program (amd64) | Test Case: Difficulty: Unknown | Blocking: Blocked By: | Related Tickets: | ----------------------------+---------------------------------------------- According to the 2010 Haskell spec the following should be equivalent: do1 = do { let x = 3.14 ; return x } and do2 = let x = 3.14 in do { return x } But ghc 7.6.3 chokes on the first (do1) with "parse error on input '}'" On the other hand, if I use layout and set do3 = do let x = 3.14 return x there is no problem. Also, the compiler doesn't complain if I insert "in" in place of the semicolon in do1 (but this doesn't seem to follow the spec). -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8081> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1

Re: [GHC] #7134: ghc-7.6.0.20120810-x86_64-windows.exe -> internal error R_X86_64_PC32
by GHC 22 Jul '13

22 Jul '13

#7134: ghc-7.6.0.20120810-x86_64-windows.exe -> internal error R_X86_64_PC32 -------------------------------+---------------------------------- Reporter: cetinsert | Owner: igloo Type: bug | Status: new Priority: highest | Milestone: 7.8.1 Component: GHCi | Version: 7.6.1-rc1 Resolution: | Keywords: R_X86_64_PC32 Operating System: Windows | Architecture: x86_64 (amd64) Type of failure: GHCi crash | Difficulty: Unknown Test Case: | Blocked By: 3658 Blocking: | Related Tickets: -------------------------------+---------------------------------- Comment (by igloo): I think that the best way forward would be to enable DynamicGhcPrograms by default on Windows. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7134#comment:21> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7787: modifyMVar does not restore value if callback returns error value
by GHC 22 Jul '13

22 Jul '13

#7787: modifyMVar does not restore value if callback returns error value ------------------------------------------------+-------------------------- Reporter: joeyadams | Owner: Type: bug | simonmar Priority: high | Status: closed Component: libraries/base | Milestone: 7.8.1 Resolution: fixed | Version: 7.7 Operating System: Unknown/Multiple | Keywords: Type of failure: Incorrect result at runtime | Architecture: Test Case: | Unknown/Multiple Blocking: | Difficulty: | Unknown | Blocked By: | Related Tickets: ------------------------------------------------+-------------------------- Changes (by simonmar): * status: new => closed * resolution: => fixed -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7787#comment:7> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7787: modifyMVar does not restore value if callback returns error value
by GHC 22 Jul '13

22 Jul '13

#7787: modifyMVar does not restore value if callback returns error value ------------------------------------------------+-------------------------- Reporter: joeyadams | Owner: Type: bug | simonmar Priority: high | Status: new Component: libraries/base | Milestone: 7.8.1 Resolution: | Version: 7.7 Operating System: Unknown/Multiple | Keywords: Type of failure: Incorrect result at runtime | Architecture: Test Case: | Unknown/Multiple Blocking: | Difficulty: | Unknown | Blocked By: | Related Tickets: ------------------------------------------------+-------------------------- Comment (by simonmar): Fixed: commit fd39d598e570145ac144b9cb6512c7faa3092ae1 {{{ Author: Simon Marlow <marlowsd(a)gmail.com> Date: Fri Jul 19 09:09:39 2013 +0100 Fix #7787 Now the pair is evaluated strictly inside the exception handler. I figured this would be less likely to introduce space leaky bugs than using an irrefutable pattern match. }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7787#comment:6> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7134: ghc-7.6.0.20120810-x86_64-windows.exe -> internal error R_X86_64_PC32
by GHC 22 Jul '13

22 Jul '13

#7134: ghc-7.6.0.20120810-x86_64-windows.exe -> internal error R_X86_64_PC32 -------------------------------+---------------------------------- Reporter: cetinsert | Owner: igloo Type: bug | Status: new Priority: highest | Milestone: 7.8.1 Component: GHCi | Version: 7.6.1-rc1 Resolution: | Keywords: R_X86_64_PC32 Operating System: Windows | Architecture: x86_64 (amd64) Type of failure: GHCi crash | Difficulty: Unknown Test Case: | Blocked By: 3658 Blocking: | Related Tickets: -------------------------------+---------------------------------- Comment (by awson): So, we have Win64 GHC completely broken on Windows 8 and semi-broken on Windows 7. Ian, since you leave GHC HQ, could you, please, clarify if you intend to fix this or describe more or less precisely realistic ways for somebody else to fix this. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7134#comment:20> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #8080: Typechecking error: "Could not deduce (m ~ m1)..."
by GHC 22 Jul '13

22 Jul '13

#8080: Typechecking error: "Could not deduce (m ~ m1)..." -------------------------------------+------------------------------------- Reporter: abacabadabacaba | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler (Type | Version: 7.6.3 checker) | Operating System: Unknown/Multiple Keywords: | Type of failure: GHC rejects Architecture: Unknown/Multiple | valid program Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | -------------------------------------+------------------------------------- This program: {{{ import Control.Monad f x = let g y = let h z = liftM not x in h 0 in g 0 }}} is expected to compile. Instead, it produces an error: {{{ test.hs:5:21: Could not deduce (m ~ m1) from the context (Monad m) bound by the inferred type of f :: Monad m => m Bool -> m Bool at test.hs:(3,1)-(7,8) or from (m Bool ~ m1 Bool, Monad m1) bound by the inferred type of h :: (m Bool ~ m1 Bool, Monad m1) => t1 -> m1 Bool at test.hs:5:5-21 `m' is a rigid type variable bound by the inferred type of f :: Monad m => m Bool -> m Bool at test.hs:3:1 `m1' is a rigid type variable bound by the inferred type of h :: (m Bool ~ m1 Bool, Monad m1) => t1 -> m1 Bool at test.hs:5:5 Expected type: m1 Bool Actual type: m Bool In the second argument of `liftM', namely `x' In the expression: liftM not x In an equation for `h': h z = liftM not x }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8080> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1

Re: [GHC] #7978: Profiling broken
by GHC 21 Jul '13

21 Jul '13

#7978: Profiling broken --------------------------------------------+------------------------------ Reporter: gmainland | Owner: Type: bug | Status: new Priority: highest | Milestone: 7.8.1 Component: Compiler | Version: 7.7 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: GHC doesn't work at all | Unknown/Multiple Test Case: | Difficulty: Unknown Blocking: | Blocked By: | Related Tickets: --------------------------------------------+------------------------------ Comment (by igloo): ezyang, can you please paste an example of a test failing due to a segfault? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7978#comment:7> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #8049: Missing documentation for the default warnings -fwarn-alternative-layout-rule-transitional and -fwarn-pointless-pragmas
by GHC 21 Jul '13

21 Jul '13

#8049: Missing documentation for the default warnings -fwarn-alternative-layout- rule-transitional and -fwarn-pointless-pragmas ------------------------------------+------------------------------------- Reporter: asr | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.6.3 Keywords: | Operating System: Unknown/Multiple Architecture: Unknown/Multiple | Type of failure: None/Unknown Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ------------------------------------+------------------------------------- From `compiler/main/DynFlags.hs` the warnings `-fwarn-alternative-layout- rule-transitional` and `-fwarn-pointless-pragmas` are default warnings, but (i) there is no documentation for the warnings and (ii) they are not listed as default warnings in the beginning of http://www.haskell.org/ghc/docs/7.6.3/html/users_guide/options- sanity.html. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8049> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

[GHC] #8076: `prompt2` not honoured in `:set +m`-style continuations
by GHC 21 Jul '13

21 Jul '13

#8076: `prompt2` not honoured in `:set +m`-style continuations ------------------------------------+------------------------------------- Reporter: hvr | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: GHCi | Version: 7.7 Keywords: | Operating System: Unknown/Multiple Architecture: Unknown/Multiple | Type of failure: None/Unknown Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | ------------------------------------+------------------------------------- When the continuation prompt became customizable via bc44435dc2f6cda1071c68b79ace5b390a89244c adapting the prompt for the `:set +m`-style continuation was missed, leaving it hardcoded to `"%s| "`. This is already mentioned in ticket:8051#comment:1, but to make sure this isn't lost, I've created this separate ticket. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8076> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1