Noah Ma

> call-with-values takes a values, i.e. Values is an argument to ->. From an abstract point of view I agree `Values` could be considered as an argument to `->` ,...

After thinking about it for a week, I guess I figure out my previous doubts. I try to think in terms of category theory. If we think of Racket's types...

> In addition to adding new subtyping rules, we could change the values type constructor so that it returns Nothing when there is zero type arguments or Nothing is one...

I think the problem should be caused by `require/typed`. After I add the types in `base-env.rkt` (https://github.com/racket/typed-racket/pull/1215), it works fine: ``` Welcome to Racket v8.4 [cs]. > (indexes-of '(1 2...

Subtype may affect `or` pattern's behavior: Following codes work: ``` #lang typed/racket (struct A ()) (struct B ([val : A])) (match (A) [(or (B val)) (ann val A)] [_ 'done])...

Hello, @samth. I only saw `make-weak-box` `weak-box-value` `weak-box?` in https://docs.racket-lang.org/reference/weakbox.html . I'm not so sure how to use `set-box!` to modify weak-box, do I miss something?: In racket: ``` Welcome...

But the value provided in this way seems to lose its contract: ### What program did you run? ``` #lang racket/base (module typed typed/racket/base (require typed/racket/unit) (provide (all-defined-out)) (define-type Non-Pair...

I tried to use `ooo` in the `List` as the return value's type, so I thought it was allowed for type constructors: ``` #lang typed/racket (: underlying (All (A ...)...

I'm not sure if this is normal for `All`: ``` > (:kind All) string:1:7: Type Checker: parse error in type; type name `All' is unbound in: All [,bt for context]...

Hi @capfredf , it seems that https://github.com/racket/typed-racket/pull/1200 doesn't fix this issue, and I guess this issue is not a duplicate of https://github.com/racket/typed-racket/issues/691.