Re: [racket-dev] [plt] Push #26372: master branch updated

2013-02-26 Thread Matthew Flatt
I think part of the problem is distinguishing "module declarations" (which don't have a phase) from "module instantiations" (which are normally phase-specific). I want an adjective for a declaration that describes a treatment of its instances. "Phaseless" is bad, because no module declaration has

Re: [racket-dev] [plt] Push #26372: master branch updated

2013-02-26 Thread Ray Racine
all-phase modules static modules static-phase modules phase-invariant modules On Tue, Feb 26, 2013 at 5:31 PM, Vincent St-Amour wrote: > At Tue, 26 Feb 2013 16:59:01 -0500, > mfl...@racket-lang.org wrote: > > 899a327 Matthew Flatt 2013-02-26 14:14 > > : > > | add experimental support for "pha

Re: [racket-dev] [plt] Push #26372: master branch updated

2013-02-26 Thread Vincent St-Amour
At Tue, 26 Feb 2013 16:59:01 -0500, mfl...@racket-lang.org wrote: > 899a327 Matthew Flatt 2013-02-26 14:14 > : > | add experimental support for "phaseless" modules > | After reading the docs, I find the name "phaseless" confusing. IIUC, these modules are not special because they have no phase, bu

Re: [racket-dev] Tweaked doc pages

2013-02-26 Thread Asumu Takikawa
On 2013-02-26 09:53:11 -0500, Eli Barzilay wrote: > I have finally implemented a script that hacks the on-line doc pages. > Currently, it does the following (and you can see the changes on the > web now): Maybe I'm missing something, but the changes have been rolled back from the main page right?

[racket-dev] datalog tests failing on HEAD?

2013-02-26 Thread Danny Yoo
I'm seeing some severe failures of the datalog test suite on HEAD. Is anyone else seeing this? Here's what I'm seeing on my end: 128-110-92-136:datalog dyoo$ pwd /Users/dyoo/local/racket/collects/tests/datalog 128-110-92-136:datalog dyoo$ ~/local/racket/bin/raco test . [lots of output] Datalo

Re: [racket-dev] Tweaked doc pages

2013-02-26 Thread Matthias Felleisen
Thank you Eli. Thanks for taking the initiative because all pages at racket-lang.org should have the same look and feel. Please roll back the change so that dev can discuss the changes before we commit to them. On Feb 26, 2013, at 9:53 AM, Eli Barzilay wrote: > I have finally implemente

[racket-dev] Tweaked doc pages

2013-02-26 Thread Eli Barzilay
I have finally implemented a script that hacks the on-line doc pages. Currently, it does the following (and you can see the changes on the web now): 1. Slap the contents into a the usual template, so the doc pages finally look like they belong to the site rather than a cheap copy of what you