Error locations when using assert_norm are off

[msprotz]

Compare:

with:

Thanks,

Jonathan

[mtzguido]

Ah nice, I've also seen this but didn't know what caused it. Here's a small repro:

module Bug1563

let f (x y z : int) =
  assert_norm (x + x == y + y);
  assert (x + y == y + x);
  42

[nikswamy]

There's work on this by Qunyan in a branch. I'll try to revive it.