Re: [racket-users] Safely allocating memory in places enabled world
At Mon, 2 Oct 2017 16:48:40 -0400, George Neuner wrote: > > On 10/2/2017 2:52 PM, Matthew Flatt wrote: > > Meanwhile, there's no similar way to order > > callbacks that are registered with a custodian. > > IIRC, the JVM executes finalizers in reverse order of registration - > expecting that, in your example, A would have been allocated before B. > Is that something that would work here? [He asks naively.] That's an interesting idea. Adding an order on finalization in general is not easy, but it might be easy enough for custodian-shutdown actions to be ordered that way, and it does seem like a helpful guarantee. -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
[racket-users] Re: Spacemacs Light & Dark Color Schemes for DrRacket
Thank you. I am forking this to add a few flat themes I have been using for the past few years. On Sunday, August 27, 2017 at 2:27:02 PM UTC-4, Christopher Walborn wrote: > > A few years back I added a DrRacket color scheme template to the Base16 > project and hosted a collection of these schemes which a few people have > found useful. Base16 has since changed and I haven't kept up with it. That > old collection should still work, but has always required some fine-detail > massaging of individual colors to really work well together in DrRacket. I > probably won't touch that repo again. > > However, I've now ported the Spacemacs light and dark themes for Emacs to > DrRacket color schemes. They are done manually and match the Emacs themes > pretty closely, and I'm far more likely to update these since I tend to > switch between them regularly. > > Here's the repo, including a couple screenshots: > > https://github.com/tuirgin/drracket-spacemacs-schemes > > -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
