Re: [racket-dev] Pre-Release Checklist for v6.1.1
Ryan Culpepper writes: > * Mike Sperber > - 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 writes: > * Mike Sperber > - 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 writes: > * Mike Sperber > - 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 writes: > Matthew Flatt 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 writes: > * Mike Sperber > - 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
Matthew Flatt 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
[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] Release for v6.0 has begun
Ryan Culpepper 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 writes: > * Mike Sperber > - 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 writes: > * Mike Sperber > - 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.2
Ryan Culpepper writes: > * Mike Sperber > - 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 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) # 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 writes: > * Mike Sperber > - 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 writes: > * Mike Sperber > - 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.3
Ryan Culpepper writes: > * Mike Sperber > - 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 writes: > Checklist items for the v5.2.1 release > * Mike Sperber > - 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] [racket] Disable/Enable Tests
Robby Findler writes: > On Mon, Nov 28, 2011 at 1:30 AM, Michael Sperber > wrote: >> Some tests (especially check-property-based tests) are expensive, and >> you don't always want to run them - especially with world/universe-based >> code. Is there a way to have that option only with the student >> languages? > > The option currently affects only the student languages, I believe. Yes, exactly, that was my point. -- 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] [racket] Disable/Enable Tests
Robby Findler writes: > [ moved to dev ] > > Apparently this broke somewhere in between v5.0 (June 2010) where it > works and v5.1 (Feb 2011) where it doesn't. I can't use git bisect to > find the precise commit because the earlier version doesn't compile on > either my windows or my mac machine (mac is lion and windows uses too > new of a version of visual studio). > > And I *hate* touching this code because something always ends up > broken. I got really mad last time this code broke and so I hope we > have better test suites now because of that, but I'm really not > excited by the prospect of trying to change it again. Not only is the > code hard to understand because it is poorly written, it is also > unclear what parts of DrRacket it influences. > > Given all of this, my inclination is to simply remove this option. So > far the only one who has spoken in favor of it gave a reason that > (thankfully) no longer applies. > > Any objections? Comments? > > Mike? Some tests (especially check-property-based tests) are expensive, and you don't always want to run them - especially with world/universe-based code. Is there a way to have that option only with the student languages? -- 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.2
Ryan Culpepper writes: > * Mike Sperber > - 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] signatures?
Danny Yoo writes: > I tried the following program in ASL. In Definitions: > > ; > (: g (Number -> Number)) > (define g > (lambda (x) > (if (= x 0) > x > (list "three" x > ;; > > I ran Definitions, and then in my Interactions window, entered: > >> (g 20) > > I got back a result that was not a number, but I did not see an > expected signature error. Should I? I tried this in Die Macht der > Abstraktion, with identical results. This got broken sometime since 5.1, where it still works: Could you file a bug report? -- 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 writes: > 11 hours ago, Michael Sperber wrote: >> >> I still need Stephen Chang's commit to be merged over: >> >> commit 8956364387fa25ffeb51e50fc1a83c20fd88af32 >> Author: Stephen Chang >> 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, Second Call
Ryan Culpepper writes: > * Mike Sperber > - Stepper Tests I still need Stephen Chang's commit to be merged over: commit 8956364387fa25ffeb51e50fc1a83c20fd88af32 Author: Stephen Chang Date: Sun Jul 24 12:18:09 2011 -0400 change recon-val in stepper to use render-to-sexpr for non-lazy lists -- 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 writes: > I've made a push that should fix both these problems. The push should > be included in the release. > > The stepper was intercepting rendering of lists so that infinite lists > could be handled, but I've restored deferring to render-to-sexp for > non-lazy lists. Works for me - thanks for the very quick response - this takes a huge stone off my neck! -- 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 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 # 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] Pre-Release Checklist for v5.1.2
Ryan Culpepper 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. -- 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 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
Robby Findler writes: > On Thu, Jul 7, 2011 at 2:48 AM, Michael Sperber > wrote: >> >> Eli Barzilay 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] New error messages for *SL
Eli Barzilay 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
Eli Barzilay 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
Jay McCarthy writes: > If you read the documentation as a textbook when you start > programming, I can see wanting to see something that says "cond is the > same as before". But, if you read the documentation as a reference > when you have a problem it is frustrating to chase through a few links > to get the "real" documentation. 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). 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. -- 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
Robby Findler writes: > On Sat, Apr 23, 2011 at 7:28 AM, Michael Sperber > wrote: >> >> Ryan Culpepper writes: >> >>> * Mike Sperber >>> - DMdA Tests >>> - Stepper Tests >>> - Signature Tests >> >> Pending the merge of 7f9bd528573ddbe5c3b4607e0b9d842e93662427 into the >> release branch, done. (Thanks, Robby!) > > I hate to be a pest, but do you mind re-running your tests now that we > have a build with my commit in it? Done. (Sorry for being unclear: I had previously manually merged your patch and run the tests. But either way worked.) -- 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 writes: > * Mike Sperber > - 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 writes: > * Mike Sperber > - 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] Removing Xexpr preference from Web Server
Jay McCarthy writes: > I would like to remove the implicit preference the Web Server gives to > Xexprs and the old esoteric bytes response format. This is backwards > incompatible change, but I think it will make the server better in the > long run as it will promote other HTML encodings, like the xml and > html modules, Eli's new system, SXML, etc. I am interested in your > opinion. Yay! -- 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 writes: > Number 2 probably changed a while back when signatures were > introduced, I'd guess. That one is not so easy to roll back. I specifically fixed this at some point - it may also be related to the "namespace changes". I'll try to look at it later today, but can't make any promises - I'm pretty swamped today and tomorrow. -- 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 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 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 ; 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] [PATCH] Use png_set_expand_gray_1_2_4_to_8 when compiling with libpng-1.4
Mariusz Ceier writes: > According to [1] png_set_gray_1_2_4_to_8 was renamed to > png_set_expand_gray_1_2_4_to_8 in libpng-1.4.0 > > [1] http://libpng.sourceforge.net/ANNOUNCE-1.4.0.txt > > Signed-off-by: Mariusz Ceier > --- > src/wxcommon/wxJPEG.cxx |4 > 1 files changed, 4 insertions(+), 0 deletions(-) > > diff --git a/src/wxcommon/wxJPEG.cxx b/src/wxcommon/wxJPEG.cxx > [...] Thanks - I've pushed the change. -- 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
Also, the DMdA "list" signature is called "list-of" for HtDP. -- 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 writes: > I found two things so far: > > 1. the basic signatures are lowercase in the docs, but are uppercase >for real. They are lowercase in the docs because they're lower-case in the DMdA languages. They're only uppercase in the HtDP languages. (You may remember that we discussed this.) > 2. When you restrict a function with a signature, you can still >misapply it in the REPL: Yes - it is exactly the same as with check-expect. (And, once it's fixed with check-expect, it'll magically be fixed with signatures.) I don't know how to fix this, unfortunately. This, and the other minor issues (some error messages; coverage for struct signatures) seem like good subjects for a mini hack-a-thon at ICFP - we haven't gotten very far by e-mail. -- 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 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
Eli Barzilay writes: > I don't know of any plan for signatures, but if it would be bad to > advertise it if it's not included... Jay/Ryan--?? Signatures are already in there (look in the log in collects/lang) - they're just not documented yet. They already give you this, for example: (define-struct foo (a b)) (define-struct bar (c d)) (define foo-or-bar (signature (mixed foo bar))) At the very least, `define-datatype' should also define a signature. -- 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
Sorry, I'm just seeing this now: Eli Barzilay writes: > Final version, after some edits and reorganization. > * The Advanced Student Language now supports hash-table primitives, > `define-datatype' for defining sets of related structs, and > `match' for pattern matching. Is it a good idea to advertise `define-datatype', given the impending introduction of signatures? Is it even needed? Also, it does not seem to have been merged to the release branch: define-datatype: name is not defined, not a parameter, and not a primitive name -- 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
Matthias Felleisen writes: > 1. Indentation matters. This point is entirely orthogonal to syntax. >It applies to Racket and Honu as well. t's been a long time (several years) since I've heard substantial complaints about parens or prefix syntax from beginning students. Also, since we've emphasized indentation a bit more, they generally get indentation right. What they *don't* get right is line breaks: They all act like they're writing code on their 38" TVs. (Kind of surprising to me, given that it's the texting/twitter generation.) -- 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 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
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
