Syntax Definition Language) is a language to define data types in a
language-independent way. The definition of this language is a part of Zephyr
project. It is developed at University
of Princeton CS department. Data type generator developed there, asdlGen,
supports a variety of languages, including C, C++, SML/NJ, Java and Haskell.
We present a port of ASDL for Objective Caml. Current version does not print results extremely pretty, and does not support views yet. (As for pretty-printing, camlp4 can be used here, and shell scripts are provided for this purpose)
Current version is 0.8. Should run on any platform for which GNU make, bash, and ocaml complier is available. Tested only on i386 Linux.
Runtime library is included.