Try error message is in terms of try_with identifier.

module ExceptionBadErrorMessage

exception E1
exception E2

let f () =
let n =
(try 1 with
E1 -> 2
| E2 -> 3
| _ -> 4)
in
n
reports
* Error 72 at ExceptionBadErrorMessage.fst(8,2-10,12):
- Identifier not found: [try_with]

1 error was reported (see above)

which is an odd message for what should be core syntax.

Start with the ExceptionBadErrorMessage reproducer in the issue and trace how the try/with syntax reaches the diagnostic that reports the missing [try_with] identifier. Check the compiler's syntax-error handling and existing diagnostic tests, if available. Done means the reproducer no longer reports this misleading identifier error for valid core syntax.

Written by the indexing model from the issue text.