Re: [GHC] #9879: Panic with partial type signatures

#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 ): 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