Fred Fu

An equivalent problem would be ``` (: foo : F -> Void) (define (foo f) (if (equal? f #f) (void) (f))) ``` The reason those problem don't type-check as expected...

I was about to post the expanded code. @shhyou and @AlexKnauth are right. `equal?` can be improved, but given that f is a `F`, there is no way to make...

Should we also make other structs authentic, like those in `static-contracts/`?

you can convert this pr to a draft if you want

Apart from changing the type of `modulo`, we can use `#:with-refinements` to work around this: ``` #lang typed/racket/base #:with-refinements (ann (modulo 1000 256) Byte) ```

@samth do you think we should change the corresponding case of the type of `modulo` to fix the problem without using `#:with-refinements`. That is, `(-> Integer Byte Byte)` to `(->...

> In DrRacket, running the program repeatedly and quickly will crash DrRacket. This is surprising. cc @rfindler

@sorawee I can't reproduce a crash on Linux with 8.5 cs

Yeah, I get `#` as well. I just thought DrRacket had some kind of isolation between it and programs it ran

@ErikBjare I am getting this error using v0.12.0b2