atdcat1

Usage

Overview

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

Options

-x

make type expressions monomorphic

-xk

keep parametrized type definitions and imply -x. Default is to return only monomorphic type definitions

-xd

debug mode implying -x

-i

expand all `inherit' statements

-if

expand `inherit' statements in records

-iv

expand `inherit' statements in sum types

-ml <name>

output the ocaml code of the ATD abstract syntax tree

-html-doc

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.

-strip NAME1[,NAME2,...]

remove all annotations of the form <NAME1 ...>, <NAME2 ...>, etc.

-strip-all

remove all annotations

-version

print the version and exit

-help | --help

print options and exit