Re: [racket-dev] Release Announcement for v5.0.1 -- final version
Matthias Felleisen matth...@ccs.neu.edu writes: works in Beginner. It turns out however that even the German docs are broken. I should have explored more when Mike merged this in. Then again, I doubt we will have many Americans reading these docs. What's broken? -- Cheers =8-} Mike Friede, Völkerverständigung und überhaupt blabla _ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev
Re: [racket-dev] Release Announcement for v5.0.1 -- final version
On Aug 3, 2010, at 3:08 AM, Michael Sperber wrote: Matthias Felleisen matth...@ccs.neu.edu writes: works in Beginner. It turns out however that even the German docs are broken. I should have explored more when Mike merged this in. Then again, I doubt we will have many Americans reading these docs. What's broken? I found two things so far: 1. the basic signatures are lowercase in the docs, but are uppercase for real. 2. When you restrict a function with a signature, you can still misapply it in the REPL: (: f (Integer - Integer)) (define (f x) x) (f hello) ;; in Defs: violation of signature ;; in REPL: returns hello The biggest flaw is mine. The code is in the base but there's no documentation. -- Matthias _ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev
Re: [racket-dev] Release Announcement for v5.0.1 -- final version
On Mon, Aug 2, 2010 at 4:31 AM, Eli Barzilay e...@barzilay.org wrote: On Aug 2, Matthias Felleisen wrote: On Aug 2, 2010, at 6:11 AM, Eli Barzilay wrote: And for the (near) future -- figure out what's happenning in the teaching languages. I get the impression that things are moving there almost randomly. No, this isn't random; it is unsynchronized: (Yeah, I used random in a random sense...) -- Shriram asked Jay to add define-datatype (and hashes? was there more?) define-datatype, match, hashes These are the commits: http://github.com/plt/racket/commit/407dcee206678785b4b87bb513d7ba5f55ad8ab5 http://github.com/plt/racket/commit/eeada45868d73c02b59f5c1ecd16e414d5a114ac http://github.com/plt/racket/commit/9eb053d4db1efd2881e1f749ad6b1eb12a6e8152 -- Robby, Mike, and I decided to move signatures into BSL, ... but I underestimated when I'd get to the translation of the documentation So: 1. I propose to release as is: no addition to ASL, no docs for signatures 2. I propose to sync at PLT Day, in person. OK -- that leaves messes #1 (are Jay's changes included or not?) and #2 (test it properly) to sort out. -- ((lambda (x) (x x)) (lambda (x) (x x))) Eli Barzilay: http://barzilay.org/ Maze is Life! -- 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] Release Announcement for v5.0.1 -- final version
At Mon, 2 Aug 2010 04:42:41 -0600, Jay McCarthy wrote: These are the commits: Those are from July 22, one week after the branch for 5.0.1, so they would not normally be considered candidates for the 5.0.1 release. _ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev
Re: [racket-dev] Release Announcement for v5.0.1 -- final version
We should try to make sure that only commit messages from commits in the release branch are considered for the release notes process. Do we a script that does it or does someone pick through them manually? Jay On Mon, Aug 2, 2010 at 1:14 PM, Robby Findler ro...@eecs.northwestern.edu wrote: Eli: are you saying that those commits were not included in the testing bundles? If so, why do we need to re-run the release tests? (Or is there something else?) Robby On Mon, Aug 2, 2010 at 2:12 PM, Eli Barzilay e...@barzilay.org wrote: On Aug 2, Jay McCarthy wrote: On Mon, Aug 2, 2010 at 4:31 AM, Eli Barzilay e...@barzilay.org wrote: On Aug 2, Matthias Felleisen wrote: On Aug 2, 2010, at 6:11 AM, Eli Barzilay wrote: And for the (near) future -- figure out what's happenning in the teaching languages. I get the impression that things are moving there almost randomly. No, this isn't random; it is unsynchronized: (Yeah, I used random in a random sense...) -- Shriram asked Jay to add define-datatype (and hashes? was there more?) define-datatype, match, hashes These are the commits: http://github.com/plt/racket/commit/407dcee206678785b4b87bb513d7ba5f55ad8ab5 http://github.com/plt/racket/commit/eeada45868d73c02b59f5c1ecd16e414d5a114ac http://github.com/plt/racket/commit/9eb053d4db1efd2881e1f749ad6b1eb12a6e8152 (For future references, the sha1 is all that is needed.) None of these commits are included. This leaves the last mess: running proper tests. -- ((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 _ 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
[racket-dev] Release Announcement for v5.0.1 -- final version
Final version, after some edits and reorganization. -- * Datalog is a lightweight deductive database system with Racket integration. It is now available in the `datalog' collection and with `#lang datalog'. * Racklog provides Prolog-style logic programming in Racket, adapted from Dorai Sitaram's Schelog package. It is available in the `racklog' collection and now as `#lang racklog'. * By default `make install' and `raco setup' compile collections in parallel on all available processors. (Use `raco setup -j 1' to disable, if necessary.) * Changes (as part of 5.0) in the `racket' language compared to the `scheme' language: constructor-style printing, a `struct' alternative to `define-struct' that fits more naturally with `match' and constructor-style printing, bytecode-dependency management via SHA-1 hashes instead of just timestamps (where the `openssl/sha1' library provides the SHA-1 hash function), a reorganization of `scheme/foreign' into `ffi/unsafe' and associated libraries, and new printing functions `eprintf' and `displayln'. Also, a generator from `racket/generator' is required to have the form `(generator () body ...)', which supports a planned extension to let a generator accept arguments. * Changes to the `racket' language (since 5.0): internal-definition positions allow mixing expressions with definitions, full continuations can escape past a continuation barrier, custodians can attempt to terminate subprocesses and subprocess groups (see `current-subprocess-custodian-mode', `subprocess-group-enabled'), the JIT supports additional unboxing flonum operations and unsafe variants, `ffi/unsafe' provides an asychronous-call mechanism to deal with foreign threads, a new . modifier for format string directives (e.g., ~.s and ~.a) limits the respective output to `(error-print-width)' characters. * The core type system of Typed Racket has been substantially revised. In particular, Typed Racket can now follow significantly more sophisticated reasoning about the relationships between predicates. Additionally, Typed Racket now allows variable arity types in more places, allowing programmers to specify variable-arity lists. * We are working on an optimizing version of Typed Racket that takes advantage of type information for certain classes of programs. This project is a work in progress. For those interested, see the documentation for `#:optimized'. * The `web-server/formlets' library adds a `formlet*' form that allows dynamic formlet construction, as opposed to `formlet' which requires syntactic Xexprs and static formlets. Several new library formlets are added. * The `syntax/parse' library has new support for matching literals at different phases using the `#:phase' argument for literals and literal sets. * RackUnit now includes a GUI test runner as `rackunit/gui'. * The Advanced Student Language now supports hash-table primitives, `define-datatype' for defining sets of related structs, and `match' for pattern matching. * The `2htdp/image' library now includes `flip-vertical' and `flip-horizontal' operations that mirror images (vertically and horizontally). -- -- ((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