`inferior-haskell-type` inside a `where` clause?-Collection of common programming errors

C-c C-t shows type of identifier at point. This only works if the current file typechecks, but then it also works for local identifiers. For polymorphic function it will show the type to which they are instantiated, e.g.,

f x = x + (1::Int)

Calling this command on + will print Int -> Int -> Int instead of Num a => a -> a -> a.

Originally posted 2013-11-09 19:44:02.