Re: [racket-dev] Pre-Release Checklist for v5.0.2, second call

2010-10-27 Thread Noel Welsh
On Mon, Oct 25, 2010 at 6:46 PM, Ryan Culpepper ry...@ccs.neu.edu wrote:
 * Noel Welsh noelwe...@gmail.com
  - Rackunit Tests
  - SRFI Tests
  - Ensure that all claimed srfi's are in the installer and they all
    load into racket or drracket (as appropriate)

DONE

N.
_
  For list-related administrative tasks:
  http://lists.racket-lang.org/listinfo/dev


Re: [racket-dev] [plt] Push #21356: gr2 branch updated

2010-10-27 Thread Sam Tobin-Hochstadt
 mflatt has updated `gr2' from 5633895cf0 to 2b2de4ece6.
  http://git.racket-lang.org/plt/5633895cf0..2b2de4ece6

So, I see from this commit that you're planning to move the version
number to 5.5.  I think this is a mistake.  We've been trying to be
more conventional in our project managment, and I think we should
stick with just incrementing the version.  There's no reason that 5.1
can't be a significant improvement over 5.0, and skipping versions
just adds potential for confusion.

Other than that, yay for GR2!
-- 
sam th
sa...@ccs.neu.edu
_
  For list-related administrative tasks:
  http://lists.racket-lang.org/listinfo/dev


[racket-dev] Equality test for Not-A-Number

2010-10-27 Thread Doug Williams
What is the correct way to test for +nan.0 in Racket? For example, (= +nan.0
+nan.0) = #f. This seems to be the behavior specified in R6RS. In the
science collection I implemented nan? using eqv?, which seems to work in
Racket; but the result is explicitly unspecified in R6RS, which I assume
means that it's up to the implementation. Which pretty much leaves eq? as
the proper test. R6RS includes primitives like nan? and infinite?, which I
included a long time ago in the science collection. Obviously one can use
them from the r6rs libraries, but should they be moved into the racket
language?

Doug
_
  For list-related administrative tasks:
  http://lists.racket-lang.org/listinfo/dev

Re: [racket-dev] [plt] Push #21356: gr2 branch updated

2010-10-27 Thread Robby Findler
On Wed, Oct 27, 2010 at 2:32 PM, Sam Tobin-Hochstadt sa...@ccs.neu.edu wrote:
 mflatt has updated `gr2' from 5633895cf0 to 2b2de4ece6.
  http://git.racket-lang.org/plt/5633895cf0..2b2de4ece6

 So, I see from this commit that you're planning to move the version
 number to 5.5.  I think this is a mistake.  We've been trying to be
 more conventional in our project managment, and I think we should
 stick with just incrementing the version.  There's no reason that 5.1
 can't be a significant improvement over 5.0, and skipping versions
 just adds potential for confusion.

 Other than that, yay for GR2!

Matthew and I did talk about this briefly and it seems like this is
more than +0.1, but less than a +1.0 change to the version number.
We've done this in the past about 3 times, which is low given how
often we've changed the version number.

Is there no conventional precedent for this?

Robby
_
  For list-related administrative tasks:
  http://lists.racket-lang.org/listinfo/dev

Re: [racket-dev] [plt] Push #21356: gr2 branch updated

2010-10-27 Thread Sam Tobin-Hochstadt
On Wed, Oct 27, 2010 at 4:22 PM, Robby Findler
ro...@eecs.northwestern.edu wrote:
 Is there no conventional precedent for this?

There are several numbering schemes in use in projects that I know about:

1. major.minor.patch, as with us.  The Linux Kernel, GCC, Subversion,
Git, and many many other projects use this.
2. major.minor with no patch revisions.  FreeBSD, KDE, Emacs, and
other projects do this.
3. major.even-minor. with odd-minor indicating development releases.
Gnome and various other projects use this.

None of these in my experience have incremented by more than +1 (or +2
in case 3), even for significant changes. For example, GCC 4.5 added
whole-program link time optimization and a plugin system (both very
significant changes) over version 4.4.

An additional thought: what if we make a similarly-significant change
after 5.8?  What will the new number be?
-- 
sam th
sa...@ccs.neu.edu
_
  For list-related administrative tasks:
  http://lists.racket-lang.org/listinfo/dev


Re: [racket-dev] FFI problem, possibly related to chaperones

2010-10-27 Thread John Clements

On Oct 27, 2010, at 9:54 AM, Matthew Flatt wrote:

 I think Robby recently changed DrRacket so that user programs don't
 share `ffi/unsafe' with DrRacket. That would lead to multiple
 `s16vector' structure types (which didn't occur to me when Robby asked
 if it would be ok to not share), and that might be what you're seeing.

Okay, that makes sense.  

I talked to Robby a bit, and it sounds like the issue here is that unsafe pulls 
in all kinds of other stuff that makes DrRacket big. 

If I read the source correctly, then it would be possible to pull out the 
one-liner 

(define-struct cvector (ptr type length))

... from unsafe/cvector.rkt and put it somewhere where it can be shared between 
DrRacket and user programs. It would appear to me that this would produce a 
single representation for cvectors, and perhaps by extension for the derived 
s16vector, etc. 

Am I understanding this correctly?

John



smime.p7s
Description: S/MIME cryptographic signature
_
  For list-related administrative tasks:
  http://lists.racket-lang.org/listinfo/dev

Re: [racket-dev] 5.0.2 changelog

2010-10-27 Thread Jay McCarthy
On Tue, Oct 26, 2010 at 12:34 PM, Jon Rafkind rafk...@cs.utah.edu wrote:
 Here is the raw changelog for 5.0.2. If you would like to summarize your
 changes please do so, otherwise someone (me/eli/ryan) will do it for
 you. If there are any other important items to note for this release
 please make a note of them.

 Matthew Flatt
 commit bf4fc2574c06132fece7342219fe6ea589e42f6d
    fix syntax colorer for #true and #false
 commit 99df8e126790077c11b4363a273ebf777bff8514
    allow internal definitions in `when', `unless', `cond, `case', `match'
 commit 15302dc844ecf931145f895677cc8eb765b69960
    adjust futures to decouple blocked futures from worker threads
     which required adding a notion of lightweight continuation to
     the runtime system, where a lightweight continuation involves
     only frames from JIT0generated code (so that details of the stack
     layout are known, for example)

 Mike Sperber
 commit 38cf78e213ee8f246ce322becb419aaed6ec2391
    Allow specifying arbitary expressions in a signature declaration.

    Fixes PR 11282

 Vincent St-Amour
 commit 8baa1682af76965400ab1071a46f8ba50f7c7165
    Turned the optimizer on by default.
 commit 8d6230956dc8c207c097a389fa1f0c7273bb55b7
    Documented the optimizer.

 Jon Rafkind
 commit d112eb4ceb8b94aebf1f699d1591386579e07a22
    add line numbers pane to drracket

 Will M. Farr
 commit beb21754564fa8f20eae7e0e3109f2c1d06260c4
    Added flvector-copy (with tests and docs).
 commit 82096abb1b6fd4a8872f528437ba95c44a4aedba
    Added interation forms for/vector, for*/vector, for/flvector, and
 for*/flvector and for-clause in-flvector.

 Jay McCarthy
 commit 01a41a812e83d0fb3a31940de0b52504ac4bbdb6
    Closing pr11216. Adding one armed check-error to teaching languages.
 commit d17deb5fef8342e2dc25b6ddd027bd71d6373a8f
    Adding hash table functions to ASL
 commit 407dcee206678785b4b87bb513d7ba5f55ad8ab5
    Adding match to ASL
 commit 347e946548c26bd51b682284816aa7f6f34b2d92
    Adding WebSocket support

I don't know where this list came from but it is lacking.

There are some changes to PLAI and to the Web server.

Jay


 Stevie Strickland
 commit ec0711bf4996dde06ecddbc8fcb95f44987a6915
    Add chaperone contract-related properties.

      * Flat contracts are chaperone contracts, and chaperone contracts
        are (proxy) contracts.
      * Check in chaperone contracts that a chaperone (or chaperone-friendly
        value) is indeed returned.

 Ryan Culpepper
 commit 5a8d2f010e9e7858ff8c32ffadf73adac11cd98a
    added data/gvector, docs (need tests)
 commit d7a87c79e0211071fecb8474e6f7f66317b089d4
    Merged changes to syntax/parse
      Changed backtracking algorithm, runtime representations
        - syntax classes, ~describe no longer implicitly commit
        - ~describe no longer delimits effect of cut
      Added keyword  optional args for stxclasses
      Added ~do and #:do, ~post, ~commit and #:commit,
        ~delimit-cut and #:no-delimit-cut
      Added syntax/parse/debug, syntax/parse/experimental/*
        - expr/c for contracting macro sub-expressions
          moved from syntax/parse to syntax/parse/experimental/contract
        - syntax class reflection (~reflect, ~splicing-reflect)
        - eh-alternative-sets (~eh-var)
        - provide-syntax-class/contract
          (only for params, not attrs so far)
      Changed ~fail to not include POST progress (#:fail still does)
        old (~fail _) is now (~post (~fail _))
      Made msg argument of ~fail optional
      Removed generic repetition constraint violated msg
      Removed atom-in-list stxclass
      Removed unnecessary datum-syntax on cdr of pair pattern
        massive improvements to long-list microbenchmarks
      Optimization: integrable syntax classes (id, expr, keyword)
        need better measurements
      Optimization: ad hoc elimination of head/tail choice point
        for (EH ... . ()) patterns
      Added unstable/wrapc (proc version of expr/c)

 Robby Findler
 commit 5e01ac55373d2987410da7d95f26f42535cfae3b
    added a pinhole property to images
 commit 561ac12a91e02fbc298272cc97d96e00d92f98ae
    got started on the -i parser

 Sam Tobin-Hochstadt
 commit 0635fc6d7542ea412e4586ca6ca051fdd2d91adb
    Create data/ collection.

     - Initially populated with queues, skip-lists, and interval-maps
 from unstable/
     - Tests in tests/data, docs in data/scribblings

 Jens Axel Søgaard
 commit 64c3a98e45bda91b39eb811456ab409b72f0936e
    Added triangle/sss, triangle/ass, triangle/sas, triangle/ssa,
 triangle/aas, triangle/asa, and, triangle/saa.

 Kevin Tew
 commit 5bb2e148de87457ebb4790287d3b83b872c91a78
    Parallel docs build
 _
  For list-related administrative tasks:
  http://lists.racket-lang.org/listinfo/dev




-- 
Jay McCarthy j...@cs.byu.edu
Assistant Professor / Brigham Young University
http://teammccarthy.org/jay

The glory of God is Intelligence - DC 93

Re: [racket-dev] Equality test for Not-A-Number

2010-10-27 Thread David Herman
Does (not (= x x)) work? That's the way people sometimes do it JavaScript, so 
it can't be wrong.

Dave

On Oct 27, 2010, at 1:20 PM, Doug Williams wrote:

 What is the correct way to test for +nan.0 in Racket? For example, (= +nan.0 
 +nan.0) = #f. This seems to be the behavior specified in R6RS. In the science 
 collection I implemented nan? using eqv?, which seems to work in Racket; but 
 the result is explicitly unspecified in R6RS, which I assume means that it's 
 up to the implementation. Which pretty much leaves eq? as the proper test. 
 R6RS includes primitives like nan? and infinite?, which I included a long 
 time ago in the science collection. Obviously one can use them from the r6rs 
 libraries, but should they be moved into the racket language?
 
 Doug
 _
  For list-related administrative tasks:
  http://lists.racket-lang.org/listinfo/dev

_
  For list-related administrative tasks:
  http://lists.racket-lang.org/listinfo/dev


Re: [racket-dev] 5.0.2 changelog

2010-10-27 Thread Jon Rafkind
Would people like a list of their own commits and they can choose which
ones should have an accompanying release note?

$ git log da9b718bf80c3e678e1d9372c521d512e0b91747..master --author=rafkind


On 10/27/2010 03:55 PM, Jay McCarthy wrote:
 On Tue, Oct 26, 2010 at 12:34 PM, Jon Rafkind rafk...@cs.utah.edu wrote:
 Here is the raw changelog for 5.0.2. If you would like to summarize your
 changes please do so, otherwise someone (me/eli/ryan) will do it for
 you. If there are any other important items to note for this release
 please make a note of them.

 Matthew Flatt
 commit bf4fc2574c06132fece7342219fe6ea589e42f6d
fix syntax colorer for #true and #false
 commit 99df8e126790077c11b4363a273ebf777bff8514
allow internal definitions in `when', `unless', `cond, `case', `match'
 commit 15302dc844ecf931145f895677cc8eb765b69960
adjust futures to decouple blocked futures from worker threads
 which required adding a notion of lightweight continuation to
 the runtime system, where a lightweight continuation involves
 only frames from JIT0generated code (so that details of the stack
 layout are known, for example)

 Mike Sperber
 commit 38cf78e213ee8f246ce322becb419aaed6ec2391
Allow specifying arbitary expressions in a signature declaration.

Fixes PR 11282

 Vincent St-Amour
 commit 8baa1682af76965400ab1071a46f8ba50f7c7165
Turned the optimizer on by default.
 commit 8d6230956dc8c207c097a389fa1f0c7273bb55b7
Documented the optimizer.

 Jon Rafkind
 commit d112eb4ceb8b94aebf1f699d1591386579e07a22
add line numbers pane to drracket

 Will M. Farr
 commit beb21754564fa8f20eae7e0e3109f2c1d06260c4
Added flvector-copy (with tests and docs).
 commit 82096abb1b6fd4a8872f528437ba95c44a4aedba
Added interation forms for/vector, for*/vector, for/flvector, and
 for*/flvector and for-clause in-flvector.

 Jay McCarthy
 commit 01a41a812e83d0fb3a31940de0b52504ac4bbdb6
Closing pr11216. Adding one armed check-error to teaching languages.
 commit d17deb5fef8342e2dc25b6ddd027bd71d6373a8f
Adding hash table functions to ASL
 commit 407dcee206678785b4b87bb513d7ba5f55ad8ab5
Adding match to ASL
 commit 347e946548c26bd51b682284816aa7f6f34b2d92
Adding WebSocket support
 I don't know where this list came from but it is lacking.

 There are some changes to PLAI and to the Web server.

 Jay

 Stevie Strickland
 commit ec0711bf4996dde06ecddbc8fcb95f44987a6915
Add chaperone contract-related properties.

  * Flat contracts are chaperone contracts, and chaperone contracts
are (proxy) contracts.
  * Check in chaperone contracts that a chaperone (or chaperone-friendly
value) is indeed returned.

 Ryan Culpepper
 commit 5a8d2f010e9e7858ff8c32ffadf73adac11cd98a
added data/gvector, docs (need tests)
 commit d7a87c79e0211071fecb8474e6f7f66317b089d4
Merged changes to syntax/parse
  Changed backtracking algorithm, runtime representations
- syntax classes, ~describe no longer implicitly commit
- ~describe no longer delimits effect of cut
  Added keyword  optional args for stxclasses
  Added ~do and #:do, ~post, ~commit and #:commit,
~delimit-cut and #:no-delimit-cut
  Added syntax/parse/debug, syntax/parse/experimental/*
- expr/c for contracting macro sub-expressions
  moved from syntax/parse to syntax/parse/experimental/contract
- syntax class reflection (~reflect, ~splicing-reflect)
- eh-alternative-sets (~eh-var)
- provide-syntax-class/contract
  (only for params, not attrs so far)
  Changed ~fail to not include POST progress (#:fail still does)
old (~fail _) is now (~post (~fail _))
  Made msg argument of ~fail optional
  Removed generic repetition constraint violated msg
  Removed atom-in-list stxclass
  Removed unnecessary datum-syntax on cdr of pair pattern
massive improvements to long-list microbenchmarks
  Optimization: integrable syntax classes (id, expr, keyword)
need better measurements
  Optimization: ad hoc elimination of head/tail choice point
for (EH ... . ()) patterns
  Added unstable/wrapc (proc version of expr/c)

 Robby Findler
 commit 5e01ac55373d2987410da7d95f26f42535cfae3b
added a pinhole property to images
 commit 561ac12a91e02fbc298272cc97d96e00d92f98ae
got started on the -i parser

 Sam Tobin-Hochstadt
 commit 0635fc6d7542ea412e4586ca6ca051fdd2d91adb
Create data/ collection.

 - Initially populated with queues, skip-lists, and interval-maps
 from unstable/
 - Tests in tests/data, docs in data/scribblings

 Jens Axel Søgaard
 commit 64c3a98e45bda91b39eb811456ab409b72f0936e
Added triangle/sss, triangle/ass, triangle/sas, triangle/ssa,
 triangle/aas, triangle/asa, and, triangle/saa.

 Kevin Tew
 commit 5bb2e148de87457ebb4790287d3b83b872c91a78
Parallel docs build
 _
  For list-related administrative tasks:
  

Re: [racket-dev] 5.0.2 changelog

2010-10-27 Thread Eli Barzilay
Please reply to Jon with release messages soon -- that's the only
thing left for the release.
-- 
  ((lambda (x) (x x)) (lambda (x) (x x)))  Eli Barzilay:
http://barzilay.org/   Maze is Life!
_
  For list-related administrative tasks:
  http://lists.racket-lang.org/listinfo/dev


Re: [racket-dev] 5.0.2 changelog

2010-10-27 Thread Robby Findler
On Tue, Oct 26, 2010 at 2:54 PM, Robby Findler
ro...@eecs.northwestern.edu wrote:
 The contract library's dependent contracts are now faster and properly
 assign blame when they are internally inconsistent see the docs for
 -i for more details.

(this one is still okay).

 The 2htdp/image library now supports pinholes (but if you do not use
 the pinhole primitives then you do not see the pinholes).

should be:

The 2htdp/image library now supports pinholes (but if you do not use
the pinhole primitives then you do not see the pinholes), has a number
of new triangle functions, and supports conversion of images to color
lists and back. Also, the treatment of cropping has been improved for
scenes; see the documentation section on the nitty-gritty of pixels
for details.

Also, don't forget that we moved the signatures to ASL (and improved
various aspects of the implementation).

Robby
_
  For list-related administrative tasks:
  http://lists.racket-lang.org/listinfo/dev


Re: [racket-dev] [plt] Push #21356: gr2 branch updated

2010-10-27 Thread Eli Barzilay
7 hours ago, Jon Rafkind wrote:
 I agree with Sam. A change from 5.2 to 5.5 wouldn't make me think
 oh, lots of stuff changed but not enough to warrant a major
 number, instead I would think well what happened to 5.3 and 5.4?

(I find this point to be the most convincing for a 5.1 version.)

-- 
  ((lambda (x) (x x)) (lambda (x) (x x)))  Eli Barzilay:
http://barzilay.org/   Maze is Life!
_
  For list-related administrative tasks:
  http://lists.racket-lang.org/listinfo/dev


[racket-dev] 5.0.2 changelog

2010-10-27 Thread Jon Rafkind
Please find your name below and provide some blurb for the 5.0.2 changelog

Author: Jay McCarthy j...@racket-lang.org
- Adding define-datatype to ASL
- PLAI changes
- Webserver changes

Author: Sam Tobin-Hochstadt sa...@racket-lang.org
Faster loading of TR files?

Author: Casey Klein clkl...@racket-lang.org
redex things?

Author: Matthew Flatt mfl...@racket-lang.org
Modules spliced at the file level instead of collection level.
Internal definitions for `when', `unless', `cond', `case', and `match'
#true and #false forms

Author: Robby Findler ro...@racket-lang.org
- Check syntax changes
- triangle primitives

Author: Jay McCarthy j...@racket-lang.org
- New hash functions

Author: ryan
   - data/gvector
   - syntax/parse updates
_
  For list-related administrative tasks:
  http://lists.racket-lang.org/listinfo/dev