typed-racket

typed-racket copied to clipboard

### What version of Racket are you using? 8.1 ### What program did you run? ``` $ racket -I typed/racket > ,en some-file-with-typed-racket-code.rkt (add new definitions) > ,en some-file-with-typed-racket-code.rkt ```...

observant2

Terrible error message for incorrect use of `make-input-port

1

``` [samth@homer:~/.../ChezScheme/ta6le/mats (toom3) racket-8.0] r -I typed/racket Welcome to Racket v8.0 [cs]. > (make-input-port) ; readline-input:1:0: Type Checker: No function domains matched in function ; application: ; Domains: Any (->...

samth

### What version of Racket are you using? 8.0.900 ### What program did you run? ``` #lang racket (module foo typed/racket (provide f) (define-type Untidy (U (Pair 1 Any) (Pair...

jbclements

Is there no way to specify non-NaN flonum types?

1

### What version of Racket are you using? 8.0 ### What program did you run? `(:type #:verbose Positive-Float)` prints `(U Float-Nan Positive-Float-No-NaN)`, which is odd because `(positive? +nan.0)` returns `#f`....

Aeva

### What version of Racket are you using? 8.0.0.11--2021-03-15(c0cfd32/a) ### What program did you run? ``` #lang typed/racket (struct foo ([a : Integer]) #:transparent) (define (crash) (ann (struct-copy foo "hmm")...

default-kramer

#:type-name alias not provided with struct-out

1

Racket version: 6.4 When using `struct-out` on a struct with a `#:type-name` alias, the type alias isn't provided. Example program: ex.rkt ``` #lang typed/racket/base (provide (struct-out foo)) (struct foo ([value...

jackfirth

custom events require casting

1

Custom events cannot be supplied to `sync`. For example: ``` racket -> (struct: (a) reply ((evt : (Evtof a))) #:property prop:evt (struct-field-index evt)) -> (sync (reply always-evt)) ; readline-input:4:0: Type...

mordae

I mentioned [on the mailing list](https://groups.google.com/g/racket-users/c/vn3SQb6rOqA) that Typed Racket adds chaperones that seem unnecessary. I only found two examples, but if I find more I will update this item. ###...

default-kramer

capfredf

Bindings re-exported in submodules are not protected by contracts

1

### What version of Racket are you using? 8.0.0.12--2021-03-21(8bf8e3c/a) [cs] ### What program did you run? ``` #lang racket (module a typed/racket/base (define (f [a : Integer]) (add1 a)) (module+...

yjqww6