Bikeshedding request for GHCi's :type

Johannes Waldmann johannes.waldmann at
Thu Apr 28 15:05:29 UTC 2016


> If you ask GHCi to *evaluate* a polymorphic expression, then it will ...

Sure, I understand the motivation for defaulting,
and I am not suggesting to change anything there.

What I am saying is that I see no way to have ghci show
* the defaulted type,
* or the even the fact that defaulting did happen.

- J.

More information about the ghc-devs mailing list