Re: [racket-dev] 5.0.2 changelog

2010-10-28 Thread Ryan Culpepper



On 10/27/2010 11:40 PM, Jon Rafkind wrote:

Please find your name below and provide some blurb for the 5.0.2 changelog

Author: Jay McCarthy
 - Adding define-datatype to ASL
 - PLAI changes
 - Webserver changes

Author: Sam Tobin-Hochstadt
 Faster loading of TR files?

Author: Casey Klein
 redex things?

Author: Matthew Flatt
 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
 - Check syntax changes
 - triangle primitives

Author: Jay McCarthy
 - New hash functions

Author: ryan
- data/gvector


  The new data collection contains implementations of several
  data structures, including growable vectors and order-based
  dictionaries.


- syntax/parse updates


No, I think the changes are all either internal, experimental, or too 
subtle for a blurb.


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


Re: [racket-dev] 5.0.2 changelog

2010-10-28 Thread Eli Barzilay
About a minute ago, Sam Tobin-Hochstadt wrote:
> On Thu, Oct 28, 2010 at 12:41 PM, Eli Barzilay  wrote:
> > About a minute ago, Sam Tobin-Hochstadt wrote:
> >> On Thu, Oct 28, 2010 at 12:29 PM, Eli Barzilay  wrote:
> >> > Three hours ago, Matthias Felleisen wrote:
> >> >>
> >> >> On Oct 28, 2010, at 8:34 AM, Matthew Flatt wrote:
> >> >> >
> >> >> > None seem especially worth mentioning, but the internal-definition
> >> >> > change could be mentioned if we need more to Say:
> >> >> >
> >> >> > * The `when', `unless', `cond', `case', and `match' forms (in
> >> >> >   `racket/base' and derived languages) now allow immediate
> >> >> >   internal definitions.
> >> >>
> >> >> Just for the record: allowing internal definitions all over the
> >> >> place and mixing them properly with expressions has been one of the
> >> >> best small changes of the decade.
> >> >
> >> > BTW, there's another one that I think should get the same: `begin0'.
> >>
> >> That would be weird.  What do these do?
> >>
> >> (begin0 (define x 1) x)
> >> (let ([x 0]) (begin0 x (define x 1))
> >
> > I don't see what should be weird, those would be similar syntax errors
> > to what you get from
> >
> >  (begin0 (define x 1) (let () x))
> 
> This isn't any different from my first example.  What did you mean here?

I mean that the suggested `begin0' that I'm talking about will be
implemented with a `(let () ...)' around the body, and therefore the
error that you would get with

  (begin0 (define x 1) x)

is the same that you get now with:

  (begin0 (define x 1) (let () x))


> >  (let ([x 0]) (begin0 x (let () (define x 1
> 
> What about
> 
> (let ([x 0]) (begin0 x (define-syntax x #'1)))
> 
> or
> 
> (let ([x 0]) (begin0 x (define-syntax x #'1) 7))
> ?

Same for all of these (first is a syntax error, second is 0).  I don't
see anything problematic or surprising.

-- 
  ((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-28 Thread Jon Rafkind
On 10/28/2010 06:36 AM, Sam Tobin-Hochstadt wrote:
> On Thu, Oct 28, 2010 at 1:40 AM, Jon Rafkind  wrote:
>> Author: Sam Tobin-Hochstadt 
>>Faster loading of TR files?
> Not worth mentioning.
>
> You do have the optimizer-by-default in the changelog, right?
yessir
_
  For list-related administrative tasks:
  http://lists.racket-lang.org/listinfo/dev


Re: [racket-dev] 5.0.2 changelog

2010-10-28 Thread Sam Tobin-Hochstadt
On Thu, Oct 28, 2010 at 12:41 PM, Eli Barzilay  wrote:
> About a minute ago, Sam Tobin-Hochstadt wrote:
>> On Thu, Oct 28, 2010 at 12:29 PM, Eli Barzilay  wrote:
>> > Three hours ago, Matthias Felleisen wrote:
>> >>
>> >> On Oct 28, 2010, at 8:34 AM, Matthew Flatt wrote:
>> >> >
>> >> > None seem especially worth mentioning, but the internal-definition
>> >> > change could be mentioned if we need more to Say:
>> >> >
>> >> > * The `when', `unless', `cond', `case', and `match' forms (in
>> >> >   `racket/base' and derived languages) now allow immediate
>> >> >   internal definitions.
>> >>
>> >> Just for the record: allowing internal definitions all over the
>> >> place and mixing them properly with expressions has been one of the
>> >> best small changes of the decade.
>> >
>> > BTW, there's another one that I think should get the same: `begin0'.
>>
>> That would be weird.  What do these do?
>>
>> (begin0 (define x 1) x)
>> (let ([x 0]) (begin0 x (define x 1))
>
> I don't see what should be weird, those would be similar syntax errors
> to what you get from
>
>  (begin0 (define x 1) (let () x))

This isn't any different from my first example.  What did you mean here?

>  (let ([x 0]) (begin0 x (let () (define x 1

What about

(let ([x 0]) (begin0 x (define-syntax x #'1)))

or

(let ([x 0]) (begin0 x (define-syntax x #'1) 7))
?
-- 
sam th
sa...@ccs.neu.edu
_
  For list-related administrative tasks:
  http://lists.racket-lang.org/listinfo/dev


Re: [racket-dev] 5.0.2 changelog

2010-10-28 Thread Eli Barzilay
About a minute ago, Sam Tobin-Hochstadt wrote:
> On Thu, Oct 28, 2010 at 12:29 PM, Eli Barzilay  wrote:
> > Three hours ago, Matthias Felleisen wrote:
> >>
> >> On Oct 28, 2010, at 8:34 AM, Matthew Flatt wrote:
> >> >
> >> > None seem especially worth mentioning, but the internal-definition
> >> > change could be mentioned if we need more to Say:
> >> >
> >> > * The `when', `unless', `cond', `case', and `match' forms (in
> >> >   `racket/base' and derived languages) now allow immediate
> >> >   internal definitions.
> >>
> >> Just for the record: allowing internal definitions all over the
> >> place and mixing them properly with expressions has been one of the
> >> best small changes of the decade.
> >
> > BTW, there's another one that I think should get the same: `begin0'.
> 
> That would be weird.  What do these do?
> 
> (begin0 (define x 1) x)
> (let ([x 0]) (begin0 x (define x 1))

I don't see what should be weird, those would be similar syntax errors
to what you get from

  (begin0 (define x 1) (let () x))
  (let ([x 0]) (begin0 x (let () (define x 1

[You're probably thinking of

  (define-syntax-rule (begin0 b0 b ...) (let ([r b0]) b ... r))

which makes the second confusing in that it will not be a syntax error
but a useless definition.]

-- 
  ((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-28 Thread Sam Tobin-Hochstadt
On Thu, Oct 28, 2010 at 12:29 PM, Eli Barzilay  wrote:
> Three hours ago, Matthias Felleisen wrote:
>>
>> On Oct 28, 2010, at 8:34 AM, Matthew Flatt wrote:
>> >
>> > None seem especially worth mentioning, but the internal-definition
>> > change could be mentioned if we need more to Say:
>> >
>> > * The `when', `unless', `cond', `case', and `match' forms (in
>> >   `racket/base' and derived languages) now allow immediate
>> >   internal definitions.
>>
>> Just for the record: allowing internal definitions all over the
>> place and mixing them properly with expressions has been one of the
>> best small changes of the decade.
>
> BTW, there's another one that I think should get the same: `begin0'.

That would be weird.  What do these do?

(begin0 (define x 1) x)
(let ([x 0]) (begin0 x (define x 1))

On a different note, is it still important to have `begin0' as a core form?
-- 
sam th
sa...@ccs.neu.edu
_
  For list-related administrative tasks:
  http://lists.racket-lang.org/listinfo/dev


Re: [racket-dev] 5.0.2 changelog

2010-10-28 Thread Eli Barzilay
Three hours ago, Matthias Felleisen wrote:
> 
> On Oct 28, 2010, at 8:34 AM, Matthew Flatt wrote:
> > 
> > None seem especially worth mentioning, but the internal-definition
> > change could be mentioned if we need more to Say:
> > 
> > * The `when', `unless', `cond', `case', and `match' forms (in
> >   `racket/base' and derived languages) now allow immediate
> >   internal definitions.
> 
> Just for the record: allowing internal definitions all over the
> place and mixing them properly with expressions has been one of the
> best small changes of the decade.

BTW, there's another one that I think should get the same: `begin0'.

-- 
  ((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-28 Thread Jay McCarthy
Here are some change logs entries for me:

Web Server - formlets now provide more HTML form elements;
make-xexpr-response supports a preamble for DTD declarations;
serve/servlet supports stateless servlets

PLAI - correct source locations in test printing; corrected test
printing; various GC language improvements and fixes

OpenSSL - ssl-tcp-addresses compatible with tcp-addresses

Match - compiler now uses unsafe operations to improve performance
(we've observed 2x on match intensive loads)

*SL - one-armed check-error; hash operations added to ASL;
define-datatype added to ASL

Net - WebSocket implementation added

You may not find them important.

On Wed, Oct 27, 2010 at 11:40 PM, Jon Rafkind  wrote:
> Please find your name below and provide some blurb for the 5.0.2 changelog
>
> Author: Jay McCarthy 
>    - Adding define-datatype to ASL
>    - PLAI changes
>    - Webserver changes
>
> Author: Sam Tobin-Hochstadt 
>    Faster loading of TR files?
>
> Author: Casey Klein 
>    redex things?
>
> Author: Matthew Flatt 
>    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 
>    - Check syntax changes
>    - triangle primitives
>
> Author: Jay McCarthy 
>    - New hash functions
>
> Author: ryan
>       - data/gvector
>       - syntax/parse updates
> _
>  For list-related administrative tasks:
>  http://lists.racket-lang.org/listinfo/dev
>



-- 
Jay McCarthy 
Assistant Professor / Brigham Young University
http://teammccarthy.org/jay

"The glory of God is Intelligence" - D&C 93
_
  For list-related administrative tasks:
  http://lists.racket-lang.org/listinfo/dev

Re: [racket-dev] 5.0.2 changelog

2010-10-28 Thread Robby Findler
I agree!

Robby

On Thu, Oct 28, 2010 at 7:59 AM, Matthias Felleisen
 wrote:
>
> On Oct 28, 2010, at 8:34 AM, Matthew Flatt wrote:
>
>> At Wed, 27 Oct 2010 23:40:27 -0600, Jon Rafkind wrote:
>>> Author: Matthew Flatt 
>>>    Modules spliced at the file level instead of collection level.
>>>    Internal definitions for `when', `unless', `cond', `case', and `match'
>>>    #true and #false forms
>>
>> None seem especially worth mentioning, but the internal-definition
>> change could be mentioned if we need more to Say:
>>
>> * The `when', `unless', `cond', `case', and `match' forms (in
>>   `racket/base' and derived languages) now allow immediate internal
>>   definitions.
>
>
> Just for the record: allowing internal definitions all over the place and 
> mixing them properly with expressions has been one of the best small changes 
> of the decade.
> _
>  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-28 Thread Matthias Felleisen

On Oct 28, 2010, at 8:34 AM, Matthew Flatt wrote:

> At Wed, 27 Oct 2010 23:40:27 -0600, Jon Rafkind wrote:
>> Author: Matthew Flatt 
>>Modules spliced at the file level instead of collection level.
>>Internal definitions for `when', `unless', `cond', `case', and `match'
>>#true and #false forms
> 
> None seem especially worth mentioning, but the internal-definition
> change could be mentioned if we need more to Say:
> 
> * The `when', `unless', `cond', `case', and `match' forms (in
>   `racket/base' and derived languages) now allow immediate internal
>   definitions.


Just for the record: allowing internal definitions all over the place and 
mixing them properly with expressions has been one of the best small changes of 
the decade. 
_
  For list-related administrative tasks:
  http://lists.racket-lang.org/listinfo/dev


Re: [racket-dev] 5.0.2 changelog

2010-10-28 Thread Robby Findler
I don't agree with this. We put something in there. It has been there
for a full release cycle and we still don't have documentation.
Choosing to not mention it is not reasonable.

Instead I think a bullet like this is what we should put:

* signatures have been restricted to ASL (removed from BSL and ISL and
variants).

Possibly we should also put something about why (so SK can experiment).

Robby

On Thu, Oct 28, 2010 at 6:58 AM, Matthias Felleisen
 wrote:
>
> On Oct 27, 2010, at 11:12 PM, Robby Findler wrote:
>
>> Also, don't forget that we moved the signatures to ASL (and improved
>> various aspects of the implementation).
>
>
> And be sure to tell them that it is all un(English)documented.
> Do we really want to encourage the current syntax for heaven's
> sake? I am pretty sure I don't like it. Neither does Mike --
> he simply guessed what we might like.
>
> We should wait until Shriram has fixed into what he wants.
>
_
  For list-related administrative tasks:
  http://lists.racket-lang.org/listinfo/dev


Re: [racket-dev] 5.0.2 changelog

2010-10-28 Thread Sam Tobin-Hochstadt
On Thu, Oct 28, 2010 at 1:40 AM, Jon Rafkind  wrote:
>
> Author: Sam Tobin-Hochstadt 
>    Faster loading of TR files?

Not worth mentioning.

You do have the optimizer-by-default in the changelog, right?
-- 
sam th
sa...@ccs.neu.edu
_
  For list-related administrative tasks:
  http://lists.racket-lang.org/listinfo/dev


Re: [racket-dev] 5.0.2 changelog

2010-10-28 Thread Matthew Flatt
At Wed, 27 Oct 2010 23:40:27 -0600, Jon Rafkind wrote:
> Author: Matthew Flatt 
> Modules spliced at the file level instead of collection level.
> Internal definitions for `when', `unless', `cond', `case', and `match'
> #true and #false forms

None seem especially worth mentioning, but the internal-definition
change could be mentioned if we need more to Say:

 * The `when', `unless', `cond', `case', and `match' forms (in
   `racket/base' and derived languages) now allow immediate internal
   definitions.

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


Re: [racket-dev] 5.0.2 changelog

2010-10-28 Thread Matthias Felleisen

On Oct 27, 2010, at 11:12 PM, Robby Findler wrote:

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


And be sure to tell them that it is all un(English)documented. 
Do we really want to encourage the current syntax for heaven's 
sake? I am pretty sure I don't like it. Neither does Mike -- 
he simply guessed what we might like. 

We should wait until Shriram has fixed into what he wants. 
_
  For list-related administrative tasks:
  http://lists.racket-lang.org/listinfo/dev


Re: [racket-dev] 5.0.2 changelog

2010-10-28 Thread Casey Klein
On Thu, Oct 28, 2010 at 12:40 AM, Jon Rafkind  wrote:
> Please find your name below and provide some blurb for the 5.0.2 changelog
>
> Author: Jay McCarthy 
>    - Adding define-datatype to ASL
>    - PLAI changes
>    - Webserver changes
>
> Author: Sam Tobin-Hochstadt 
>    Faster loading of TR files?
>
> Author: Casey Klein 
>    redex things?
>

Nothing worth mentioning.

> Author: Matthew Flatt 
>    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 
>    - Check syntax changes
>    - triangle primitives
>
> Author: Jay McCarthy 
>    - New hash functions
>
> Author: ryan
>       - data/gvector
>       - syntax/parse updates
> _
>  For list-related administrative tasks:
>  http://lists.racket-lang.org/listinfo/dev
>
>
_
  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 
- Adding define-datatype to ASL
- PLAI changes
- Webserver changes

Author: Sam Tobin-Hochstadt 
Faster loading of TR files?

Author: Casey Klein 
redex things?

Author: Matthew Flatt 
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 
- Check syntax changes
- triangle primitives

Author: Jay McCarthy 
- New hash functions

Author: ryan
   - data/gvector
   - syntax/parse updates
_
  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
 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] 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 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  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, tri

Re: [racket-dev] 5.0.2 changelog

2010-10-27 Thread Jay McCarthy
On Tue, Oct 26, 2010 at 12:34 PM, Jon Rafkind  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 
Assistant Professor / Brigham Young University
http://teammccarthy.org/jay


Re: [racket-dev] 5.0.2 changelog

2010-10-26 Thread Vincent St-Amour
At Tue, 26 Oct 2010 12:34:07 -0600,
Jon Rafkind wrote:
> Vincent St-Amour
> commit 8baa1682af76965400ab1071a46f8ba50f7c7165
> Turned the optimizer on by default.
> commit 8d6230956dc8c207c097a389fa1f0c7273bb55b7
> Documented the optimizer.

- Typed Racket's optimizer is now turned on by default.
- Typed Racket's error messages are now simpler and clearer.

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


Re: [racket-dev] 5.0.2 changelog

2010-10-26 Thread John Clements

On Oct 26, 2010, at 12:53 PM, Matthias Felleisen wrote:

> 
> On Oct 26, 2010, at 3:51 PM, John Clements wrote:
> 
>> 
>> On Oct 26, 2010, at 12:28 PM, Matthias Felleisen wrote:
>> 
>>> 
>>> 1. BSL, BSL+, ISL, and ISL+ (HtDP teaching languages) no longer support 
>>> checked signatures. 
>>> 
>>> 2. The stepper should kind of mostly work for universe programs. John? 
>> 
>> Precisely.
>> 
>> That is: there's more junk that could be hidden, but the universe program 
>> that I tested did in fact work[*] just fine. Has this been broken long 
>> enough that fixing it deserves a bullet? I'm inclined to say no.
>> 
> 
> A year counts. 

Fair enough. 

"The stepper is now compatible with programs using the Universe teachpack."

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-26 Thread Robby Findler
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.

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

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


Re: [racket-dev] 5.0.2 changelog

2010-10-26 Thread Matthias Felleisen

On Oct 26, 2010, at 3:51 PM, John Clements wrote:

> 
> On Oct 26, 2010, at 12:28 PM, Matthias Felleisen wrote:
> 
>> 
>> 1. BSL, BSL+, ISL, and ISL+ (HtDP teaching languages) no longer support 
>> checked signatures. 
>> 
>> 2. The stepper should kind of mostly work for universe programs. John? 
> 
> Precisely.
> 
> That is: there's more junk that could be hidden, but the universe program 
> that I tested did in fact work[*] just fine. Has this been broken long enough 
> that fixing it deserves a bullet? I'm inclined to say no.
> 

A year counts. 

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


Re: [racket-dev] 5.0.2 changelog

2010-10-26 Thread John Clements

On Oct 26, 2010, at 12:28 PM, Matthias Felleisen wrote:

> 
> 1. BSL, BSL+, ISL, and ISL+ (HtDP teaching languages) no longer support 
> checked signatures. 
> 
> 2. The stepper should kind of mostly work for universe programs. John? 

Precisely.

That is: there's more junk that could be hidden, but the universe program that 
I tested did in fact work[*] just fine. Has this been broken long enough that 
fixing it deserves a bullet? I'm inclined to say no.

John

[*] please insert usual caveats re: use of the word "work".



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-26 Thread Jon Rafkind
On 10/26/2010 12:48 PM, Stevie Strickland wrote:
> On Oct 26, 2010, at 2:34 PM, Jon Rafkind 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.
>> 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.
> This isn't really the important commit to emphasize from an external 
> viewpoint.  Here's what I'd probably summarize for the release notes.
>

Yes I should have mentioned that some of the commits I picked are just
starting points for some feature set, rather than the commit itself
being the important thing to mention.
_
  For list-related administrative tasks:
  http://lists.racket-lang.org/listinfo/dev


Re: [racket-dev] 5.0.2 changelog

2010-10-26 Thread Stevie Strickland
On Oct 26, 2010, at 2:34 PM, Jon Rafkind 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.
> 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.

This isn't really the important commit to emphasize from an external viewpoint. 
 Here's what I'd probably summarize for the release notes.

-

The `box/c', `hash/c', `vector/c', and `vectorof' contract combinators now 
accept higher-order contracts.  In addition, operations on contracted mutable 
boxes, hash tables, and vectors are appropriately checked.  While the new 
behavior means that these contracts are now sound, the additional checking may 
impact performance.  The old behavior of these contracts is still available if 
desired: see the documentation for more details.

-

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


[racket-dev] 5.0.2 changelog

2010-10-26 Thread Jon Rafkind
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

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