9.12 Options that ask for informational files

--show-definitions

--show-defns

Write out a list of the types, insts, modes, predicates, functions, typeclasses and instances defined in the module to module.defns.

--show-definition-line-counts

--show-defn-line-counts

Write out a list of the predicates and functions defined in the module, together with the names of the files containing them and their approximate line counts, to module.defn_line_counts. The list will be ordered on the names and arities of the predicates and functions.

The line counts are only approximate because the compiler does not need, and therefore does not keep around, information such as the context of a line that contains only a close parenthesis ending a clause.

--show-definition-extents

--show-defn-extents

Write out a list of the predicates and functions defined in the module, together with the approximate line numbers of their first and last lines, to module.defn_extents. The list will be ordered on the starting line numbers of the predicates and functions.

The line numbers are only approximate because the compiler does not need, and therefore does not keep around, information such as the context of a line that contains only a close parenthesis ending a clause.

--show-local-call-tree

Construct the local call tree of the predicates and functions defined in the module. Each node of this tree is a local predicate or function, and each node has edges linking it to the nodes of the other local predicates and functions it directly refers to. Write out to module.local_call_tree a list of these nodes. Put these nodes into the order in which they are encountered by a depth-first left-to-right traversal of the bodies (as reordered by mode analysis), of the first procedure of each predicate or function, starting the traversal at the exported predicates and/or functions of the module. List the callees of each node in the same order.

Write a flattened form of this call tree, containing just the predicates and functions in the same traversal order, to module.local_call_tree_order.

Construct another call tree of the predicates and functions defined in the module in which each entry lists not just the local predicates/functions directly referred to, but all directly or indirectly referenced predicates/functions, whether or not they are defined in the current module. The one restriction is that we consider only references that occur in the body of the current module. Write out this tree to module.local_call_full.

--show-local-type-representations

--show-local-type-repns

Write out information about the representations of all types defined in the module being compiled to module.type_repns.

--show-all-type-representations

--show-all-type-repns

Write out information about the representations of all types visible in the module being compiled to module.type_repns.

--show-dependency-graph

Write out the dependency graph to module.dependency_graph.

--show-imports-graph

--imports-graph

If ‘--generate-dependencies’ is specified, then write out the imports graph to module.imports_graph in a format that can be processed by the graphviz tools. The graph will contain an edge from the node of module A to the node of module B if module A imports module B.