On Thursday 23 January 2014 12:01:02 Richard W.M. Jones wrote:
Can you still change the patch to avoid the _ match
case. I think something like this should work:
| { Index_parser.notes = ("", notes) :: _ } -> (* print notes *)
| { Index_parser.notes = _ :: _ }
| { Index_parser.notes = [] } -> (* no untranslated notes *)
ACK with that change.
OK for me. Modified accordingly, and pushed.
--
Pino Toscano