[Haskell-cafe] Is there a way to find out the type inferred for a local function inside another function? :)

Kazu Yamamoto ( 山本和彦 ) kazu at iij.ad.jp
Fri Apr 8 15:50:09 CEST 2011


I made a mistake. Use M-t instead of C-cC-t.

>> Currently what I do is declare a signature for helper, and then if it
>> gets a type error try to figure out how to fix it.  It's usually not
>> very hard, but it would be slick to have the signature filled in
>> automatically.
> 
> Try ghc-mod on Hackage if you are an Emacs user.
> 
> If GHC can guess the signature of helper function, haskell-mode with
> ghc-mod automatically hilights the function. Typing C-cC-t inserts the
> guessed signature.
> 
> 	http://www.mew.org/~kazu/proj/ghc-mod/en/
> 
> --Kazu



More information about the Haskell-Cafe mailing list