 --> [ local path prefix ]/port_matching/repeated_name.fpp:6:3
  |
6 |   match p with p
  |   ^^^^^^^^^^^^^^ repeated name p

