Alistair
Alistair
I was thinking about this, what if we parameterized the range type in diagnostics e.g. ```ocaml module type Range = sig type t include Pretty_printer.S with type t := t...
Definitely a bug! 🐛 It is likely related to empty ranges and ranges at the end of lines.
There is a long history of requests for various kinds of empty types, including empty polymorphic variants. IIRC, the primary reason for prohibiting them it that we expect empty polymorphic...
> This PR is not the right way to go for fixing this issue. Agreed :) I'm also working with `type_approx` to try fix #14253, and I'm slightly hijacking this...
> The reason this example fails is that type approx is allowed to go under GADTs pattern matching. It just doesn't happen in practice because people tend to bind `(type...