Noah Ma

> I'm confused by what you write at the beginning/in the title. Are you running into performance problems with using parameter/c, or with typed/untyped interop using the Parameter type, or...

> If that's the case, then two uses of parameter/c should produce the same slowdown. You're right, I tried to use `cast` and it also made the program slow: ```racket...

Regarding 2., I just think that although the `CONS` in the first example is defined with nested `All`, but the use of `CONS` is very similar to `cons`, so `(inst...

Hi @samth , I tried to define `k?` in a module, but the problem still exists: ``` #lang typed/racket (module K typed/racket (provide (all-defined-out)) (define _ (gensym 'k)) (define k?...

It seems that we can use unit to circumvent this bug: ``` #lang typed/racket/base (require typed/racket/unit) (provide func-1 func-2) (define-type MNulls (MListof MNulls)) (define-signature funcs^ ([func-1 : [-> MNulls Any]]...

Hi @jackfirth, `Resyntax / build (pull_request_target)` always fails with error message: `ref refs/heads/master doesn't represent a pull request`. Is there something wrong here?

### What version of Racket are you using? `v8.2` ### What program did you run? ``` #lang typed/racket (: func [-> #:bool Boolean Any]) (define (func #:bool b) (cond [(eq?...

I'm not sure if I missed something or Typed Racket doesn't support using keywords to apply function: ### What version of Racket are you using? `v8.2` ### What program did...

Hi @mflatt , I have a similar situation and I wonder if we can add `#:new?` to `procedure-reduce-arity`, `procedure-rename`, etc to solve this problem?

> What about indenting with two tabs? Generally a tab is displayed longer than one space, so I think one tab is enough. In other cases spaces may be more...