search

smondet / atd2cconv

Convert Atd descriptions to pure OCaml that uses the CConv library
http://seb.mondet.org/software/atd2cconv/index.html
9 stars 1 forks source link

Add option `-sort` #11

Closed smondet closed 9 years ago

smondet commented 9 years ago

The goal is to be able to avoid Atd_util.tsort when ATD definitions are already in a good order.

rleonid commented 9 years ago

Patch looks good to me, what's the use case for wanting an unsorted conversion, more mutually recursive OCaml module definitions?

smondet commented 9 years ago

It's just that Atd_util.tsort seems to not be doing what it is supposed to do in some cases.