search

lukexi / stack-ide-sublime

An Sublime Text IDE for Haskell based on stack-ide
27 stars 5 forks source link

“Show Type” for holes #40

Open kerscher opened 8 years ago

kerscher commented 8 years ago

Since one must have no type or kind errors to show types on expressions, one recurring pattern I use is to temporarily enable PartialTypeSignatures on the file and then leave holes on the type signatures to let the IDE guide me.

Together with “Show Type” this enables me to quickly scan code on tricky sections. A minor annoyance is that the type inferred for the hole is only available in the bottom of the screen:

kind-warning

A nice addition IMHO would be to allow “Show Type” on the hole itself, showing the inferred type in the same kind of popup used for other expressions. Is there interest in this? I could take a look on how to add it.

kerscher commented 8 years ago

The example above is useless, but I guarantee it's useful in practice ;)