[] -> ""
| phase::tl ->
aux (n+1) tl ^
- "Errors obtained during phase " ^ string_of_int n ^":\n" ^
+ "** Errors obtained during phase " ^ string_of_int n ^": **\n" ^
String.concat "\n" (List.map Lazy.force phase) ^ "\n" ^ "\n"
in
- "DISAMBIGUATION ERROR:\n" ^
+ "*** DISAMBIGUATION ERROR: ***\n" ^
aux 1 errorll
| exn -> "Uncaught exception: " ^ Printexc.to_string exn