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

Input

→ View on sorbet.run

# typed: strict
class A
  extend T::Sig
  sig {returns(T.untyped)}
  attr_accessor :foo
end

Observed output

editor.rb:5: Use of undeclared variable @foo https://srb

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