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 (cherry picked from commit 6eb86a56)
Showing
- compiler/typecheck/TcRnDriver.hs 6 additions, 2 deletionscompiler/typecheck/TcRnDriver.hs
- testsuite/tests/partial-sigs/should_run/GHCiWildcardKind.script 3 additions, 0 deletions...ite/tests/partial-sigs/should_run/GHCiWildcardKind.script
- testsuite/tests/partial-sigs/should_run/GHCiWildcardKind.stdout 2 additions, 0 deletions...ite/tests/partial-sigs/should_run/GHCiWildcardKind.stdout
- testsuite/tests/partial-sigs/should_run/Makefile 3 additions, 0 deletionstestsuite/tests/partial-sigs/should_run/Makefile
- testsuite/tests/partial-sigs/should_run/all.T 1 addition, 0 deletionstestsuite/tests/partial-sigs/should_run/all.T
Loading
Please register or sign in to comment