Possibility to disable (defined as <TYPE>) in compiler output

It is possible to disable the display of expansion of types?

So:

  This has type:
    Belt.Result.t<array<unit => Js.Promise.t<result<string, string>>>, 'a>
      (defined as
      Belt_Result.t<array<unit => Js.Promise.t<result<string, string>>>, 'a>)
  Somewhere wanted: array<unit => Task.t<result<'b, string>>>

Becomes:

  This has type:
    Belt.Result.t<array<unit => Js.Promise.t<result<string, string>>>, 'a>
  Somewhere wanted: array<unit => Task.t<result<'b, string>>>

I rarely find them useful. On the contrary, they can make it a lot harder to see the actual type.

1 Like