diff options
| author |  Artyom Shalkhakov <artyom.shalkhakov@gmail.com> | 2018-08-31 19:36:03 +0600 |
|---|---|---|
| committer | Artyom Shalkhakov <artyom.shalkhakov@gmail.com> | 2018-08-31 19:36:03 +0600 |
| commit | 588ac75ad01487e93899f8d61163551d0fb1dc78 (patch) | |
| tree | 36c746f9b4f1e14f6c1103b921a833d1e5d7958f /tests | |
| parent | 3ec6cf1b77e37e72ef4a145945fc01aabea59225 (diff) | |
FlyCheck integration.
Some issues:
- since Ur/Web expects to typecheck a project, we "guess" it
(which may not be the exact project that you use, maybe
we need to improve our heuristics)
- lightly tested, but seems to work on my machine
Diffstat (limited to 'tests')
0 files changed, 0 insertions, 0 deletions