Read-eval-print-loop for ATS


I’m currently working on a read-eval-print-loop (REPL) for ATS which would allow not only to define values and use them, but would also give informations about the type of (static or dynamic) functions and symbols. This REPL isn’t really usable for now but can though be useful. Here is a (non-exhaustive) list of (un)supported functionalities:

A few supported functionalities

A few unsupported functionalities


Given that I’m using the source code of ATS/Anairiats, you must have the SVN version of the source code of the compiler. Then download this file and apply the following instructions (the patches are against revision 2451):

In short:

$ wget
$ tar xvzf ats_repl.tgz
$ cat ATS_Repl_patch/repl_*.patch | patch -p0
$ cp -r ATS_Repl_patch/utils/atsrepl utils
$ make
$ ./bin/atsrepl