typed-racket

typed-racket copied to clipboard

What version of Racket are you using?

6.9.0.4

What program did you run?

(:type (All (r #:row) (Instance (Class #:row-var r))))
(:type (All (r #:row) (Object #:row-var r)))

What should have happened?

The first line prints the type (All (r #:row) (Object #:row-var r)). However, that type cannot be parsed back, as Object does not accept the #:row-var clause.

I suppose Object should allow #:row-var, and its documentation should be updated accordingly.

If you got an error message, please include it here.

Object: expected Object type clause in: (Object #:row-var r)