July 2013 - ghc-tickets

Re: [GHC] #703: all binaries built by ghc have executable stacks
by GHC 11 Jul '13

11 Jul '13

#703: all binaries built by ghc have executable stacks ----------------------------+---------------------------------------------- Reporter: duncan | Owner: ezyang Type: merge | Status: merge Priority: normal | Milestone: 6.6.1 Component: | Version: 7.6.3 Compiler (NCG) | Keywords: Resolution: | Architecture: Unknown/Multiple Operating System: Linux | Difficulty: Moderate (less than a day) Type of failure: | Blocked By: None/Unknown | Related Tickets: Test Case: N/A | Blocking: | ----------------------------+---------------------------------------------- Comment (by juhpetersen): test -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/703#comment:22> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4001: Implement an atomic readMVar
by GHC 11 Jul '13

11 Jul '13

#4001: Implement an atomic readMVar ----------------------------+---------------------------------------------- Reporter: | Owner: ezyang simonmar | Status: closed Type: task | Milestone: 7.6.2 Priority: low | Version: 6.12.2 Component: Runtime | Keywords: System | Architecture: Unknown/Multiple Resolution: fixed | Difficulty: Moderate (less than a day) Operating System: | Blocked By: Unknown/Multiple | Related Tickets: Type of failure: | None/Unknown | Test Case: | Blocking: | ----------------------------+---------------------------------------------- Comment (by ezyang): {{{ commit db8d4a345ef77bc6832e9496e0ba38c8e36cadff Author: Edward Z. Yang <ezyang(a)mit.edu> Date: Wed Jul 10 13:32:15 2013 -0700 Implement tryAtomicReadMVar#. Signed-off-by: Edward Z. Yang <ezyang(a)mit.edu> }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4001#comment:28> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #693: dynamic locking
by GHC 11 Jul '13

11 Jul '13

#693: dynamic locking ----------------------------+---------------------------------------------- Reporter: | Owner: simonmar simonmar | Status: closed Type: task | Milestone: 7.8.1 Priority: low | Version: 6.4.1 Component: Runtime | Keywords: System | Architecture: Unknown/Multiple Resolution: fixed | Difficulty: Moderate (less than a day) Operating System: | Blocked By: Unknown/Multiple | Related Tickets: Type of failure: | None/Unknown | Test Case: N/A | Blocking: | ----------------------------+---------------------------------------------- Comment (by ezyang): OK, I adjusted this a little bit: {{{ commit 3a8c50111d5a92594f5c2f1b2b96a7c1cfab82eb Author: Edward Z. Yang <ezyang(a)mit.edu> Date: Wed Jul 10 13:10:32 2013 -0700 Add LOCK_CLOSURE macro for use in C--, which inlines the capability check. This patch also tweaks lockClosure to be INLINE_HEADER, so C-- clients don't accidentally use them and updates some other code which locks closures to do the capability check. Signed-off-by: Edward Z. Yang <ezyang(a)mit.edu> }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/693#comment:15> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4001: Implement an atomic readMVar
by GHC 11 Jul '13

11 Jul '13

#4001: Implement an atomic readMVar ----------------------------+---------------------------------------------- Reporter: | Owner: ezyang simonmar | Status: closed Type: task | Milestone: 7.6.2 Priority: low | Version: 6.12.2 Component: Runtime | Keywords: System | Architecture: Unknown/Multiple Resolution: fixed | Difficulty: Moderate (less than a day) Operating System: | Blocked By: Unknown/Multiple | Related Tickets: Type of failure: | None/Unknown | Test Case: | Blocking: | ----------------------------+---------------------------------------------- Comment (by ezyang): Actually, everyone seems to like tryAtomicReadMVar better so we'll go with that :) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4001#comment:27> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4001: Implement an atomic readMVar
by GHC 11 Jul '13

11 Jul '13

#4001: Implement an atomic readMVar ----------------------------+---------------------------------------------- Reporter: | Owner: ezyang simonmar | Status: closed Type: task | Milestone: 7.6.2 Priority: low | Version: 6.12.2 Component: Runtime | Keywords: System | Architecture: Unknown/Multiple Resolution: fixed | Difficulty: Moderate (less than a day) Operating System: | Blocked By: Unknown/Multiple | Related Tickets: Type of failure: | None/Unknown | Test Case: | Blocking: | ----------------------------+---------------------------------------------- Comment (by ezyang): I'm going to buck the naming trend and call this one 'peekMVar#', because there isn't really anything 'atomic' going on at all. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4001#comment:26> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #693: dynamic locking
by GHC 11 Jul '13

11 Jul '13

#693: dynamic locking ----------------------------+---------------------------------------------- Reporter: | Owner: simonmar simonmar | Status: closed Type: task | Milestone: 7.8.1 Priority: low | Version: 6.4.1 Component: Runtime | Keywords: System | Architecture: Unknown/Multiple Resolution: fixed | Difficulty: Moderate (less than a day) Operating System: | Blocked By: Unknown/Multiple | Related Tickets: Type of failure: | None/Unknown | Test Case: N/A | Blocking: | ----------------------------+---------------------------------------------- Comment (by igloo): Given the existing code, I assumed that we want to avoid the overhead of a C function call. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/693#comment:14> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #693: dynamic locking
by GHC 11 Jul '13

11 Jul '13

#693: dynamic locking ----------------------------+---------------------------------------------- Reporter: | Owner: simonmar simonmar | Status: closed Type: task | Milestone: 7.8.1 Priority: low | Version: 6.4.1 Component: Runtime | Keywords: System | Architecture: Unknown/Multiple Resolution: fixed | Difficulty: Moderate (less than a day) Operating System: | Blocked By: Unknown/Multiple | Related Tickets: Type of failure: | None/Unknown | Test Case: N/A | Blocking: | ----------------------------+---------------------------------------------- Comment (by ezyang): The way the C-- code is written now seems really odd. {{{ @@ -1290,7 +1295,12 @@ stg_tryTakeMVarzh ( P_ mvar /* :: MVar a */ ) W_ val, info, tso, q; #if defined(THREADED_RTS) - ("ptr" info) = ccall lockClosure(mvar "ptr"); + if (CInt[n_capabilities] == 1 :: CInt) { + info = GET_INFO(mvar); + } + else { + ("ptr" info) = ccall reallyLockClosure(mvar "ptr"); + } #else info = GET_INFO(mvar); #endif }}} Why can't it just call lockClosure? Is the concern here the cost of the extra jump? Seems like we should make a macro for this, then. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/693#comment:13> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4479: Add Type Directed Name Resolution
by GHC 10 Jul '13

10 Jul '13

#4479: Add Type Directed Name Resolution --------------------------------------------+------------------------------ Reporter: gidyn | Owner: Type: feature request | Status: new Priority: low | Milestone: 7.6.2 Component: Compiler (Type checker) | Version: 7.5 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Test Case: | Difficulty: Unknown Blocking: | Blocked By: | Related Tickets: --------------------------------------------+------------------------------ Comment (by adamgundry): Replying to [comment:16 gidyn]: > "we propose no changes to dot syntax for the time being" Looks like Adam is specific ignoring it? I'm not ignoring TDNR so much as implementing an alternative solution to essentially the same problem, namely the desire to overload record field names. In fact, an earlier version of my proposal did suggest changing dot syntax, but quite a few people weren't keen on it, so the current plan is to leave dot alone for the time being. There is the possibility of treating [wiki:Records/DeclaredOverloadedRecordFields/DotPostfix dot as postfix function application]. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4479#comment:17> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4479: Add Type Directed Name Resolution
by GHC 10 Jul '13

10 Jul '13

#4479: Add Type Directed Name Resolution --------------------------------------------+------------------------------ Reporter: gidyn | Owner: Type: feature request | Status: new Priority: low | Milestone: 7.6.2 Component: Compiler (Type checker) | Version: 7.5 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Test Case: | Difficulty: Unknown Blocking: | Blocked By: | Related Tickets: --------------------------------------------+------------------------------ Comment (by gidyn): "we propose no changes to dot syntax for the time being" Looks like Adam is specific ignoring it? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4479#comment:16> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #6050: Documentation for option -Wall and warning -fwarn-unrecognised-pragmas
by GHC 10 Jul '13

10 Jul '13

#6050: Documentation for option -Wall and warning -fwarn-unrecognised-pragmas --------------------------------------+------------------------------------ Reporter: asr | Owner: Type: bug | Status: new Priority: normal | Milestone: _|_ Component: Documentation | Version: 7.6.3 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: Documentation bug | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: --------------------------------------+------------------------------------ Changes (by asr): * owner: pcapriotti => * status: closed => new * version: 7.4.1 => 7.6.3 * resolution: fixed => * milestone: 7.4.2 => _|_ Comment: The `-fwarn-unrecognised-pragmas` warning is not listed as a default warning 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/6050#comment:5> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0