diff options
| author | Alasdair Armstrong | 2017-11-20 19:44:11 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2017-11-20 19:44:11 +0000 |
| commit | cdae9e0913020ba3cd7433c8de124df1f1ccdb04 (patch) | |
| tree | 25e04f8236ddbe728fc107e6ab44949db59bb7f7 /src/test/run_power.ml | |
| parent | c46ae4d67795682d79e737c671edec8ceee94287 (diff) | |
Fix a bug with constraint generation in flow typing.
This bug manifested as the ARM example elf executable printing the
wrong characters... but otherwise doing not failing and exiting
cleanly. It didn't trigger the test suite at all. I tracked it down to
this line using git-bisect, and while returning nc_true is a bit
suspect I'm still not 100% sure how this caused such a subtle and
annoying bug in the generated ocaml code - it took several hours to
track down the breakage to this line.
Diffstat (limited to 'src/test/run_power.ml')
0 files changed, 0 insertions, 0 deletions