Re: [racket-dev] 5.0.2 changelog
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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