23 Feb
2016
23 Feb
'16
10:34 a.m.
On Tuesday 23 February 2016 08:19:22 Richard W.M. Jones wrote:
Use interfaces files (*.mli files) instead of exporting all symbols randomly.
Change the 'file is generated' warnings at the top of generated files so they accurately describe which source file generates each output file.
The series LGTM, just one small note in patch #1. Thanks, -- Pino Toscano