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
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
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
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
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
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
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
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
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.
>
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_
> 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
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
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
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
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
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
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
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?
_
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
> 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
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
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
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.
_
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
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.
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
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
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
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
> 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
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
>>> 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
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
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
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,
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
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 "
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
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
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
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
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
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
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
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
> 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
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-
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
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
49 matches
Mail list logo