Re: [racket-dev] Pre-Release Checklist for v6.1.1
Ryan Culpepper ry...@ccs.neu.edu writes: * Mike Sperber sper...@deinprogramm.de - DMdA Tests - Stepper Tests - Signature Tests Done. -- Regards, Mike _ Racket Developers list: http://lists.racket-lang.org/dev
Re: [racket-dev] Pre-Release Checklist for v6.1
Ryan Culpepper ry...@ccs.neu.edu writes: * Mike Sperber sper...@deinprogramm.de - DMdA Tests - Stepper Tests - Signature Tests Done. -- Regards, Mike _ Racket Developers list: http://lists.racket-lang.org/dev
Re: [racket-dev] Pre-Release Checklist for v6.0.1
Ryan Culpepper ry...@ccs.neu.edu writes: * Mike Sperber sper...@deinprogramm.de - DMdA Tests - Stepper Tests - Signature Tests Done. -- Regards, Mike _ Racket Developers list: http://lists.racket-lang.org/dev
Re: [racket-dev] Can't build on Mac OS X anymore
Michael Sperber sper...@deinprogramm.de writes: Matthew Flatt mfl...@cs.utah.edu writes: I don't recognize that error. What version of Mac OS X and the C toolchain are you using? Mountain Lion, XCode 5.0.2, and this gcc: i686-apple-darwin11-llvm-gcc-4.2 (GCC) 4.2.1 (Based on Apple Inc. build 5658) (LLVM build 2336.11.00) So getting Xcode to re-install the command-line utils fixed the problem. Sorry - I figured just installing Xcode would take care of that. -- Regards, Mike _ Racket Developers list: http://lists.racket-lang.org/dev
Re: [racket-dev] Pre-Release Checklist for v6.0
Ryan Culpepper ry...@ccs.neu.edu writes: * Mike Sperber sper...@deinprogramm.de - DMdA Tests - Stepper Tests - Signature Tests Done. -- Regards, Mike _ Racket Developers list: http://lists.racket-lang.org/dev
[racket-dev] Can't build on Mac OS X anymore
I pulled plt-release, and get this: mkdir -p Racket.framework/Versions/5.91.0.900 gcc -o Racket.framework/Versions/5.91.0.900/Racket -pthread -framework CoreFoundation -dynamiclib -all_load libracket.a libmzgc.a -ldl -lm -liconv ld: warning: could not create compact unwind for _ffi_call_unix64: does not use RBP or RSP based frame rm -f Racket.framework/Racket ln -s Versions/5.91.0.900/Racket Racket.framework/Racket gcc -I. -I../../racket/include -g -O2 -Wall -DOS_X -D_DARWIN_UNLIMITED_SELECT -pthread -fno-common -DINITIAL_COLLECTS_DIRECTORY=''`cd ../../racket/../../collects; pwd`'' -DINITIAL_CONFIG_DIRECTORY=''`cd ../../racket/../..; pwd`/etc'' -c ../../racket/main.c -o main.o gcc -o racketcgc -pthread main.o -Wl,-headerpad_max_install_names -F. -framework Racket -ldl -lm -liconv /usr/bin/install_name_tool -change Racket.framework/Versions/5.91.0.900/Racket @executable_path/Racket.framework/Versions/5.91.0.900/Racket racketcgc /usr/bin/install_name_tool: object: racketcgc malformed object (unknown load command 4) Anybody know what's going on? -- Regards, Mike _ Racket Developers list: http://lists.racket-lang.org/dev
Re: [racket-dev] Can't build on Mac OS X anymore
Matthew Flatt mfl...@cs.utah.edu writes: I don't recognize that error. What version of Mac OS X and the C toolchain are you using? Mountain Lion, XCode 5.0.2, and this gcc: i686-apple-darwin11-llvm-gcc-4.2 (GCC) 4.2.1 (Based on Apple Inc. build 5658) (LLVM build 2336.11.00) -- Regards, Mike _ Racket Developers list: http://lists.racket-lang.org/dev
Re: [racket-dev] Release for v6.0 has begun
Ryan Culpepper ry...@ccs.neu.edu writes: The release process for v6.0 has begun: the `release' branch was created for any work that is left and is now bumped to v5.91. You can go on using the `master' branch as usual, it is now bumped to v6.0.0.1 (to avoid having two different trees with the same version). Right now, I get (from a fresh build, commit d3665c2cdb3ee36bf723e339d887399ffd89fc01): expected: real? given: #f argument position: 1st other arguments...: 0 context...: /afs/informatik.uni-tuebingen.de/home/sperber/build/plt-release/racket/collects/dynext/filename-version.rkt:14:4: loop /afs/informatik.uni-tuebingen.de/home/sperber/build/plt-release/racket/collects/dynext/filename-version.rkt: [running body] /afs/informatik.uni-tuebingen.de/home/sperber/build/plt-release/racket/collects/compiler/distribute.rkt: [traversing imports] /afs/informatik.uni-tuebingen.de/home/sperber/build/plt-release/pkgs/drracket-pkgs/drracket/drracket/private/language.rkt: [traversing imports] /afs/informatik.uni-tuebingen.de/home/sperber/build/plt-release/pkgs/drracket-pkgs/drracket/drracket/private/link.rkt: [traversing imports] /afs/informatik.uni-tuebingen.de/home/sperber/build/plt-release/pkgs/drracket-pkgs/drracket/drracket/tool-lib.rkt: [traversing imports] /afs/informatik.uni-tuebingen.de/home/sperber/build/plt-release/pkgs/drracket-pkgs/drracket/drracket/private/drracket-normal.rkt: [running body] /afs/informatik.uni-tuebingen.de/home/sperber/build/plt-release/pkgs/drracket-pkgs/drracket/drracket/drracket.rkt: [running body] On related news, http://pre.racket-lang.org/release/ gives me a 404. Did I miss something? -- Regards, Mike _ Racket Developers list: http://lists.racket-lang.org/dev
Re: [racket-dev] Pre-Release Checklist for v5.3.6
Ryan Culpepper ry...@ccs.neu.edu writes: * Mike Sperber sper...@deinprogramm.de - DMdA Tests - Stepper Tests - Signature Tests Done. -- Regards, Mike _ Racket Developers list: http://lists.racket-lang.org/dev
Re: [racket-dev] Pre-Release Checklist for v5.3.4
Ryan Culpepper ry...@ccs.neu.edu writes: * Mike Sperber sper...@deinprogramm.de - DMdA Tests - Stepper Tests - Signature Tests Done. -- Regards, Mike _ Racket Developers list: http://lists.racket-lang.org/dev
Re: [racket-dev] [racket-bug] all/13315: TR error messages from raco setup unhelpful
Thanks Asumu for making those fixes! Asumu Takikawa as...@ccs.neu.edu writes: On 5.3.1, you'll have to add extra type instantiations in the tests or just remove the test files. I was also e-mailing Sam about this, so some wires got crossed: Sam, Asumu's fixes make the build go through now. Sam also asked about the REPL output: (queue 1 2 3) - : (Queue Any) #Queue I gather that in earlier versions of Racket, I'd get (Queue Positive-Byte) or something similar. Is (ann (queue 1 2 3) (Queue Integer)) the right fix for this? It seems awfully awkward. -- Regards, Mike _ Racket Developers list: http://lists.racket-lang.org/dev
Re: [racket-dev] Pre-Release Checklist for v5.3.1
Ryan Culpepper r...@cs.utah.edu writes: * Mike Sperber sper...@deinprogramm.de - DMdA Tests - Stepper Tests - Signature Tests Done. -- Regards, Mike _ Racket Developers list: http://lists.racket-lang.org/dev
Re: [racket-dev] Pre-Release Checklist for v5.3
Ryan Culpepper r...@cs.utah.edu writes: * Mike Sperber sper...@deinprogramm.de - DMdA Tests - Stepper Tests - Signature Tests Done. -- Cheers =8-} Mike Friede, Völkerverständigung und überhaupt blabla _ Racket Developers list: http://lists.racket-lang.org/dev
Re: [racket-dev] Pre-Release Checklist for v5.2.1
Ryan Culpepper r...@cs.utah.edu writes: Checklist items for the v5.2.1 release * Mike Sperber sper...@deinprogramm.de - DMdA Tests - Stepper Tests - Signature Tests Done. -- Cheers =8-} Mike Friede, Völkerverständigung und überhaupt blabla _ Racket Developers list: http://lists.racket-lang.org/dev
Re: [racket-dev] Pre-Release Checklist for v5.2
Ryan Culpepper r...@cs.utah.edu writes: * Mike Sperber sper...@deinprogramm.de - DMdA Tests - Stepper Tests - Signature Tests Done. -- 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] Pre-Release Checklist for v5.1.2, Second Call
Eli Barzilay e...@barzilay.org writes: 11 hours ago, Michael Sperber wrote: I still need Stephen Chang's commit to be merged over: commit 8956364387fa25ffeb51e50fc1a83c20fd88af32 Author: Stephen Chang stchang...@gmail.com Date: Sun Jul 24 12:18:09 2011 -0400 change recon-val in stepper to use render-to-sexpr for non-lazy lists There was a conflict with that change -- I've finally resolved it and started a new build. Thanks - works now, and I'm done with my tests. -- 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] Pre-Release Checklist for v5.1.2
Stephen Chang stch...@ccs.neu.edu writes: - Stepper Tests Printing in the Stepper is broken yet again. (I get backquote printing for the DMdA levels for lists.) I'll try to fix it Monday or Tuesday. Mike, is the DMdA stepper the same as the HtDP stepper? Yes. I'm only seeing 1 dmda test in collects/tests/stepper but it doesnt have any lists. Can you describe the failing test case? Pick the DeinProgramm - Die Macht der Abstraktion language. Type, say (list 1 2) and Step. You should get #list 1 2 printed as an evaluation result (which is how it's printed in the REPL), instead you get `(1 2). Help with this would be much appreciated! -- 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] New error messages for *SL
Matthias Felleisen matth...@ccs.neu.edu writes: Are the SIGNATURES in the beginner funs definitions and elsewhere fed to Mike's signature checker? If so, we need to roll back a commit I made for a small change to atan and that Eli just rolled over to the release. You mean those in the documentation? No. -- 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] New error messages for *SL
Eli Barzilay e...@barzilay.org writes: 25 minutes ago, Michael Sperber wrote: For the record, I fully agree with Guillaume. I was puzzling over the exact same issue when I was doing the docs for the DMdA teaching languages, came out with the exact same reasoning as Guillaume, and ran against the exact same problem (as Eli may remember). (I don't...) Generally, redundancy is often a useful and appropriate tool in documentation. So it would be great if Scribble would provide more direct support for it. It's just code, so you do have direct support. Yeah, well, except you run into trouble almost immediately because that code contains references, and Scribble is sensitive to all kinds of side conditions involving references. At the time, you proposed a complicated macro to work around the ensuing problems. -- 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] New error messages for *SL
Eli Barzilay e...@barzilay.org writes: Yeah, well, except you run into trouble almost immediately because that code contains references, and Scribble is sensitive to all kinds of side conditions involving references. I'm talking about the references to identifiers, and sections. Guillaume and I want pure, verbatim duplication of a piece of documentation. At the time, you proposed a complicated macro to work around the ensuing problems. No, it was you. This must have been in 2009. -- 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] New error messages for *SL
Robby Findler ro...@eecs.northwestern.edu writes: On Thu, Jul 7, 2011 at 2:48 AM, Michael Sperber sper...@deinprogramm.de wrote: Eli Barzilay e...@barzilay.org writes: Yeah, well, except you run into trouble almost immediately because that code contains references, and Scribble is sensitive to all kinds of side conditions involving references. I'm talking about the references to identifiers, and sections. Guillaume and I want pure, verbatim duplication of a piece of documentation. Is the issue is that you want the links in one copy of the docs to go to one place and the links in another copy to go in another place and Scribble's use of lexical scope to do linking is getting in your way? Yes. -- 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] Pre-Release Checklist for v5.1.1
Ryan Culpepper ry...@ccs.neu.edu writes: * Mike Sperber sper...@deinprogramm.de - DMdA Tests - Stepper Tests - Signature Tests Pending the merge of 7f9bd528573ddbe5c3b4607e0b9d842e93662427 into the release branch, done. (Thanks, Robby!) -- 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] Pre-Release Checklist for v5.1
Ryan Culpepper ry...@ccs.neu.edu writes: * Mike Sperber sper...@deinprogramm.de - DMdA Tests - Stepper Tests - Signature Tests Done. -- 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] internal definitions stepper
Robby Findler ro...@eecs.northwestern.edu writes: How recently did the change come in that allows internal definitions all over the place? And how broken did this make the stepper? Pretty broken: There are now (let () ...)s all over the place. (I've sent separate e-mail to John and Matthew.) -- 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] define-struct exports something to BSL
Nadeem Abdul Hamid nad...@acm.org writes: Consider a beginner file with: (define-struct boa (name length)) Student writes a template/function with parameter named a-boa, but misspells one occurrence, writing boa instead of a-boa. (define (feed a-boa) (make-boa (boa-name a-boa) (boa-length boa))) Their tests then fail at runtime with: boa-length: expects argument of type struct:boa; given (make-signature ...) Why is boa as a type visible at all in the student languages? The make-signature thing is really confusing, because they recognize it as something like a constructor but they don't know what structure it corresponds to. This is my fault: We're working on something called signatures, which can take the place of a contract comment, but is instead checked by the system. For example, one could write for the functions above: (: make-boa (string number - boa)) (: boa-name (boa - string)) (: boa-length (boa - number)) (: feed (boa - boa)) ^^^ This is why `boa' is available, and why you get output identifying boa as a signature. (Before the introduction of signatures, it would say illegal use of syntax - I'm not sure that's much better.) The work on signatures is not quite done yet (and undocumented ...), but we're working hard on completing it in the near future. -- 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
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] P4P: A Syntax Proposal
Just a note, it does look not entirely unsimilar to: http://srfi.schemers.org/srfi-49/srfi-49.html (For a good chuckle, look at the discussion archive.) -- 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] P4P: A Syntax Proposal
Shriram Krishnamurthi s...@cs.brown.edu writes: They're very different, actually. And Per Bothner's final post on the thread -- http://srfi.schemers.org/srfi-49/mail-archive/msg00021.html -- points in the direction of P4P, not SRFI-49. Well, except for a bunch of renamings (... in the direction of ... Common Lisp ...?), that doesn't really show yet. -- Cheers =8-} Mike Friede, Völkerverständigung und überhaupt blabla _ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev