Original bug ID: 6855
Reporter: Martin Keegan
Assigned to: @gasche
Status: closed (set by @xavierleroy on 2016-12-07T10:49:07Z)
Resolution: fixed
Priority: normal
Severity: minor
Version: 4.01.0
Fixed in version: 4.03.0+dev / +beta1
Category: documentation

Bug description

A zero-length .annot file is generated under certain circumstances.

Steps to reproduce

Clone the repo provided under additional information, and build.

Check that the royalty.annot file is zero length; note that building with ocamlc rather than ocamlopt generates a royalty.annot file with proper contents.

I notice that failing to add the main.ml file to the list of files to be compiled also affects whether the bug manifests.

Additional information

See smallish project at: https://github.com/mk270/example-annot