liquid-utils

Liquid Utilities

This package has some common code for extracting type- and error- information from the output of liquid-types based tools, including:

• LiquidHaskell
• RefScript

This can be used to implement back-ends, e.g. for Atom or for the web-demo, from which this code is mostly extracted.

TODO

1. Define a type for LiquidInfo
2. export parseInfo(f:FilePath): Promise
3. export liquidInfoProvider(file, line, col): Info -- as in hover.d.ts
4. export liquidErrorProvider(file): Array