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

Имеет ли haskell-режим или какой-то альтернативный пакет нечто похожее на замечательный inferior-haskell-type внутри предложения where?

Например, предположим, что

foo = undefined where
    bar = complicated
    ...

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

Ответы

Ответ 1

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

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

f x = x + (1::Int)

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