November 2013 - ghc-tickets

Re: [GHC] #2850: GeneralizedNewtypeDeriving + TypeFamilies doesn't work
by GHC 21 Nov '13

21 Nov '13

#2850: GeneralizedNewtypeDeriving + TypeFamilies doesn't work -------------------------------------------------+------------------------- Reporter: ajd | Owner: Type: feature request | Status: Priority: normal | closed Component: Compiler | Milestone: 6.12 Resolution: fixed | branch Operating System: Unknown/Multiple | Version: Type of failure: None/Unknown | 6.10.1 Test Case: | Keywords: indexed_types/should_compile/T2850 | Architecture: Blocking: | Unknown/Multiple | Difficulty: | Unknown | Blocked By: | Related Tickets: -------------------------------------------------+------------------------- Comment (by simonpj): Correct!! Solve #8548 and you are done. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/2850#comment:9> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #2850: GeneralizedNewtypeDeriving + TypeFamilies doesn't work
by GHC 21 Nov '13

21 Nov '13

#2850: GeneralizedNewtypeDeriving + TypeFamilies doesn't work -------------------------------------------------+------------------------- Reporter: ajd | Owner: Type: feature request | Status: Priority: normal | closed Component: Compiler | Milestone: 6.12 Resolution: fixed | branch Operating System: Unknown/Multiple | Version: Type of failure: None/Unknown | 6.10.1 Test Case: | Keywords: indexed_types/should_compile/T2850 | Architecture: Blocking: | Unknown/Multiple | Difficulty: | Unknown | Blocked By: | Related Tickets: -------------------------------------------------+------------------------- Comment (by nomeata): Ok, on second glance this seems to be just another instance of #8548, right? In that case, sorry for the noise. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/2850#comment:8> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #2850: GeneralizedNewtypeDeriving + TypeFamilies doesn't work
by GHC 21 Nov '13

21 Nov '13

#2850: GeneralizedNewtypeDeriving + TypeFamilies doesn't work -------------------------------------------------+------------------------- Reporter: ajd | Owner: Type: feature request | Status: Priority: normal | closed Component: Compiler | Milestone: 6.12 Resolution: fixed | branch Operating System: Unknown/Multiple | Version: Type of failure: None/Unknown | 6.10.1 Test Case: | Keywords: indexed_types/should_compile/T2850 | Architecture: Blocking: | Unknown/Multiple | Difficulty: | Unknown | Blocked By: | Related Tickets: -------------------------------------------------+------------------------- Comment (by goldfire): Interesting corner case. Answer: perhaps, but it would take a little more engineering. The problem is that `B`'s role is very rightly nominal. It's perfectly conceivable for `B Age` and `B Int` to be unrelated. But, we still want `B Bool ~R B Int`. The way this might be possible is by using the ''representation'' tycons for data families before doing the `Coercible` stuff. And, it means that these representation tycons would also need to be given appropriate roles. Currently, they're all nominal (see [http://git.haskell.org/ghc.git/blob/HEAD:/compiler/typecheck/TcInstDcls.lhs… the source code]). This all seems quite possible, but as I said, somewhat more engineering to make work. I can take a look at inferring roles for data/newtype instances. (I suppose these means also making role signatures for these forms. Grrrr.....) Do you think it's possible for the `Coercible` stuff to work over representation tycons for data/newtype instances? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/2850#comment:7> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #8547: Data.Vector.foldl' hangs GHC indefinitely with -O2
by GHC 21 Nov '13

21 Nov '13

#8547: Data.Vector.foldl' hangs GHC indefinitely with -O2 -----------------------------------+--------------------------------------- Reporter: blitzcode | Owner: Type: bug | Status: new Priority: high | Milestone: Component: Compiler | Version: 7.6.3 Keywords: hang vector | Operating System: Unknown/Multiple fold' | Type of failure: Compile-time crash Architecture: | Test Case: Unknown/Multiple | Blocking: Difficulty: Unknown | Blocked By: | Related Tickets: | -----------------------------------+--------------------------------------- Running 'ghc -O2 -fforce-recomp -c Bug.hs' on the following {{{#!haskell module Bug where import qualified Data.Vector as V data Tree = Empty | Node !(V.Vector Tree) f :: k -> Tree -> Tree f k' (Node ch) = head $ V.foldl' (\u t' -> case t' of Empty -> u; _ -> t' : u) [] ch }}} will hang forever (or at least >5m). Builds fine with -O1 / V.foldl. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8547> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1

Re: [GHC] #2850: GeneralizedNewtypeDeriving + TypeFamilies doesn't work
by GHC 21 Nov '13

21 Nov '13

#2850: GeneralizedNewtypeDeriving + TypeFamilies doesn't work -------------------------------------------------+------------------------- Reporter: ajd | Owner: Type: feature request | Status: Priority: normal | closed Component: Compiler | Milestone: 6.12 Resolution: fixed | branch Operating System: Unknown/Multiple | Version: Type of failure: None/Unknown | 6.10.1 Test Case: | Keywords: indexed_types/should_compile/T2850 | Architecture: Blocking: | Unknown/Multiple | Difficulty: | Unknown | Blocked By: | Related Tickets: -------------------------------------------------+------------------------- Changes (by nomeata): * failure: => None/Unknown Comment: If we implement GND via `Coercible`, this will no longer work: Coercing `bar :: B Bool -> B Bool` to the instance for `Int` will print {{{ No instance for (GHC.Types.Coercible (B Bool) (B Int)) because the first type argument of ‛B’ has role Nominal, but the arguments ‛Bool’ and ‛Int’ differ arising from a use of ‛GHC.Prim.coerce’ }}} Richard, as the expert on roles, is that avoidable? -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/2850#comment:6> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #2233: Overhaul System.Process
by GHC 21 Nov '13

21 Nov '13

#2233: Overhaul System.Process --------------------------------------+------------------------------------ Reporter: simonmar | Owner: simonmar Type: task | Status: patch Priority: normal | Milestone: _|_ Component: libraries/process | Version: 6.8.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: --------------------------------------+------------------------------------ Comment (by simonmar): Looks great, thanks for doing this! -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/2233#comment:19> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #2301: Proper handling of SIGINT/SIGQUIT
by GHC 21 Nov '13

21 Nov '13

#2301: Proper handling of SIGINT/SIGQUIT -------------------------------------+------------------------------------- Reporter: duncan | Owner: Type: bug | Status: patch Priority: high | Milestone: 7.8.1 Component: | Version: 6.12.3 libraries/process | Keywords: Resolution: | Architecture: Unknown/Multiple Operating System: POSIX | Difficulty: Unknown Type of failure: Incorrect result | Blocked By: at runtime | Related Tickets: Test Case: | #3994,#5766,#7229,#4274,#3318,#1619 Blocking: | -------------------------------------+------------------------------------- Comment (by simonmar): I think you're absolutely right to throw `UserInterrupt` locally. The only question is what to do if it propagates to the top of a `forkIO` thread. I think it would be good to note in the docs that `UserInterrupt` only causes the process to die if it propagates to the top of the main thread, so if this is a child thread you need to arrange to propagate it to the parent, say by using `async` instead of raw `forkIO`. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/2301#comment:42> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #2233: Overhaul System.Process
by GHC 20 Nov '13

20 Nov '13

#2233: Overhaul System.Process --------------------------------------+------------------------------------ Reporter: simonmar | Owner: simonmar Type: task | Status: patch Priority: normal | Milestone: _|_ Component: libraries/process | Version: 6.8.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: --------------------------------------+------------------------------------ Comment (by Herbert Valerio Riedel <hvr@…>): In [changeset:"0faf513f7e3667246d40767d25d0871b49d95851/process"]: {{{ #!CommitTicketReference repository="process" revision="0faf513f7e3667246d40767d25d0871b49d95851" Document spawnProcess and spawnCommand (#2233) Authored-by: Duncan Coutts <duncan(a)well-typed.com> Signed-off-by: Herbert Valerio Riedel <hvr(a)gnu.org> }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/2233#comment:18> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #2233: Overhaul System.Process
by GHC 20 Nov '13

20 Nov '13

#2233: Overhaul System.Process --------------------------------------+------------------------------------ Reporter: simonmar | Owner: simonmar Type: task | Status: patch Priority: normal | Milestone: _|_ Component: libraries/process | Version: 6.8.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: --------------------------------------+------------------------------------ Comment (by Herbert Valerio Riedel <hvr@…>): In [changeset:"d53196e313023ce92a5181074b7bb2ab7d35b5f3/process"]: {{{ #!CommitTicketReference repository="process" revision="d53196e313023ce92a5181074b7bb2ab7d35b5f3" API cleanup with new functions and old "soft" deprecated Add callProcess, callCommand, spawnProcess, spawnCommand as per the design in #2233 (but not relying on any of the SIGCHLD stuff). Move the various pre-createProcess functions to a section at the bottom in the Haddock docs. Don't yet mark anything as deprecated. That can come later. Authored-by: Duncan Coutts <duncan(a)well-typed.com> Signed-off-by: Herbert Valerio Riedel <hvr(a)gnu.org> }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/2233#comment:16> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #2233: Overhaul System.Process
by GHC 20 Nov '13

20 Nov '13

#2233: Overhaul System.Process --------------------------------------+------------------------------------ Reporter: simonmar | Owner: simonmar Type: task | Status: patch Priority: normal | Milestone: _|_ Component: libraries/process | Version: 6.8.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: --------------------------------------+------------------------------------ Comment (by Herbert Valerio Riedel <hvr@…>): In [changeset:"a2c3294223bf1f5a1887b4f1bb6e1534699f4eba/process"]: {{{ #!CommitTicketReference repository="process" revision="a2c3294223bf1f5a1887b4f1bb6e1534699f4eba" Reorder code sections to be rather clearer And move the deprecated things (as per #2233) to the end, out of the way. Authored-by: Duncan Coutts <duncan(a)well-typed.com> Signed-off-by: Herbert Valerio Riedel <hvr(a)gnu.org> }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/2233#comment:17> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0