Lower midi resolution to 1ms.

Without this, the (several day-long) dumped.mid file ends up
invalid (presumably because the largest relative time does not fit into
the available number of bits).

Arguably this is a bug in Codec.Midi, or anyway it's an undocumented
limitation. The proper solution is probably somewhat
complicated/convoluted: do a tempo change before and after very long
time differences, when (or before) serializing the Midi data.

There's little point in implementing that fix though, because this giant
midi file is not practically useful anyway.

0 files changed, 0 insertions, 0 deletions