search

bitc / vim-hdevtools

Vim plugin for Haskell development
132 stars 25 forks source link

HdevtoolsType cannot give types in files with errors #30

Open Cypher1 opened 7 years ago

Cypher1 commented 7 years ago

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 commented 7 years ago

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'