Fix `:k` command: add validity checking
[ghc.git] / testsuite / tests / ghci / should_run / T15806.stderr
1 <interactive>:1:1: error:
2     Illegal polymorphic type: forall a. a -> a
3     GHC doesn't yet support impredicative polymorphism