Elm has the option to output errors as JSON (via a flag), and something like that is handy for writing tooling around it. I'm trying to integrate pytype into ALE and this would make it a lot easier.

My goal is to have the best documentation for each provided type.

If something is unclear in any of the types, please comment or open a PR to improve it.

Some things you could contribute:

• Fix typos.
• Improved description of the type.
• More examples.
• Provide more real-world use-cases. This helps the user understand where a type might come in handy.
• Add links to relevant discu

For tests in cli/ we end up executing them and comparing the output with the expected one in different ways.

For example between suggest-sig and autocorrect-abstract.

As noted by @jez [here](sorbet/sorbet#3381 (comment)

What version of Racket are you using?

7.2

What program did you run?

#lang typed/racket/base

(require/typed/provide racket/base
  [(add1 inc) (Integer -> Integer)])

What should have happened?

Program compiles, as doc for require/typed/provide suggests:

(require/typed/provide m rt-clause ...)

I don't know if this is a bug or it is intended a