diff options
| author | Alasdair Armstrong | 2018-12-18 19:45:02 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2018-12-18 19:45:02 +0000 |
| commit | 4d8a4078990a00ffdc018bc8f5d4d5e3dcf6527d (patch) | |
| tree | 5c02008b0958371de3a4f8abca39119c4c4775f4 /src/spec_analysis.ml | |
| parent | 24c2f4c5d9224d094083e2b4859b39c2ca0b1071 (diff) | |
Experiment with generating type variable names in a repeatable way
This results in much better error messages, as we can pick readable
names that make sense, and should hopefully make the re-writer more
robust.
Diffstat (limited to 'src/spec_analysis.ml')
0 files changed, 0 insertions, 0 deletions