November 2013 - ghc-tickets

Re: [GHC] #6068: Panic in GHCi when using functional dependencies and promoted kinds
by GHC 15 Nov '13

15 Nov '13

#6068: Panic in GHCi when using functional dependencies and promoted kinds -------------------------------------+------------------------------------ Reporter: goldfire | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: GHCi | Version: 7.5 Resolution: | Keywords: PolyKinds Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: GHCi crash | Difficulty: Unknown Test Case: polykinds/T6068 | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Comment (by Simon Peyton Jones <simonpj@…>): In [changeset:"dff0e99d37f3529041bb2bb66ffda1ea22af14e0/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="dff0e99d37f3529041bb2bb66ffda1ea22af14e0" Fix a subtle bug in kind-mis-matched equalities (Trac #6068) When we have an equality constraint where the LHS and RHS have ill-matched kinds, it get turned into a CIrredEvCan because a CTyEqCan/CFunEqCan are guaranteed kind-compatible. But that in turn led to a bug because in the constraint c = (a:k1) ~ (b:k2) the kind variables k1 and k2 don't show up in tyVarsOfType c. Why not? Because it looks like (~) k1 (a:k1) (b:k2) Maybe (~) should have two kind arguments? That seemed like too big a change for not (we wait for NoKinds), so this patch fixes the bug for now. }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/6068#comment:7> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

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

15 Nov '13

#2301: Proper handling of SIGINT/SIGQUIT -------------------------------------+------------------------------------- Reporter: duncan | Owner: Type: bug | Status: new 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): If `waitForProcess` is called by a forkIO'd thread, then `UserInterrupt` doesn't cause the process to die with `SIGINT`. Normally a `SIGINT` causes the main thread to receive `UserInterrupt`, and the top handler for the main thread turns this into a `SIGINT` again. What should happen? Maybe this: if a `UserInterrupt` in a child thread were to throw a `SIGINT` at the current process, then it would be caught by the handler, causing a `UserInterrupt` to be thrown to the main thread, which would eventually throw a `SIGINT` again to kill the process. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/2301#comment:35> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4268: Warning for ANN pragmas when GHCi is not supported
by GHC 15 Nov '13

15 Nov '13

#4268: Warning for ANN pragmas when GHCi is not supported -------------------------------+------------------------------------------- Reporter: simonmar | Owner: Type: bug | Status: closed Priority: high | Milestone: 7.8.1 Component: Compiler | Version: 7.0.4 Resolution: fixed | Keywords: Operating System: | Architecture: Unknown/Multiple Unknown/Multiple | Difficulty: Easy (less than 1 hour) Type of failure: Other | Blocked By: Test Case: | Related Tickets: #8312, #5105 Blocking: | -------------------------------+------------------------------------------- Comment (by Simon Peyton Jones <simonpj@…>): In [changeset:"434d78360154684a0d5086643a572c955de90c7d/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="434d78360154684a0d5086643a572c955de90c7d" Improve error message Accommodating Simon M's suggestion (Trac #4268, comment 17) }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4268#comment:19> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7651: Buiding GHC with parallel IO manager freezes on Mac (not on FreeBSD)
by GHC 14 Nov '13

14 Nov '13

#7651: Buiding GHC with parallel IO manager freezes on Mac (not on FreeBSD) ----------------------------------------+---------------------------------- Reporter: kazu-yamamoto | Owner: Type: bug | Status: new Priority: high | Milestone: 7.8.1 Component: Build System | Version: 7.7 Resolution: | Keywords: Operating System: MacOS X | Architecture: Type of failure: Building GHC failed | Unknown/Multiple Test Case: | Difficulty: Unknown Blocking: | Blocked By: | Related Tickets: ----------------------------------------+---------------------------------- Comment (by kazu-yamamoto): I can build GHC head in parallel even on Mavericks. See #8497 and #8102. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7651#comment:10> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4175: GHCi support for type/data families should match that of related features
by GHC 14 Nov '13

14 Nov '13

#4175: GHCi support for type/data families should match that of related features ---------------------------------------+----------------------------------- Reporter: claus | Owner: Type: bug | Status: closed Priority: low | Milestone: 7.6.2 Component: GHCi | Version: 6.12.3 Resolution: fixed | Keywords: FD TF Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Test Case: ghci/scripts/T4175 | Difficulty: Unknown Blocking: | Blocked By: | Related Tickets: ---------------------------------------+----------------------------------- Comment (by Patrick Palka <patrick@…>): In [changeset:"3d6debaa48f48812878e8f66cc64c49b1fb81d35/testsuite"]: {{{ #!CommitTicketReference repository="testsuite" revision="3d6debaa48f48812878e8f66cc64c49b1fb81d35" Increase coverage of #4175 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4175#comment:14> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #4175: GHCi support for type/data families should match that of related features
by GHC 14 Nov '13

14 Nov '13

#4175: GHCi support for type/data families should match that of related features ---------------------------------------+----------------------------------- Reporter: claus | Owner: Type: bug | Status: closed Priority: low | Milestone: 7.6.2 Component: GHCi | Version: 6.12.3 Resolution: fixed | Keywords: FD TF Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Test Case: ghci/scripts/T4175 | Difficulty: Unknown Blocking: | Blocked By: | Related Tickets: ---------------------------------------+----------------------------------- Comment (by Patrick Palka <patrick@…>): In [changeset:"eb8fb434ff5e962a54247cacc5d3340972d5daf4/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="eb8fb434ff5e962a54247cacc5d3340972d5daf4" Simplify and improve coverage of ":info" instance lookup During instance lookup, we can treat classes and data families like any other TyCon instead of special-casing them. This approach, aside from being simpler, has the benefit of returning extra relevant instances for classes and data families. For example, given class A a instance B (a :: Constraint) instance A B ":info B" will now also print "instance A B" where previously it didn't due to the special casing of class TyCons in lookupInsts. This improves upon the existing patch for Trac #4175 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/4175#comment:13> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

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

14 Nov '13

#2301: Proper handling of SIGINT/SIGQUIT -------------------------------------+------------------------------------- Reporter: duncan | Owner: Type: bug | Status: new 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 duncan): I have a patch to fix this. It adds a new `delegate_ctlc :: Bool` to the `CreateProcess` options record for delegating control C handling. If you turn that on, then `createProcess` will make the parent process ignore SIGINT until `waitForProcess` returns (or `getProcessExitCode` returns non-Nothing). Then `waitForProcess` (or `getProcessExitCode`) will throw `UserInterrupt` if we were delegating, and the process did exit due to SIGINT. This should implement the "WCE" protocol ok. It should correctly handle the case of there being multiple concurrent processes to which we're delegating (unlike the current `system`/`rawSystem` which will end up with the wrong signal handlers installed). -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/2301#comment:34> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

Re: [GHC] #7229: Detecting if a process was killed by a signal is impossible
by GHC 14 Nov '13

14 Nov '13

#7229: Detecting if a process was killed by a signal is impossible --------------------------------------+------------------------------------ Reporter: benmachine | Owner: Type: bug | Status: closed Priority: highest | Milestone: 7.8.1 Component: libraries/process | Version: 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 duncan): * status: new => closed * resolution: => fixed Comment: So I've pushed patches to process, base and the rts to implement this, using the -signum encoding. * process [changeset:"3ebbe13a82b4f4beb382bb8a07f98e57a8354a85/process"] * base [changeset:"6b22a6ef9e59c6562ef6adfad7cd94e27aedec2c/base"] * ghc [changeset:"a987b8004e83c694e00cdd47cbf43a9588eb47d4/ghc"] There's also haddock docs, and tests (in separate commits). I think we can declare this done. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7229#comment:41> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #8531: ghc crash from kinds
by GHC 14 Nov '13

14 Nov '13

#8531: ghc crash from kinds -----------------------------------+--------------------------------------- Reporter: guest | Owner: Type: bug | Status: new Priority: lowest | Milestone: Component: Compiler | Version: 7.6.3 Keywords: | Operating System: MacOS X Architecture: | Type of failure: Compile-time crash Unknown/Multiple | Test Case: Difficulty: Unknown | Blocking: Blocked By: | Related Tickets: | -----------------------------------+--------------------------------------- When I run this in ghci: {{{ let x :: MaybeT IO (Ptr Int); x = (lift newCString "hi") >>= nullableToMaybeT }}} I get this output: {{{ Couldn't match kind `* -> *' with `*' Expected type: [Char] -> MaybeT IO (Ptr Int) Actual type: [Char] -> MaybeT IO (Ptr Int) Kind incompatibility when matching types: [Char] :: * -> * [Char] :: * The function `lift'ghc: panic! (the 'impossible' happened) (GHC version 7.6.3 for x86_64-apple-darwin): kindFunResult <<details unavailable>> }}} where nullToMaybeT is: {{{ nullableToMaybeT :: Monad m => Ptr a -> MaybeT m (Ptr a) nullableToMaybeT ptr = do case (ptr == nullPtr) of True -> (MaybeT . return) Nothing False -> return ptr }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8531> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2

Re: [GHC] #3693: Show stack traces
by GHC 14 Nov '13

14 Nov '13

#3693: Show stack traces -------------------------------------+------------------------------------ Reporter: jpet | Owner: Tarrasch Type: feature request | Status: new Priority: normal | Milestone: 7.10.1 Component: Runtime System | Version: 6.10.4 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Unknown/Multiple Type of failure: None/Unknown | Difficulty: Unknown Test Case: | Blocked By: Blocking: | Related Tickets: -------------------------------------+------------------------------------ Changes (by Tarrasch): * cc: miffoljud@…, simonmar (added) * owner: => Tarrasch * milestone: 7.6.2 => 7.10.1 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/3693#comment:50> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0