Several editors support ATS(2).
- ATS2-mode supports syntax highlighting of ATS and embedded C code. For download, see the official repository or possible forks (1, 2).
- ATS2-flymake depends on ATS2-mode. It is available with ATS2/Postiats. It can highlight the location of the source of a type-error pretty well but it may have some room for improvement. Currently, one can use ` C-x `` (that is backquote) to locate the source of a type-error. Basically, you can do the following (with ats2-mode for emacs being turned on):
C-c C-c // for compilation
C-x ` // for locating the source of the first error
C-x ` // for locating the source of the next error
There is existing code for a vim mode, but most of the ATS users seem to use emacs. See this issue for a full discussion and code links.
This is just a syntax highlight file, not a full mode. You can install it at the Package Control.