[GHC] #9879: Panic with partial type signatures
#9879: Panic with partial type signatures -------------------------------------+------------------------------------- Reporter: monoidal | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler (Type | Version: 7.9 checker) | Operating System: Keywords: | Unknown/Multiple Architecture: Unknown/Multiple | Type of failure: GHCi crash Difficulty: Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Revisions: -------------------------------------+------------------------------------- Attempting to check kind of type hole `_` in GHCi or putting it in a TH quotation causes a panic `rnHsTyKi HsWildcardTy`: {{{ :kind _ let x = [t|_|] }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9879> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#9879: Panic with partial type signatures -------------------------------------+------------------------------------- Reporter: monoidal | Owner: thomasw Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.9 (Type checker) | Keywords: Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: GHCi crash | Related Tickets: Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Changes (by thomasw): * owner: => thomasw -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9879#comment:1> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#9879: Panic with partial type signatures -------------------------------------+------------------------------------- Reporter: monoidal | Owner: thomasw Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.9 (Type checker) | Keywords: Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: GHCi crash | Related Tickets: Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- Comment (by thomasw): I'll look into this. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9879#comment:2> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#9879: Panic with partial type signatures -------------------------------------+------------------------------------- Reporter: monoidal | Owner: thomasw Type: bug | Status: patch Priority: high | Milestone: 7.10.1 Component: Compiler | Version: 7.9 (Type checker) | Keywords: Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: GHCi crash | Related Tickets: Test Case: | Blocking: | Differential Revisions: Phab:D572 | -------------------------------------+------------------------------------- Changes (by simonpj): * priority: normal => high * status: new => patch * differential: => Phab:D572 * milestone: => 7.10.1 Comment: So Phab:D572 should be merged for 7.10.1, right? Simon -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9879#comment:4> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#9879: Panic with partial type signatures -------------------------------------+------------------------------------- Reporter: monoidal | Owner: thomasw Type: bug | Status: patch Priority: high | Milestone: 7.10.1 Component: Compiler | Version: 7.9 (Type checker) | Keywords: Resolution: | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: GHCi crash | Related Tickets: Test Case: | Blocking: | Differential Revisions: Phab:D572 | -------------------------------------+------------------------------------- Comment (by Austin Seipp <austin@…>): In [changeset:"6eb86a56135a9274d2c958a2ccf4df510c9dab86/ghc"]: {{{ #!CommitTicketReference repository="ghc" revision="6eb86a56135a9274d2c958a2ccf4df510c9dab86" Fix panic on :kind _ in GHCi (Trac #9879) Summary: Running `:kind _` in GHCi produced a panic, fix it by extracting the wildcards. Now, `:kind _` produces `_ :: k0`. Unfortunately, a `0` is added after the kind is tidied and I haven't found a way to get rid of it... This does not fix the other panic involving TemplateHaskell mentioned in #9879. Test Plan: new test GHCiWildcardKind should pass Reviewers: austin, simonpj Reviewed By: austin Subscribers: simonpj, carter, thomie, monoidal Differential Revision: https://phabricator.haskell.org/D572 GHC Trac Issues: #9879 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9879#comment:5> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
#9879: Panic with partial type signatures -------------------------------------+------------------------------------- Reporter: monoidal | Owner: thomasw Type: bug | Status: closed Priority: high | Milestone: 7.10.1 Component: Compiler | Version: 7.9 (Type checker) | Keywords: Resolution: fixed | Architecture: Unknown/Multiple Operating System: | Difficulty: Unknown Unknown/Multiple | Blocked By: Type of failure: GHCi crash | Related Tickets: Test Case: | Blocking: | Differential Revisions: Phab:D572 | -------------------------------------+------------------------------------- Changes (by thoughtpolice): * status: patch => closed * resolution: => fixed Comment: Merged in HEAD and 7.10.1. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9879#comment:6> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler
participants (1)
-
GHC