diff options
| author | Robert Norton | 2018-06-07 17:43:07 +0100 |
|---|---|---|
| committer | Robert Norton | 2018-06-07 17:43:23 +0100 |
| commit | 45554f2893667d951e39c8049631a986c1683857 (patch) | |
| tree | d9482733c782200043401d36744edf2020164f4c /lib/main.ml | |
| parent | 0865dae561117c0a94f7aea530be9cab090f5c02 (diff) | |
Refactor mips main a little to work around apparent bug in c generation. Generated c Works with no gcc optimisation but fails when optimisation is on, implying undefined behaviour. Probably due to control reaching end of non-void function in exception case.
Diffstat (limited to 'lib/main.ml')
0 files changed, 0 insertions, 0 deletions