typed-racket

typed-racket copied to clipboard

Add `typed/racket/stream`

1

This PR is postponed. An RFC needs made first, and changes to core typed/racket need made for this to work. `(StreamOf Type)` is very much needed. I am by no...

Lazerbeak12345

The `racket' language does not seem to have a type for this identifier; for stream->list

4

### What version of Racket are you using? Racket v7.7 ### What program did you run? ```racket (stream->list (in-range 0 3)) ``` ### What should have happened? return `'(0 1...

ailrk

#{x : t} should error when x is not a variable

2

### What version of Racket are you using? 8.7 ### What program did you run? ``` #{(cons 1 2) : Number} ``` ### What should have happened? It should error,...

sorawee

`in-list` in comprehension forms type-checks with anything

10

### What version of Racket are you using? `v7.0` ### What program did you run? ```racket #lang typed/racket/base (for ([n (in-list 53)]) 42) ``` ### What should have happened? Program...

philnguyen

Should simple-result-> stop using `with-contract-continuation-mark` ?

3

The `simple-result->` contract should maybe stop using `with-contract-continuation-mark` (`wccm`) to run as quickly as possible. Here is one program where `wccm` adds zero benefit but has big costs. This program...

bennn

checkpoint: add +2 fast paths for simple-result->

1

TODO how often do we hit the 4 paths in this PR? use the logger to find out

bennn

### What version of Racket are you using? 8.12.900 ### What program did you run? ```racket #lang typed/racket (define (foo3 [x : Boolean] [y : Boolean #f]) : Boolean (if...

jbclements

`require/typed` produces multiple inexplicable _unused require_ warnings. This is not strictly a problem but it still make me wonder what is going on here. ### What version of Racket are...

bjornkihlberg

While writing the example code in [this Discource reply](https://racket.discourse.group/t/using-formlets-from-with-typed-racket-formlet-process-and-typing/2834/2?u=liberalartist), I had to create the `request` value in the untyped submodule because `typed/web-server/http` did not provide constructors properly. As a more...

LiberalArtist

type mismatch when using `Float`s with `for/sum`

1

### What version of Racket are you using? `v8.12 [cs]` ### What program did you run? mve ```racket (for/sum : Float ([i : Float (in-range 0 1 0.1)]) i) ```...

citrusmunch