diff options
| author | Pierre-Marie Pédrot | 2014-09-02 22:49:58 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2014-09-02 23:34:02 +0200 |
| commit | 5fbc42dec8524121f3f6b914e9a68f54a4fd6e43 (patch) | |
| tree | 3ebbfd44695a0cf7e60dea16033e12f96da7f08b /plugins/xml/xmlcommand.ml | |
| parent | f486f494c205611531a9df508f29f05a413434cc (diff) | |
Cleaning code in Pptactic.
Parametric printers are now using a record to ease the error reporting when
modificating code. Further improvement may include the use of the object
layer of OCaml, which would fit in this particular context.
Diffstat (limited to 'plugins/xml/xmlcommand.ml')
0 files changed, 0 insertions, 0 deletions