Sam Tobin-Hochstadt

I think it would be fine to fix this so that `--pkgs` did something closer to what was intended without adding a new command line option. If someone wanted to...

What exactly is different between this and `cast`? Is the issue that we need an `unsafe-cast`?

I think this is running together a few different issues. 1. Should there be a way to check whether a value has a type when that type cannot be turned...

Implementing `unsafe-cast` should be done directly, rather than using imports of trivial functions. But adding `unsafe-cast` to `typed/racket/unsafe` seems like a reasonable thing to do.

It's possible that this is actually also a bug in DrRacket, but just running the program shown there with the command line produces the `string-length` error.

That page then successfully redirected me to https://download.racket-lang.org/releases/8.13/doc/frtime/index.html which is correct.

On Mon, Apr 14, 2014 at 6:45 PM, Ryan Culpepper [email protected] wrote: > Use in-dict, etc from racket/dict. I think the proposed code may be significantly faster, since it generates...

@rmculpepper any thoughts?

@rmculpepper ping

Yes, this is available to work on. I've assigned it to you.