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/mouseEvent.ur | |
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/mouseEvent.ur')
0 files changed, 0 insertions, 0 deletions