summaryrefslogtreecommitdiff
path: root/src/pp.ml
diff options
context:
space:
mode:
authorAlasdair Armstrong2018-11-05 15:39:01 +0000
committerAlasdair Armstrong2018-11-05 15:39:01 +0000
commit0f5a5f2ccf60aad9e466517265f75e1e5b800889 (patch)
tree840042151c1d7958a83e39eec862815b174eaa02 /src/pp.ml
parentb6bddcc8f07d419a1b49e33d40050950af051a1d (diff)
Make sure undefined_type functions are generated before registers
When topologically sorting the top-level definitions, we add the undefined_X functions for any type X to a registers dependencies if it uses the type X, this ensures that any such functions are generated before the register declaration. In theory this is only needed for OCaml, but adding these edges in the definition graph shouldn't cause any issues.
Diffstat (limited to 'src/pp.ml')
0 files changed, 0 insertions, 0 deletions