#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