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

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.

Sam