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
At Wed, 27 Oct 2010 23:40:27 -0600, Jon Rafkind wrote: 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 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 Thu, Oct 28, 2010 at 1:40 AM, Jon Rafkind rafk...@cs.utah.edu wrote: Author: Sam Tobin-Hochstadt sa...@racket-lang.org 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
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 matth...@ccs.neu.edu 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
I agree! Robby On Thu, Oct 28, 2010 at 7:59 AM, Matthias Felleisen matth...@ccs.neu.edu 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 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 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
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 rafk...@cs.utah.edu wrote: 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 -- Jay McCarthy j...@cs.byu.edu Assistant Professor / Brigham Young University http://teammccarthy.org/jay The glory of God is Intelligence - DC 93 _ 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
On Thu, Oct 28, 2010 at 12:29 PM, Eli Barzilay e...@barzilay.org 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
About a minute ago, Sam Tobin-Hochstadt wrote: On Thu, Oct 28, 2010 at 12:29 PM, Eli Barzilay e...@barzilay.org 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 10/28/2010 06:36 AM, Sam Tobin-Hochstadt wrote: On Thu, Oct 28, 2010 at 1:40 AM, Jon Rafkind rafk...@cs.utah.edu wrote: Author: Sam Tobin-Hochstadt sa...@racket-lang.org 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
About a minute ago, Sam Tobin-Hochstadt wrote: On Thu, Oct 28, 2010 at 12:41 PM, Eli Barzilay e...@barzilay.org wrote: About a minute ago, Sam Tobin-Hochstadt wrote: On Thu, Oct 28, 2010 at 12:29 PM, Eli Barzilay e...@barzilay.org 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/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 McCarthyj...@racket-lang.org - Adding define-datatype to ASL - PLAI changes - Webserver changes Author: Sam Tobin-Hochstadtsa...@racket-lang.org Faster loading of TR files? Author: Casey Kleinclkl...@racket-lang.org redex things? Author: Matthew Flattmfl...@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 Findlerro...@racket-lang.org - Check syntax changes - triangle primitives Author: Jay McCarthyj...@racket-lang.org - 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
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] 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 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
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
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] 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