Fix panic on :kind _ in GHCi (Trac #9879)
authorThomas Winant <thomas.winant@cs.kuleuven.be>
Tue, 23 Dec 2014 14:48:15 +0000 (08:48 -0600)
committerAustin Seipp <austin@well-typed.com>
Tue, 23 Dec 2014 14:48:15 +0000 (08:48 -0600)
commit6eb86a56135a9274d2c958a2ccf4df510c9dab86
tree37ff6105663ba212d88a34dc7aad6c89549d2b6a
parente435a09419023debc9dff6711bfac16882a60766
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
compiler/typecheck/TcRnDriver.hs
testsuite/tests/partial-sigs/should_run/GHCiWildcardKind.script [new file with mode: 0644]
testsuite/tests/partial-sigs/should_run/GHCiWildcardKind.stdout [new file with mode: 0644]
testsuite/tests/partial-sigs/should_run/Makefile [new file with mode: 0644]
testsuite/tests/partial-sigs/should_run/all.T [new file with mode: 0644]