> On Jan 25, 2016, at 1:24 PM, Vincent St-Amour > <stamo...@eecs.northwestern.edu> wrote: > > The release announcement sketch that I have so far is below. Please > mail me new items and/or edits. > > Please phrase announcements using complete sentences and avoid the > word "now". > ----------------------------------------------------------------------
> Alex Knauth: > - Allow separate read and write contracts for box/c (67e3899272792c2e5) Does this work? Box contracts allow separate contracts for controlling reading from and writing to the box, which lets contracts make writing to a box more restrictive than reading from the same box. -- You received this message because you are subscribed to the Google Groups "Racket Developers" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-dev+unsubscr...@googlegroups.com. To post to this group, send email to racket-dev@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-dev/117E4EE5-1EFB-4971-A974-B969DACCA593%40knauth.org. For more options, visit https://groups.google.com/d/optout.
