diff options
author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2022-09-27 12:04:31 +0200 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2022-09-27 12:04:31 +0200 |
commit | efc51afc7c8298ecd3b511b8d0faf9ff6d2df22e (patch) | |
tree | 232bf0f11a5fbc6a8f1c219f1234fad452a38b80 /cparser/Unblock.ml | |
parent | a1f01c844aaa0ff41aa9095e9d5d01606a0e90c9 (diff) | |
download | compcert-efc51afc7c8298ecd3b511b8d0faf9ff6d2df22e.tar.gz compcert-efc51afc7c8298ecd3b511b8d0faf9ff6d2df22e.zip |
Revised passing of options to `Parse.preprocessed_file`
Instead of passing a string that encodes the optional source-to-source
transformations to perform, just pass one optional, named argument for
each transformation. It is clearer and easier to extend this way.
Diffstat (limited to 'cparser/Unblock.ml')
0 files changed, 0 insertions, 0 deletions