Re: [racket-dev] `managed-compile-zo` seems to eat debug-level log messages

2013-01-24 Thread Matthew Flatt
(Sorry for the long delay...) At Wed, 16 Jan 2013 15:07:36 -0500, Sam Tobin-Hochstadt wrote: I think the problem is that the `accomplice-logger` in `compiler/cm` line 377 only gets looked at at level `'info`. If I change 'info on line 380 to 'debug, then the behavior changes to what I'd

Re: [racket-dev] make-log-receiver changed behavior in 5.3.2

2013-01-24 Thread Matthew Flatt
This change was mentioned in the release notes, but I really should have avoided the incompatibility. My thought was that a vector of 4 values usually works in place of a vector of 3 values, but that's not true in many cases, such as when `match' is used. At Fri, 18 Jan 2013 16:30:45 +0100,

[racket-dev] scriblib/figure

2013-01-24 Thread Matthew Flatt
I've overhauled `scriblib/figure' to make it work better, render better (e.g., with less content padding in HTML), and to be more configurable via CSS/Latex. The changes are not backward compatible for any use of `scriblig/figure' combined with overriding CSS or Latex macros to configure the

Re: [racket-dev] Release Announcement for v5.3.2

2013-01-24 Thread Asumu Takikawa
On 2013-01-17 13:57:51 -0500, Ryan Culpepper wrote: The release announcement sketch that I have so far is below. Please mail me new items and/or edits. I just remembered that this is the first release that will have `define/match` (df594d3b3bd69) as well. Is that worth mentioning or is it

[racket-dev] http vs https urls for pnr.racket-lang.org

2013-01-24 Thread Carl Eastlund
If I go to pnr.racket-lang.org, I get a page that says: It works! This is the default web page for this server. The web server software is running but no content has been added, yet. If I manually add https://; to the front, I get to the page I wanted with a list of all the packages. We

Re: [racket-dev] http vs https urls for pnr.racket-lang.org

2013-01-24 Thread Carl Eastlund
I maintain that I went to the right website, you just didn't know it yet. ;-) Carl Eastlund On Thu, Jan 24, 2013 at 12:44 PM, Jay McCarthy jay.mccar...@gmail.comwrote: Yes, someone else reported that when they go to a different website than the PNR they don't get to the PNR. I have it on my