This is the command atdcat that can be run in the OnWorks free hosting provider using one of our multiple free online workstations such as Ubuntu Online, Fedora Online, Windows online emulator or MAC OS online emulator
PROGRAM:
NAME
atdcat - syntax check and transformations of ATD files
SYNOPSIS
atdcat [options...] file
DESCRIPTION
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
Use atdcat online using onworks.net services
