diff options
| author |  Pierre Letouzey <pierre.letouzey@inria.fr> | 2017-02-04 19:55:18 +0100 |
|---|---|---|
| committer | Pierre Letouzey <pierre.letouzey@inria.fr> | 2017-02-07 22:56:56 +0100 |
| commit | 8ef3bc0e8a65b3a0338da39aa54cd75b1c2c1bb7 (patch) | |
| tree | b322514a9ba278adc1f0ef1e2f59d3a7a825fb56 /plugins/extraction/common.ml | |
| parent | af4962a9211a707943e7b0627439a731c3e7d23f (diff) | |
Extraction: simplify the generated code for difficult name conflicts
No more pp_alias_spec et pp_alias_decl.
Instead, we use "include" and "module type of".
The extracted code might hence need OCaml 3.12 (quite rarely)
Diffstat (limited to 'plugins/extraction/common.ml')
0 files changed, 0 insertions, 0 deletions