diff options
| author | Christiana Anthony <ofonime41@gmail.com> | 2022-11-08 16:25:06 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-11-08 16:25:06 +0100 |
| commit | 7ed218ed01657b961116fb01463431c6019a7d00 (patch) | |
| tree | d17d8fc7c434a6e8b48539b2aeb2c141d92dcbcc /tools | |
| parent | fd113a31bd07d552420b1db2e6306cdf83d52368 (diff) | |
| download | ocaml-7ed218ed01657b961116fb01463431c6019a7d00.tar.gz | |
Add colors to error message hints (#11685)
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/ocamltex.ml | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/tools/ocamltex.ml b/tools/ocamltex.ml index 43e5c03a4c..e6b2c8cd0d 100644 --- a/tools/ocamltex.ml +++ b/tools/ocamltex.ml @@ -756,7 +756,7 @@ let process_file file = "when parsing a caml_example environment in@ \ %s, line %d:@,\ the signature mode is only compatible with \"caml_example*\"@ \ - Hint: did you forget to add \"*\"?" + @{<hint>Hint@}: did you forget to add \"*\"?" file (line_number-2); | Text_transform.Intersection {line;file;left;right} -> fatal @@ -765,7 +765,8 @@ let process_file file = spanned the interval %d-%d,@ \ intersecting with another \"%a\" transform @ \ on the %d-%d interval.@ \ - Hind: did you try to elide a code fragment which raised a warning?" + @{<hint>Hint@}: did you try to elide a code fragment \ + which raised a warning?" file (line-2) Text_transform.pp left.kind left.start left.stop Text_transform.pp right.kind right.start right.stop |