Scroll to navigation

ATDCAT(1) User Manuals ATDCAT(1)


atdcat - syntax check and transformations of ATD files


atdcat [options...] file


atdcat performs syntax checking and pretty printing on ATD files. It can also perform transformations, such as monomorphization or flattening of inheritance hierarchies.


make type expressions monomorphic
keep parametrized type definitions and imply -x. Default is to return only monomorphic type definitions
debug mode implying -x
expand all `inherit' statements
expand `inherit' statements in records
expand `inherit' statements in sum types
output the ocaml code of the ATD abstract syntax tree
replace directly <doc html="..."> by (*html ... *) or replace <doc text="..."> by (*html ... *) where the contents are formatted as HTML using <p>, <code> and <pre>. This is suitable input for caml2html -ext html:cat, which converts ATD files into HTML.
remove all annotations of the form <NAME1 ...>, <NAME2 ...>, etc.
remove all annotations
print the version and exit
print options and exit



This manual page was written by Sylvain Le Gall <> and Hendrik Tews <>, specifically for the Debian project (and may be used by others).

May 2013 ATDCAT