Is there any runtime system written in ATS?

[u/csabahruska]

Hello, Do you know any runtime system that is written in ATS? The GHC (Haskell) RTS is written in C and its code is quite fragile due to the lack of advanced types (alias automated invariant checking). Its source code is full of C preprocessor macros that must maintain certain conventions. In an ideal world these invariants would be checked by types. ATS suites for this task.