[racket-dev] help wanted: watch out for missing `@history[...]`

From: Sam Tobin-Hochstadt (samth at cs.indiana.edu)
Date: Mon Jun 30 13:01:58 EDT 2014

On Mon, Jun 30, 2014 at 5:25 AM, Matthew Flatt <mflatt at cs.utah.edu> wrote:
> Similarly, I don't know how much it makes sense to document refinements
> to types in `typed/...` libraries (and I'll leave that question to the
> TR implementers).

I think we make a design choice to make a type stricter/less strict,
it's worth recording, but just changing to follow Racket changes or
where it didn't fit Racket shouldn't get history entries.


Posted on the dev mailing list.