On Mon, Jun 30, 2014 at 5:25 AM, Matthew Flatt <mfl...@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 _________________________ Racket Developers list: http://lists.racket-lang.org/dev
