- ghc-tickets - Haskell.org

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

22 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 gmainlan@…): commit 76d0cbcb72cf098cab684745ad3d8f364192e4b6 {{{ Author: Geoffrey Mainland <gmainlan(a)microsoft.com> Date: Mon Jul 22 17:15:44 2013 +0100 Add final remaining bits to fix #7978. compiler/codeGen/StgCmmBind.hs | 31 +------------------------------ 1 file changed, 1 insertion(+), 30 deletions(-) }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7978#comment:8> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #2451: New signal-handling API
by GHC 22 Jul '13

22 Jul '13

#2451: New signal-handling API -------------------------------------+------------------------------------ Reporter: simonmar | Owner: igloo Type: task | Status: closed Priority: highest | Milestone: 7.8.1 Component: libraries/unix | Version: 6.8.3 Resolution: fixed | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Changes (by igloo): * status: new => closed * resolution: => fixed Comment: Fixed by: commit 46bfe3d56a2c7732bb6222f3e9ad6ad7a94e13d7 {{{ Author: Ian Lynagh <ian(a)well-typed.com> Date: Sun Jul 21 21:09:23 2013 +0100 Export SignalInfo(..), SignalSpecificInfo(..); completes #2451 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/2451#comment:37> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #6135: Unboxed Booleans
by GHC 22 Jul '13

22 Jul '13

#6135: Unboxed Booleans -------------------------------------+------------------------------------ Reporter: benl | Owner: Type: feature request | Status: patch Priority: normal | Milestone: 7.8.1 Component: Compiler | Version: 7.4.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: #605 -------------------------------------+------------------------------------ Changes (by jstolarek): * status: new => patch Comment: I'm uploading the final patches. I don't yet have push permissions to main GHC repos, so I can't merge them myself. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/6135#comment:78> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

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