Re: [racket-dev] Class contracts: opaque or transparent?

2012-04-28 Thread Guillaume Marceau
On Fri, Apr 27, 2012 at 5:55 PM, Asumu Takikawa wrote: > (and/c (class/c #:opaque [m (->m number? number?)]) >         (class/c #:opaque [n (->m number? number?)])) Would it be possible to do (opaque/c (and/c (class/c [m (->m number? number?)])         (class/c [n (->m number? n

Re: [racket-dev] "bookmarks" in drracket?

2012-02-04 Thread Guillaume Marceau
Note that the "Bookmark" features are almost always separate from the "Long Jump" features, both in key binding and in nomenclature. In Visual Studio: Jump to definition: F12 Jump back on the stack: C-* Jump forward on the stack: C-& Toggle a bookmark: C-k C-k Jump to next bookmark: C-k

Re: [racket-dev] [racket] Code compiled for version ~a, not ~a

2011-09-19 Thread Guillaume Marceau
On Sun, Sep 18, 2011 at 10:43 AM, Matthew Flatt wrote: > I've pushed a fix for the problem with forward slashes in PLTCOLLECTS. Thanks! >   >cd c:\matthew\collects >   >c:\matthew\plt\raco link uu-cs1410 >   >c:\matthew\plt\raco setup -D >   >c:\matthew\plt\drracket >     [ok --- tool works] I

Re: [racket-dev] [racket] Code compiled for version ~a, not ~a

2011-09-17 Thread Guillaume Marceau
On Sat, Sep 17, 2011 at 11:11 PM, Robby Findler wrote: > Whoops, I see we lost the mailing list at some point in this thread. We're back now. > If the former, then those are the directories that DrRacket > intentionally doens't compile (and those are the ones that I'd expect > you to have multi

Re: [racket-dev] Downloading DrRacket for Mac is hard?

2011-08-12 Thread Guillaume Marceau
On Fri, Aug 12, 2011 at 7:26 PM, Shriram Krishnamurthi wrote: > And I suspect this is precisely why FF makes Windows the default (as > Guillaume has shown us).  Everyone who's not on Windows is acutely > conscious of the fact that they are not, and knows what to do about > it. FF and all the oth

Re: [racket-dev] Downloading DrRacket for Mac is hard?

2011-08-11 Thread Guillaume Marceau
On Thu, Aug 11, 2011 at 3:03 PM, Guillaume Marceau wrote: > Or we can trust that the Mozilla Foundation's user interface designers has > already done the experiment. They have some of the best people of the > industry working for them, including Aza Raskin, son of Jef Raskin

Re: [racket-dev] Downloading DrRacket for Mac is hard?

2011-08-11 Thread Guillaume Marceau
Or we can trust that the Mozilla Foundation's user interface designers has already done the experiment. They have some of the best people of the industry working for them, including Aza Raskin, son of Jef Raskin, one of the original designer of the Macintosh. I see no reason to deviate from their d

Re: [racket-dev] Downloading DrRacket for Mac is hard?

2011-08-11 Thread Guillaume Marceau
On Thu, Aug 11, 2011 at 1:21 PM, Robby Findler wrote: > > On Thu, Aug 11, 2011 at 12:16 PM, Guillaume Marceau > wrote: > > In the ambiguous cases, you can get additional information by checking for > > flash. Because Adobe doesn't support flash player on x64 bro

Re: [racket-dev] Downloading DrRacket for Mac is hard?

2011-08-11 Thread Guillaume Marceau
On Thu, Aug 11, 2011 at 3:25 AM, Eli Barzilay wrote: > On Aug 10, 2011, at 11:33 PM, Guillaume Marceau wrote: >> Does the combo box auto detect the >> downloader's platform for the User-Agent header. > > Yes, in some cases when it's possible to make a guess. >

[racket-dev] Downloading DrRacket for Mac is hard?

2011-08-10 Thread Guillaume Marceau
I received a plea for help from a person who is attempting to learn how to program for the first time. They found the DrRacket download page and were presented 5 different options for downloading DrRacket for Mac:    Macintosh OS X (Intel i386)    Macintosh OS X (PPC)    Macintosh OS X (Intel x86_

Re: [racket-dev] New plot library [Was: (to Jay) Re: What I'm working on]

2011-08-02 Thread Guillaume Marceau
> Doug and other heavy `plot' users: What can I add to plot2d and plot3d to > make your life easier? Do you know about ggplot? It's a plotting library based on a grammar of graphic elements, rather than a bucket of pre-set charts, which is what most plotting libraries offer. The design principles

Re: [racket-dev] Release Announcement for v5.1.2

2011-08-01 Thread Guillaume Marceau
On Mon, Aug 1, 2011 at 11:48 AM, Eli Barzilay wrote: > * Simplified error messages in student languages, and use colors to >  add visual information (see the teachpack manual for guidelines on >  writing teachpacks).  (Is this the right place?  IIRC it moved.) > " * The error messages in the stud

Re: [racket-dev] language-specific documentation failed on 5.1.1

2011-07-19 Thread Guillaume Marceau
On Tue, Jul 19, 2011 at 2:08 PM, Robby Findler wrote: > On Tue, Jul 19, 2011 at 1:06 PM, Eli Barzilay wrote: > > Yesterday, Robby Findler wrote: > >> Also, when I disable cookies, I see that the context sensitive > >> search just silently doesn't work. > >> > >> Would it be possible to always hav

Re: [racket-dev] teaching language error messages

2011-07-19 Thread Guillaume Marceau
On Tue, Jul 19, 2011 at 12:03 PM, Robby Findler wrote: > I see that the teaching language error messages now have things like > this in them (where the . is an image literal): > > Welcome to DrRacket, version 5.1.2.3--2011-07-19(4b77a0fc/d) [3m]. > Language: Beginning Student; memory limit: 128 M

Re: [racket-dev] language-specific documentation failed on 5.1.1

2011-07-19 Thread Guillaume Marceau
Danny and I looked at this last night. Both Chrome and IE are failing, but in different ways. On Chrome, in my cookie file: c:/Documents and Settings/gmarceau/Local Settings/Application Data/Google/Chrome/User Data/Default/Cookies I have two entries for docs.racket-lang.org: docs.racket-l

Re: [racket-dev] language-specific documentation failed on 5.1.1

2011-07-18 Thread Guillaume Marceau
On Mon, Jul 18, 2011 at 7:21 PM, Robby Findler wrote: > I tried this too and it seems to work for me, even under windows with > firefox. > > So, I suspect that there is something subtle about the UI that Eli and > I are doing one way but others are doing another way that is > interacting badly wit

Re: [racket-dev] language-specific documentation failed on 5.1.1

2011-07-18 Thread Guillaume Marceau
were seeing this same behavior on Windows using Firefox. On Mon, Jul 18, 2011 at 3:12 PM, Eli Barzilay wrote: > 50 minutes ago, Guillaume Marceau wrote: > > On Mon, Jul 18, 2011 at 1:24 PM, Eli Barzilay wrote: > > > > > Something seems wrong. Specifically, I'm ge

Re: [racket-dev] language-specific documentation failed on 5.1.1

2011-07-18 Thread Guillaume Marceau
On Mon, Jul 18, 2011 at 1:24 PM, Eli Barzilay wrote: > Something seems wrong. Specifically, I'm getting the right results > (two matches from `2htdp/image' and one from `htdp/image'). What I > did was: > Where should I look to start debugging this? _

Re: [racket-dev] language-specific documentation failed on 5.1.1

2011-07-18 Thread Guillaume Marceau
In Beginner with the latest DrRacket from git. Write 'width' in the definition window, right click on it, choose "search help desk for 'width'". The result is: width (method of mx-element%) provided from mysterx :maxwidth in handin-server argb-width provided from mrlib/cache-image-sni

Re: [racket-dev] [plt] Push #23038: master branch updated

2011-07-15 Thread Guillaume Marceau
> Guillaume, I finally realize that you replace 'produce' with 'return'. WHY? > The use of 'produce' for functions in HtDP is pervasive. Do you really want > to use distinct vocabularies in teachpacks+langs and the book? I am not concerned with keeping consistency we HtDP v1. When I updated DrRa

Re: [racket-dev] New error messages for *SL

2011-07-15 Thread Guillaume Marceau
On Sat, Jul 9, 2011 at 10:17 AM, Matthew Flatt wrote: > I see that `case' is the only one in a blue box that doesn't fit, but I > meant the grammar at the start of each language section. It doesn't fit > for any of the languages on my machines (i.e., some line extends > further than the beige bar

Re: [racket-dev] intro videos

2011-07-14 Thread Guillaume Marceau
On Thu, Jul 14, 2011 at 1:42 PM, Eli Barzilay wrote: > Yes -- paredit is exactly an attempt to get the always-balanced > benefits of structured editing, without an actual structure editor. Yes, but paredit still gets its priorities backward. You want to have the most commonly used edit operations

Re: [racket-dev] intro videos

2011-07-14 Thread Guillaume Marceau
On Thu, Jul 14, 2011 at 10:38 AM, Eli Barzilay wrote: > > A proper thing would need to do much more, something like paredit. Or DivaScheme, but without its edit-mode/insert-mode. Though the modalness was a life saver for people with RSI, and wasn't very popular with the healthy-wristed. _

Re: [racket-dev] New error messages for *SL

2011-07-13 Thread Guillaume Marceau
On Thu, Jul 14, 2011 at 12:00 AM, Robby Findler wrote: > In racket/pretty, pretty-print is like print and pretty-write is like > write. In scheme/pretty, pretty-print is like write. > > So probably the better change is to stick with racket/pretty and use > pretty-write instead of pretty-print. Do

Re: [racket-dev] New error messages for *SL

2011-07-13 Thread Guillaume Marceau
On Thu, Jul 7, 2011 at 12:44 PM, Matthew Flatt wrote: >  * All contracts for primitives print as lists. I traced this down to the change from (require scheme/pretty) to (require racket/pretty). I don't understand how that's causing the bug, but reverting to (require scheme/pretty) fixes things.

Re: [racket-dev] intro videos

2011-07-13 Thread Guillaume Marceau
There are 11'000 subscribers in the http://www.reddit.com/r/learnprogramming forums. Its very active and well loved. It was created shortly after guy called Carl Herold started http://www.reddit.com/r/carlhprogramming, where he gives free programming lessons (in C, its horrific a bit). He has anot

Re: [racket-dev] New error messages for *SL

2011-07-11 Thread Guillaume Marceau
On Mon, Jul 11, 2011 at 6:32 PM, Matthias Felleisen wrote: > I'd much prefer eliminating such function calls. Do you want them out in this release? _ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev

Re: [racket-dev] New error messages for *SL

2011-07-11 Thread Guillaume Marceau
On Thu, Jul 7, 2011 at 12:44 PM, Matthew Flatt wrote: > * ASL incorrectly specifies >= 1 arguments required for functions and >   function calls (i.e., functions and call are not common syntax at >   that point). > Stephen pointed out that function calls in BSL can invoke functions of zero argume

Re: [racket-dev] interactive hack

2011-07-10 Thread Guillaume Marceau
4scsh ? On Sun, Jul 10, 2011 at 3:15 PM, Jos Koot wrote: > For racket? > jOS > > -Original Message- > From: dev-boun...@racket-lang.org [mailto:dev-boun...@racket-lang.org] On > Behalf Of Eli Barzilay > Sent: domingo, 10 de julio de 2011 19:52 > To: Sam Tobin-Hochstadt; rafk...@cs.utah.ed

Re: [racket-dev] New error messages for *SL

2011-07-08 Thread Guillaume Marceau
> Fix pushed. Thanks. > Some remaining issues: > >  * ISL's "Syntax" section lists syntax that was already in B+SL. > >  * ASL incorrectly specifies >= 1 arguments required for functions and >   function calls (i.e., functions and call are not common syntax at >   that point). > >  * The order o

Re: [racket-dev] New error messages for *SL

2011-07-07 Thread Guillaume Marceau
On Thu, Jul 7, 2011 at 11:49 AM, Guillaume Marceau wrote: >>>> 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 t

Re: [racket-dev] New error messages for *SL

2011-07-07 Thread Guillaume Marceau
>>> 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 an

Re: [racket-dev] typo in message for 'begin0'? Or not?

2011-07-07 Thread Guillaume Marceau
On Thu, Jul 7, 2011 at 2:21 AM, John Clements wrote: > While patching up the stepper tests results for the Advanced language level, > I noticed this strange error message: > > (begin0) > > => > > "begin: expected at least one expression after begin0, but nothing's there" > > Shouldn't that error

Re: [racket-dev] New error messages for *SL

2011-07-06 Thread Guillaume Marceau
On Wed, Jul 6, 2011 at 7:11 PM, Carl Eastlund wrote: > A click away can be one too many.  Students have enough difficulty > finding documentation as it is. Yes... On Wed, Jul 6, 2011 at 5:51 PM, Jay McCarthy wrote: > But, if you read the documentation as a reference > when you have a problem i

Re: [racket-dev] New error messages for *SL

2011-07-06 Thread Guillaume Marceau
On Wed, Jul 6, 2011 at 9:14 AM, Matthew Flatt wrote: > In the case of the HtDP languages, was the choice to duplicate all the > text deliberate, or was it a side-effect of some other change? Yes, this was a deliberate move away from the no-duplication style used in the professional documentation,

[racket-dev] New error messages for *SL

2011-07-06 Thread Guillaume Marceau
I just pushed a commit that updates the error messages of the teaching languages. With this update, *SL now agrees with the rules of the error message composition guidelines we sent last month. If you try the *SL languages from the git repository, you will now see that the error messages restrain

Re: [racket-dev] documentation reorganization

2011-07-01 Thread Guillaume Marceau
On Fri, Jul 1, 2011 at 8:45 PM, Ryan Culpepper wrote: > I just pushed a commit intended to improve the usability of the main > documentation page, especially for newcomers to Racket. You can also > see the new version here: This is great. Heres a few comments that come to mind: Underneath the "

Re: [racket-dev] Fancy application/automatic anonymous functions

2011-06-05 Thread Guillaume Marceau
On Tue, May 17, 2011 at 3:14 PM, Sam Tobin-Hochstadt wrote: > Lots of people have written similar things (`cut' in SRFI 26, Jay's > `super-cut', etc), but I'd like to move towards using it implicitly. I use (require (rename-in srfi/26 [cut //])) and that's simple enough for me. I find the implici

Re: [racket-dev] cgywin build working? Which line endings?

2011-01-18 Thread Guillaume Marceau
On Tue, Jan 18, 2011 at 5:03 PM, Stephen Chang wrote: > I tried once and got some problems. I dont remember exactly what went > wrong, but I think the problem might have been with my cygwin install. > > I think it's expected to work. Here is a paragraph from the README file: It's expected to work

Re: [racket-dev] Racket documentation

2010-09-25 Thread Guillaume Marceau
On Tue, Sep 21, 2010 at 5:47 PM, Matthias Felleisen wrote: > > I often program in an 'off line' manner, and I'd find on-line docs to be way > too slow. I don't mind building the docs once a day. Google Gears was a framework to build these sort of things, namely provide locally cached version of

Re: [racket-dev] stepper UI question

2010-08-26 Thread Guillaume Marceau
Right now, the stepper takes the code from the definition windows and displays it in a different window, with a different color, with a different layout, with some brackets turned into parenthesis, and with the comments are removed. I just opened a simple solution from last semester and launched th

Re: [racket-dev] source distribution problems

2010-08-05 Thread Guillaume Marceau
On Thu, Aug 5, 2010 at 8:36 AM, Matthew Flatt wrote: > > We need to add "build on Linux from source distribution" to our > release-time checklist. Kevin, can we put that under your name? > On that note, do we care about maintaining the ability to compile under cygwin? I've been having trouble co

[racket-dev] P4P: A Syntax Proposal

2010-07-30 Thread Guillaume Marceau
On Fri, Jul 30, 2010 at 10:52 AM, Matthias Felleisen wrote: > > Programmers who complain about parens mean something larger: >  -- the entire syntax (it doesn't look traditional) >  -- the entire semantics (function calls dictate nearly everything) >  -- the way we program (inductive structures ha

Re: [racket-dev] P4P: A Syntax Proposal

2010-07-29 Thread Guillaume Marceau
How does P4P interact with existing macros? How much work does it take to make a macro such as require/contract available to P4P programs? Is there an equivalent of the dotted-infix syntax in P4P? What would the following line look like in P4P? : (provide/contract [process (path-string? path

Re: [racket-dev] self-documenting feature

2010-07-19 Thread Guillaume Marceau
During There is good support from the interviews for having dynamic documentation in DrRacket would help quite a bit. Two out of the four students I interview requested the feature. Here are some relevant inteview excepts. Student #1: " Maybe a tiny example, or something, that follows the contra

Re: [racket-dev] How to run the BSL test suite?

2010-07-14 Thread Guillaume Marceau
> If I execute "Racket.exe -f racket/htdp.rktl" I get the error: > "racket/beg-adv.rktl:2:1: htdp-syntax-test: this function is not > defined in: htdp-syntax-test" For the record, I later discovered that this is indeed the right way to run the test suite. The error message I was receiving was desc

[racket-dev] How to run the BSL test suite?

2010-07-13 Thread Guillaume Marceau
What is the right way to run the BSL test suite? I'm not sure what is meant to be the main entry point. If I execute "Racket.exe - t run-automated-tests.rkt", the file tests/racket/htdp.rktl is not run. If I execute "Racket.exe -f racket/htdp.rktl" I get the error: "racket/beg-adv.rktl:2:1: htdp-

Re: [racket-dev] comment boxes

2010-06-29 Thread Guillaume Marceau
file. There probably is > a way to do better, but these properties have proven useful in the > past. > > Robby > > On Tue, Jun 29, 2010 at 11:57 AM, Guillaume Marceau > wrote: >> On Sat, Jun 26, 2... _ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev

Re: [racket-dev] comment boxes

2010-06-29 Thread Guillaume Marceau
On Sat, Jun 26, 2010 at 2:30 PM, Robby Findler wrote: > > Saving comment boxes requires the file to be saved in our fancy file > format and it adds a fair amount of overhead to do that. My impression is that all overhead would pretty much disappear if the binary format was gzipped. I would like