diff options
| author |  Emilio Jesus Gallego Arias <e+git@x80.org> | 2016-05-31 12:16:40 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias <e+git@x80.org> | 2016-06-02 16:45:39 +0200 |
| commit | e020cc70578b65609ac7337537f16a1c25254e77 (patch) | |
| tree | 3c69737afc2e5693d5ca65b14e169ac406adc187 /ide/ideutils.ml | |
| parent | 2d2d86c165cac7b051da1c5079d614a76550a20c (diff) | |
Move serialization functions out of Stm
Serialization should be specific to each particular backend, so we let
the Stm clients choose how the send the nodes.
This should be quite safe to pull in. Test suite passes.
Related to #180
Diffstat (limited to 'ide/ideutils.ml')
0 files changed, 0 insertions, 0 deletions