Top-level utilities
Read an ATD file from a lexbuf. See also read_channel
, load_file
and load_string
.
If expand is true, the second part of the return value will contain a hash table mapping the types generated during monomorphization back to their original polymorphic types. See Atd_expand.original_types for more information about this table. If expand is false, the value will be the empty hash table.
-x
option of atdcat
.
expand = true
.
Default is false. See also [root:Atd_expand].
This corresponds to the -xk
option of atdcat
.
-xd
option of atdcat
.
inherit
statements in record types.
Default is false. See also [root:Atd_inherit].
This corresponds to the -if
option of atdcat
.
inherit
statements in sum types.
Default is false. See also [root:Atd_inherit].
This corresponds to the -iv
option of atdcat
.
""
.
1
.
Read an ATD file from an in_channel
. Options: see read_lexbuf
.
The default pos_fname
is set to "<stdin>"
when appropriate.
Read an ATD file. Options: see read_lexbuf
.
The default pos_fname
is the given input file name.
Read ATD data from a string. Options: see read_lexbuf
.
Topological sort for dependency analysis.
tsort
splits definitions into mutually-recursive groups,
ordered such that each group may only depend on type definitions
of its own group or previous groups.
The boolean flags indicate groups of one or more
mutually recursive definitions.