NAME¶

atdcat - check syntax of an ATD file.

SYNOPSIS¶

atdcat [options] file

DESCRIPTION¶

The syntax of an ATD file can be checked with the program atdcat provided with the OCaml library atd. atdcat pretty-prints its input data, optionally after some transformations such as monomorphization or inheritance.

OPTIONS¶

-x e

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

output the ocaml code of the ATD abstract syntax tree

-version

print the version of atd and exit

-help|--help

Display list of options

AUTHORS¶

Sylvain Le Gall.