FStar
FStar copied to clipboard
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.