`inferior-haskell-type` внутри предложения` where`?

Question

Предлагает ли haskell-mode или какой-либо альтернативный пакет что-то похожее на замечательное предложение inferior-haskell-type внутри a where?

Например, предположим, у меня есть

foo = undefined where
    bar = complicated
    ...

Было бы здорово иметь возможность разместить маркер на bar и проверить его тип.

Answer 1

Это возможно с Scion в сочетании с Emacs.

C-c C-t показывает тип идентификатора в точке.Это работает только в том случае, если текущие типы файлов проверяются, но также и для локальных идентификаторов.Для полиморфной функции будет показан тип, для которого они созданы, например,

f x = x + (1::Int)

При вызове этой команды на + будет напечатано Int -> Int -> Int вместо Num a => a -> a -> a.