FStarLang / FStar

A Proof-oriented Programming Language
https://fstar-lang.org
Apache License 2.0
2.7k stars 234 forks source link

Try error message is in terms of try_with identifier. #3373

Open briangmilnes opened 3 months ago

briangmilnes commented 3 months ago

module ExceptionBadErrorMessage

exception E1 exception E2

let f () = let n = (try 1 with E1 -> 2 | E2 -> 3 | _ -> 4) in n reports

1 error was reported (see above)

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