(* TEST * toplevel *) (* Nothing to see here, parse.ml dictates that these be printed as regular "Syntax error". *) try foo () with ;; (3 : );; (3 :> );;