Closed
Description
Original bug ID: 7147
Reporter: @Drup
Assigned to: @diml
Status: closed (set by @xavierleroy on 2017-09-24T15:33:10Z)
Resolution: fixed
Priority: low
Severity: text
Target version: 4.03.1+dev
Fixed in version: 4.04.0 +dev / +beta1 / +beta2
Category: ~DO NOT USE (was: OCaml general)
Monitored by: @Drup @gasche @diml @hcarty
Bug description
The errors introduced by the extension point [%ocaml.error "foo"] are not as pretty as the other errors. They don't have a colored Error:
prefix.