FStar icon indicating copy to clipboard operation
FStar copied to clipboard

Try error message is in terms of try_with identifier.

Open briangmilnes opened this issue 1 year ago • 0 comments

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.

briangmilnes avatar Aug 14 '24 16:08 briangmilnes