Use hdevtools for error checking

[nh2]

We don't actually use hdevtools's speed with hdevtools check yet, do we?

[nh2]

In the meantime, I use this Build system:

{
  "cmd": ["/home/niklas/.cabal/bin/hdevtools", "check", "-g", "-Wall", "$file"],
  "file_regex": "^(.*?):(\\d+):(\\d+):", // Don't end with $ to also parse Warnings
  "selector": "source.haskell"
}

Update: Made it parse warnings
Update: Made it recognize the column number

You can jump through the errors with Sublime's inbuilt F4 / Shift+F4 keyboard shortcuts.

[mvoidex]

There are hdevtools.py module with call_hdevtools_and_wait same as call_ghcmod_and_wait
It can be easily used to check file.
But seems that hdevtools check shows only errors, does it?

[nh2]

If you pass -g -Wall you will get warnings.

However, we have to watch out that like in ghci, the warnings will only be shown once (at the first successful compile), and then only as soon as you change something in the file (doing that and re-checking is super fast in hdevtools though).

[nh2]

Also relevant: bitc/hdevtools#18 (Using multiple files with same htdevtools instance)

[mvoidex]

What kind of cache do you mean there? hdevtools doesn't make any special caches, the only benefit is that it doesn't initialize&configure ghc every time.

[nh2]

I just mean the information that is loaded into memory - probably the same as would be loaded in a ghci session:

:l Module1 -- takes long to load
:l Module2 -- takes long
:l Module1 -- takes long again

It would be nice if you could load both modules at the same time, getting the speed benefit hdevtools gives you across multiple modules.

[mvoidex]

GHC.setTarget allows to specify several modules, but I don't know If

setTarget ["Module1"]
...
setTarget ["Module1", "Module2"]

will reload "Module1" or just add "Module2".

[nh2]

@mvoidex I implemented your suggestion for hdevtools and ghc-mod.

nh2/hdevtools@e9fced6

nh2/ghc-mod@3f9c1c2

This allows us to type check whole projects really fast.

[bscottm]

Closing this issue. Assuming it was implemented.