let rec diverge (n : int) : int
= match n with
| 0 -> 0
| _ -> diverge (n + 1)
in a buffer with M-x flycheck-list-errors up.
The minbuffer (at the bottom) gets the error but not the Flycheck errors buffer.
Using the flycheck error buffer is very nice for the visually impaired, such as myself.
Try module Bug
let rec diverge (n : int) : int = match n with | 0 -> 0 | _ -> diverge (n + 1)
in a buffer with M-x flycheck-list-errors up. The minbuffer (at the bottom) gets the error but not the Flycheck errors buffer. Using the flycheck error buffer is very nice for the visually impaired, such as myself.