diff options
| author | Alasdair Armstrong | 2017-08-02 14:38:22 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2017-08-02 14:38:22 +0100 |
| commit | f22859d797943409b49f098d17fa76eb92419640 (patch) | |
| tree | 8237b7ed6bc30ad145f27b2f4da933e1fe803450 /src/reporting_basic.ml | |
| parent | 886ac51d3d53c4fd6de060dd99ca7decd358cd06 (diff) | |
Modified loop typechecking code to generate a new type variable for the loop index, seems to work better for complex cases in ASL
Diffstat (limited to 'src/reporting_basic.ml')
0 files changed, 0 insertions, 0 deletions