HdevtoolsType cannot give types in files with errors

[Cypher1]

I feel that, at least for some code, Hdevtools should be able to work out the type of the relevant value/variable without all of the code needing to be able to be compiled.

e.g.

main = print 2*3

It would be great if we could verify that the type of print was Show a => a -> IO ()

For this simple case there is little value in this but for more complex cases (e.g. where type errors do not allow the program to be executed) it would be great to be able to see types of parts of the broken code.

p.s. Thanks for the extension, I use it all the time

[jamesdbrock]

Try passing the -fdefter-type-errors flag to the GHC invoked by hdevtools.

With vim-hdevtools, that would be, in .vimrc,

let g:hdevtools_options = '-g-fdefer-type-errors'