diff options
| author | Gabriel Kerneis | 2014-05-30 15:50:34 +0100 |
|---|---|---|
| committer | Gabriel Kerneis | 2014-05-30 15:50:34 +0100 |
| commit | 80e22fcc5825200667cb79f46498fbdb1d8fe15d (patch) | |
| tree | c9a1ef159adb652cab33088979dcf2a26b618c81 /src/util.mli | |
| parent | 4007e0eb5328b6ed73c045822da09d1aa73faa3c (diff) | |
Add pretty-printer test (idempotence)
Fails in most cases because of "fresh" variables in type annotations
that cannot be parsed again.
Diffstat (limited to 'src/util.mli')
0 files changed, 0 insertions, 0 deletions