Re: [racket-users] 32bit linux downloads

2021-01-26 Thread Robby Findler
The Northwestern snapshot builds (roughly nightly, built from git) have ubuntu and debian 32 bit builds and the utah one has ubuntu 32 bit builds. You can find the snapshot sites by following links from the download site but here they are for convenience: https://www.cs.utah.edu/plt/snapshots/ ht

Re: [racket-users] [Redex] Side conditions in Reduction Relations

2021-01-30 Thread Robby Findler
Is this what you have in mind? #lang racket (require redex/reduction-semantics) (define-language L (ts ::= variable number)) (define-judgment-form L #:mode (subsequence I I) #:contract (subsequence (ts ...) (ts ...)) [-- (subsequence (ts_1

Re: [racket-users] [Redex] Side conditions in Reduction Relations

2021-02-03 Thread Robby Findler
(subsequence (ts_0 ts_1 ...) > (ts_2 ... ts_0 ts_3 ...))]) > > Thank you so much! :D > > A sábado, 30 de janeiro de 2021 à(s) 20:08:17 UTC, Robby Findler escreveu: > >> Is this what you have in mind? >> >> #lang racket >> (require redex/reductio

Re: [racket-users] [Redex] Side conditions in Reduction Relations

2021-02-03 Thread Robby Findler
order does not matter. So I evaluate the head of the sequence, and then > recursively the tail. > I tested your example you gave me just now and it passed :D > Beatriz > > A quarta-feira, 3 de fevereiro de 2021 à(s) 18:41:53 UTC, Robby Findler > escreveu: > >> Oh,

Re: [racket-users] [Redex] Side conditions in Reduction Relations

2021-02-05 Thread Robby Findler
d but it helped a lot, as i didn't > understand how i could also use judgments as guards in reduction relations. > Thank you again :D > Beatriz Moreira > > A quarta-feira, 3 de fevereiro de 2021 à(s) 22:17:50 UTC, Robby Findler > escreveu: > >> You mean it should be a

Re: [racket-users] put-image

2021-02-06 Thread Robby Findler
Any objection to adding it to 2htdp/image? Robby On Sat, Feb 6, 2021 at 6:32 PM Sorawee Porncharoenwase < sorawee.pw...@gmail.com> wrote: > As explained in documentation of WeScheme > , > put-

Re: [racket-users] put-image

2021-02-07 Thread Robby Findler
Feb 2021 at 03:41, Robby Findler > wrote: > >> Any objection to adding it to 2htdp/image? >> >> Robby >> >> On Sat, Feb 6, 2021 at 6:32 PM Sorawee Porncharoenwase < >> sorawee.pw...@gmail.com> wrote: >> >>> As explained in documentati

Re: [racket-users] exporting example code from slideshow documents

2021-02-21 Thread Robby Findler
I often end up writing macros that both quote some code and expand into that code where the first one is usually via `racket` or one of the code-rendering libraries, and the second one gets used to write tests for the code in my slideshow. These tend to be short and fairly ad hoc macros because I e

Re: [racket-users] Parenthesizing infix expressions in Redex renderings?

2021-02-24 Thread Robby Findler
Yeah, I've been meaning to integrate those parts of that library into Redex proper but just haven't found the time. Also, I've thought it would be nice if Redex were able to look at the context of a particular, say, "or" or "then" expression and figure out if it needed parens. Sadly, for now you h

Re: [racket-users] Is it safe to `read` untrusted input?

2021-02-28 Thread Robby Findler
Leaving aside bugs, the intention with those parameters you mention (-lang, -reader, -compiled) is to help with security. They certainly would allow for code execution and they are off by default precisely because they allow that. I think that the general principle (read should, with the default pa

Re: [racket-users] Synchronizable conjunction of events?

2021-03-15 Thread Robby Findler
Depending on what you're doing, a nack guard evt might be helpful. It lets do a form of chaining evts together. It definitely isn't and in the sense you describe but it is easy to overlook. Robby On Mon, Mar 15, 2021 at 4:50 PM Matthew Flatt wrote: > At Mon, 15 Mar 2021 13:38:46 -0700 (PDT), Gr

Re: [racket-users] Werid contract violation blame erros

2021-04-07 Thread Robby Findler
The short answer: you probably should use (provide (contract-out)) instead of define/contract. The slightly longer answer: when you write a contract, you are not just describing what the legal inputs and outputs are, you are also establishing a *boundary* between two regions of code. In the ca

Re: [racket-users] Werid contract violation blame erros

2021-04-07 Thread Robby Findler
David Storrs wrote: > I've always liked define/contract because it guarantees the safety of > the function from erroneous calls by other functions in the module, > which helps with debugging and testing. It sounds like you think > that's a bad move? > > On We

Re: [racket-users] Werid contract violation blame erros

2021-04-07 Thread Robby Findler
a joe programmer > on the street I would want the blame to be on b.rkt, and also on any > function calling f() incorrectly from inside a.rkt. Reading this > thread it sounds to me like that's not easily available? > > On Wed, Apr 7, 2021 at 4:22 PM Robby Findler > wrote: >

Re: [racket-users] Something is going slightly wrong visually with the Linux version

2021-04-13 Thread Robby Findler
This looks to me like racket believes the OS is in dark mode but it really isn't. Does this program produce true or false? #lang racket (require mrlib/panel-wob) (white-on-black-panel-scheme?) Robby On Tue, Apr 13, 2021 at 1:38 PM Bruce O'Neel wrote: > Hi, > > The most recent snapshot version

Re: [racket-users] Something is going slightly wrong visually with the Linux version

2021-04-13 Thread Robby Findler
there is some way you're controlling those that defeats that computation, that might explain why you're getting the bad colors. Robby On Tue, Apr 13, 2021 at 1:41 PM Robby Findler wrote: > This looks to me like racket believes the OS is in dark mode but it really > isn't.

Re: [racket-users] Something is going slightly wrong visually with the Linux version

2021-04-13 Thread Robby Findler
round-color)) > (define fg (get-label-foreground-color)) > > > Produces > > > (send bg red) > 255 > > (send bg green) > 255 > > (send bg blue) > 255 > > (send fg red) > 0 > > (send fg green) > 0 > > (send fg blue) > 0 > > >

Re: [racket-users] Re: scribble: referencing two identifiers with the same name?

2021-05-03 Thread Robby Findler
On Mon, May 3, 2021 at 10:19 AM Sam Caldwell wrote: > When I first ran Ryan's example, the reference to `racket:let` did not > resolve to the proper link. After further investigating, this appears to be > due to scribble's default behavior of not loading extra cross-referencing > information [1].

Re: [racket-users] Re: scribble: referencing two identifiers with the same name?

2021-05-03 Thread Robby Findler
> describe that as a plugin than DrRacket itself? > > -Sam Caldwell > > On Mon, May 3, 2021 at 11:24 AM Robby Findler > wrote: > >> On Mon, May 3, 2021 at 10:19 AM Sam Caldwell wrote: >> >>> When I first ran Ryan's example, the reference t

Re: [racket-users] Package install conflicts on the Racket package catalog

2021-05-05 Thread Robby Findler
I think the issue is that you should not use "tests/private" as your collection path. You should probably either "tests/my-collection/private" or "my-collection/tests/private" as the name. Robby On Wed, May 5, 2021 at 4:38 PM Siddhartha Kasivajhula wrote: > That makes sense. Is there a recomme

Re: [racket-users] macros in Racket repository

2021-05-09 Thread Robby Findler
Here's one way to write it in modern Racket: #lang racket (require (for-syntax syntax/parse)) (module+ test (require rackunit)) (define-syntax (my-and stx) (syntax-parse stx [(_) #'#f] [(_ e:expr) #'e] [(_ e1:expr e2:expr ...) #'(if e1 (my-and e2 ...) #f)])) (module+ test (

Re: [racket-users] Plot Problem: No Line; Bounds not found

2021-06-15 Thread Robby Findler
While I completely agree that testing one's function is the best practical advice here, it also seems worth an improvement to plot. Perhaps, in addition to saying "could not determine sensible plot bounds", it could also say something like "because there were no points" and perhaps even follow up w

Re: [racket-users] Speeding up the conversion of flvectors to string

2021-06-27 Thread Robby Findler
Replacing ` (~r x #:precision 1)` with `(number->string x)` and ditto for `y` eliminates the overhead of contracts and brings about another 4x speedup on my machine. That may not work, tho, depending on Alessandro's original usecase, since the strings are different. I was also going to, as Bogdan

Re: [racket-users] Speeding up the conversion of flvectors to string

2021-06-27 Thread Robby Findler
On Sun, Jun 27, 2021 at 11:58 AM Alessandro Motta wrote: > > I also like Jens' code for its pure functional elegance. I'm surprised > that building up a long list of short strings before joining them is so > much faster. After all, isn't the final `string-join` essentially doing > what the origin

Re: [racket-users] Speeding up the conversion of flvectors to string

2021-06-28 Thread Robby Findler
tation and thus hard to identify with profiling (hence Bogdan's helpful hint about gc logging). Robby On Mon, Jun 28, 2021 at 2:18 PM Alessandro Motta wrote: > On 27.06.21 19:34, Robby Findler wrote: > > On Sun, Jun 27, 2021 at 11:58 AM Alessandro Motta > <mailto:amott...@gm

Re: [racket-users] Speeding up the conversion of flvectors to string

2021-06-29 Thread Robby Findler
rote: > > > > On Monday, June 28, 2021 at 10:25:36 PM UTC-4 Sam Tobin-Hochstadt wrote: > >> > >> On Mon, Jun 28, 2021 at 9:46 PM Jonathan Simpson wrote: > >> > > >> > On Sunday, June 27, 2021 at 10:29:55 AM UTC-4 Robby Findler wrote: > >

Re: [racket-users] Re: machine and network outage at Northeastern

2021-07-04 Thread Robby Findler
Ah, sorry about this. It should be up now. Robby On Fri, Jul 2, 2021 at 11:05 PM Shu-Hung You wrote: > The PLaneT website (https://planet.racket-lang.org/) is currently > unreachable. The error message is ERR_CONNECTION_REFUSED. > > -- > You received this message because you are subscribed to

Re: [racket-users] parenthesis colours

2021-07-04 Thread Robby Findler
If you go to the preference dialog, choose "Colors", and then choose "Racket" you should be able to adjust each color independently. There are also some themes for DrRacket in dark mode that have different color schemes; I think Tol's is installed by default and there are more on the pkg server.

Re: [racket-users] parenthesis colours

2021-07-05 Thread Robby Findler
AM Hendrik Boom wrote: > On Mon, Jul 05, 2021 at 07:52:39AM -0500, Robby Findler wrote: > > Glad to hear it! Sorry the defaults looked bad. > > They look pretty enough. They just aren't useful. > I turned the parentheses bright yellow. > Unless yellow comflicts with some

Re: [racket-users] Question from a beginner. Why Racket Over Scheme?

2021-07-13 Thread Robby Findler
I would say that the stuff in HtDP is teaching you the fundamentals of programming; it isn't (about) teaching you a specific programming language. These fundamentals apply to any programming language you might wish to program in. And, of course, the book does use a (set of) languages to teach you,

Re: [racket-users] Pousse Player Programs

2021-08-07 Thread Robby Findler
I see that in 8.2 but I'm not seeing it in a more recent build. Maybe try a snapshot? https://snapshot.racket-lang.org/ There is information about how to make players here: https://github.com/racket/games/blob/master/pousse/robots.txt I didn't try it out, but if you do and run into problems, let u

Re: [racket-users] Find the source location of the syntax error in DrRacket

2021-08-14 Thread Robby Findler
I'm not 100% sure but I think that's right: the marks clobber each other so that you see the inner frame and a `let`'s body is in tail position wrt to the let itself. So in this program: #lang racket/base (define (f x) (car x)) (let () (let () (+ (let () (let () (f #f))

Re: [racket-users] What is the correct name for non-list parenthesized forms?

2021-09-24 Thread Robby Findler
An answer to a third question that might also have been the one that was asked :) You might call it a "sequence". Robby On Fri, Sep 24, 2021 at 12:50 PM Jay McCarthy wrote: > I think the word you're looking for is "syntax". Many people think that > languages like Racket "don't have syntax" or

Re: [racket-users] What is the correct name for non-list parenthesized forms?

2021-09-24 Thread Robby Findler
Another approach is to give it a name in the documentation and use that name (following Jay's earlier message). Robby On Fri, Sep 24, 2021 at 1:37 PM 'John Clements' via Racket Users < racket-users@googlegroups.com> wrote: > I think I wouldn’t say “accepts”; I usually reserve this term for > fu

Re: [racket-users] Having trouble getting documentation to generate

2021-09-28 Thread Robby Findler
I'm not quite following from the thread, but it sure sounds like there is a bug in raco setup (or similar) somewhere that isn't reporting an error properly. Is that the case? Robby On Tue, Sep 28, 2021 at 4:12 PM David Storrs wrote: > > > On Tue, Sep 28, 2021 at 3:30 PM Ben Greenman > wrote:

Re: [racket-users] How to require untrusted module?

2021-10-22 Thread Robby Findler
On Fri, Oct 22, 2021 at 12:43 PM Matthew Flatt wrote: > At Thu, 21 Oct 2021 07:37:12 -0700 (PDT), "kalime...@gmail.com" wrote: > > I've read about protect-out and current-code-inspector, but I still > cannot > > understand, how to require a module and forbid it to run protected > modules. > > >

Re: [racket-users] Typesetting Redex definitions

2021-10-26 Thread Robby Findler
The only way to do that currently is to use the compound rewriters (they rewrite anything with parens) and the atomic rewriters (they rewrite anything without parens). The interface that redex provides is pretty low-level and I'd like to find time to improve it, but in the meantime there are some l

Re: [racket-users] Formal semantics of PLT Redex

2021-12-08 Thread Robby Findler
I think that might be it specifically about redex, I am sorry to say. Robby On Wed, Dec 8, 2021 at 5:28 PM Mallku Ernesto Soldevila Raffa < mallkuerne...@gmail.com> wrote: > Hi community!, > I'm interested in understanding the semantics of PLT Redex, since we are > working on a tool > to transla

Re: [racket-users] Formal semantics of PLT Redex

2021-12-08 Thread Robby Findler
on that comes with Racket 5.* > or something like that. > > Thanks!, > Mallku > > > [1] : https://link.springer.com/chapter/10.1007%2F978-3-642-25318-8_27 > > El miércoles, 8 de diciembre de 2021 a las 21:03:44 UTC-3, Robby Findler > escribió: > >> I think that

Re: [racket-users] Core Team: I need you decide what I should do about the spammer.

2021-12-18 Thread Robby Findler
+1! Thank you. Robby On Sat, Dec 18, 2021 at 1:43 PM Matthew Flatt wrote: > The "members" option sounds right to me. Thanks for tracking down a way > to improve the situation! > > At Sat, 18 Dec 2021 19:35:23 +, Sage Gerard wrote: > > Core team, > > > > Sam asked me to issue bans for a trou

Re: [racket-users] Core Team: I need you decide what I should do about the spammer.

2021-12-19 Thread Robby Findler
hias Felleisen wrote: > > > +2! And many thanks. (I was personally spared this spam until very > recently. No clue why) > > — Matthias > > > > > On Dec 18, 2021, at 2:55 PM, Robby Findler > wrote: > > +1! Thank you. > > Robby > > On Sat, Dec 18,

Re: [racket-users] Formal semantics of PLT Redex

2021-12-21 Thread Robby Findler
what I obtain is: >> >> #f >> >> As a side note, the mechanization of Redex in [1] just returns something >> equivalent to: >> >> (bind 'x '(hole (hole hole))) >> >> In both cases. Does anyone understand the behavior of the shown example

Re: [racket-users] Core Team: I need you decide what I should do about the spammer.

2022-01-11 Thread Robby Findler
> On 12/18/21 3:02 PM, Matthias Felleisen wrote: > > > > > > +2! And many thanks. (I was personally spared this spam until very > recently. No clue why) > > > > — Matthias > > > > > > > > > > On Dec 18, 2021, at 2:55 PM, Robby Fi

Re: [racket-users] Core Team: I need you decide what I should do about the spammer.

2022-01-11 Thread Robby Findler
start that process. > > If you publish an email to request invites, then the process is going to > be "ask to join" no matter what, so the mailing list configuration is > relevant for a different reason. Do we want members to start the process in > Google Groups, or by sen

Re: [racket-users] Core Team: I need you decide what I should do about the spammer.

2022-01-12 Thread Robby Findler
ess when > >>> the responsibility changes. > >>> > >>> Does that seem like a reasonable approach? > >>> > >>> Sam > >>> > >>> On Tue, Jan 11, 2022 at 2:30 PM Sage Gerard > wrote: > >>>> No n

[racket-users] Re: Combining contract checking with normalization?

2022-03-06 Thread Robby Findler
I have certainly have thought that developing a library along these lines is a good idea for many years! Robby On Sun, Mar 6, 2022 at 9:47 AM Alexis King wrote: > Hello, > > As a user of the Racket contract system, I sometimes find myself thinking > about the potential utility of “coercing” or

Re: [racket-users] [meta] Please review pending member requests?

2022-06-30 Thread Robby Findler
I've just approved the ones who wrote sensible comments. If that wasn't the one to approve, please let me know and I'll approve that one, too. We had a serious spam problem on this list due to bots (I presume) subscribing, so I'm a bit gunshy about adding folks. There are other list admins too who

Re: [racket-users] Some DrRacket preferences unreadable

2022-12-29 Thread Robby Findler
For those shown portions of the UI, I believe DrRacket is trying to use the system font. It looks like that font is reporting size information in a way that confuses something, somehow (I am not sure how). Has the system font been changed? Can you reset it back to a default to see if that improves

Re: [racket-users] Some DrRacket preferences unreadable

2022-12-30 Thread Robby Findler
ince in most tabs of the Preferences Window it does work out-of-the-box, > I cannot understand why in those cases it works differently ... > > Anyway, many thanks. > Now I must cope with that ugly proportional font :-) > > Op donderdag 29 december 2022 om 15:26:02 UTC+1 schreef Robby Findle

Re: [racket] racket/place seems to be incompatible with DrRacket

2011-08-30 Thread Robby Findler
x27;t see how > that's the case. Additionally, why would it work from Terminal and not > DrRacket? > > -- Dave (on the iPhone) > > On Aug 29, 2011, at 6:32 PM, Robby Findler > wrote: > >> I think what's happening is that you're creating a place whose fi

Re: [racket] racket/place seems to be incompatible with DrRacket

2011-08-30 Thread Robby Findler
iPhone) > > On Aug 30, 2011, at 4:44 AM, Robby Findler wrote: > >> I'm sorry; I was wrong. >> >> I don't see the behavior you're seeing, tho. If I add parens around >> 'all-defined-out', and save the file in tmp.rkt, then this is the >

Re: [racket] bad syntax; literal data is not allowed, because no #%datum syntax transformer is bound

2011-08-30 Thread Robby Findler
Can the thing coming out of the read-syntax be an expression? If so, what lexical context should it have? Robby On Tue, Aug 30, 2011 at 1:00 PM, Carl Eastlund wrote: > Oops.  It's not NAME that's the problem.  It's #,my-read-stx that > needs to change to (quote #,my-read-stx) instead. > > Carl E

Re: [racket] racket/place seems to be incompatible with DrRacket

2011-08-30 Thread Robby Findler
Kevin: when I follow the steps exactly as written, I get this error message on stdout (under windows): standard-module-name-resolver: collection not found: "anonymous-module" in any o f: (# #) I believe this to be a bug in the implementation of 'place' and to have something to do with the name of

Re: [racket] racket/place seems to be incompatible with DrRacket

2011-08-30 Thread Robby Findler
code in the Terminal, but it > doesn't seem necessary with DrRacket. In fact, based on the comment I saw in > IRC about DrRacket reloading the module, I wonder if that has something to > do with it. (although I'm new enough to Racket to not put much stock in my > intuitions)

Re: [racket] racket/place seems to be incompatible with DrRacket

2011-08-30 Thread Robby Findler
w how to find > "anonymous-module". > > I think drracket needs to uniquely name these anonymous-modules and then > install a > module-name-resolver that can return the correct anonymous module when > asked. > > I assume these anonymous modules exist in the drracke

Re: [racket] racket/place seems to be incompatible with DrRacket

2011-08-30 Thread Robby Findler
Thanks for the followup, Kevin. Signalling an error sounds like the right thing for the symbol case. I worry a little bit about how to phrase it so people who run places in an unsaved drracket don't get confused, tho. Maybe you have a good idea? On Tue, Aug 30, 2011 at 3:27 PM, Kevin Tew wrote: >

Re: [racket] Adding teachpack from Language menu?

2011-09-01 Thread Robby Findler
The menu item, however, should be available in all languages. Are you sure you're using a recent version of DrRacket? Or maybe something else is more seriously wrong? Robby On Thu, Sep 1, 2011 at 1:49 PM, Matthias Felleisen wrote: > > > On Sep 1, 2011, at 2:17 PM, John Chandler wrote: > >> The

Re: [racket] Running code on exit....

2011-09-01 Thread Robby Findler
Does it make sense to have the resource managed by a custodian? That is, operate the ffi/C level where you can extend what happens when a custodian is shutdown to close whatever needs closing or finalizing or whatever before it gets gc'd but when the custodian is shutdown? Robby On Thu, Sep 1, 20

Re: [racket] which version of DrRacket to download

2011-09-02 Thread Robby Findler
There are some also ancient redhat machines here at Northwestern: Red Hat Enterprise Linux WS release 4 (Nahant Update 9) and I don't think that it is possible to build a recent drracket on them with the current source code (I believe it is possible to change the GUI layer so that it is cripple

Re: [racket] syntax-parse and literals

2011-09-02 Thread Robby Findler
On Fri, Sep 2, 2011 at 9:50 PM, Shriram Krishnamurthi wrote: > I guess to me, the term "literal identifier" is an oxymoron.  It's > either a literal (5, #f, in this case :) or an identifier (foo, car, > +).  Unless "identifier" means nothing more or less than "symbol". > > When I write (:) in synt

Re: [racket] recent updates to Whalesong development: web-world

2011-09-05 Thread Robby Findler
It seems to run fine in the latest mac os x safari. Robby On Mon, Sep 5, 2011 at 1:36 PM, Danny Yoo wrote: > On Fri, Sep 2, 2011 at 4:33 PM, Danny Yoo wrote: >> We're smack in the middle of implementing web-world for Whalesong, >> which is analogous to regular world, but with web pages.  Unlike

Re: [racket] Question about EOPL

2011-09-06 Thread Robby Findler
It is. You open DrRacket, set your language to the "Determine language from source" (should be the default), and then start your file with #lang eopl This should be the same as choosing the EoPL language from the old language dialog. Robby On Mon, Sep 5, 2011 at 8:57 PM, Jose Bernal wrote: > I

Re: [racket] Keyboard shortcut for switching between definitions area and interactions window

2011-09-06 Thread Robby Findler
Also, c-x;o (that's "control-x" and then "o"). Robby On Tue, Sep 6, 2011 at 5:56 AM, Jos Koot wrote: > On windows 7 I use control d and control e. > Jos > > From: users-boun...@racket-lang.org [mailto:users-boun...@racket-lang.org] > On Behalf Of Susanna Trollvad

Re: [racket] Keyboard shortcut for switching between definitions area and interactions window

2011-09-07 Thread Robby Findler
On Wed, Sep 7, 2011 at 4:13 AM, Jos Koot wrote: > My active keybindings show that control-x means cut. > That's on windows. Are keybindings platform dependent? Yes, they are and sorry I wasn't clear. There is one major way in which they are platform-dependent and a few minor ways. The major was i

Re: [racket] Keyboard shortcut for switching between definitions area and interactions window

2011-09-07 Thread Robby Findler
On Wed, Sep 7, 2011 at 7:30 AM, Ramakrishnan Muthukrishnan wrote: > On Wed, Sep 7, 2011 at 2:15 PM, Shriram Krishnamurthi > wrote: >> I thought I saw that (ie, C-x o not working) a few times, but to be >> sure I tested just now in a fresh DrRacket 5.1.3, and C-x o works for >> me (phew!). > > I

Re: [racket] Choose no language

2011-09-08 Thread Robby Findler
Yes. Remove the language pref (or just delete your prefs file). Robby On Thursday, September 8, 2011, David Van Horn wrote: > Is it possible to get DrRacket back to its initial state where no language is chosen? > > David > _ > For list-related ad

Re: [racket] abstracting over codeblock

2011-09-08 Thread Robby Findler
I think Eli may have meant 'racket' when he wrote 'codeblock'. codeblock operates on strings. And the @[]{} stuff is really just read-level manipulations. It isn't anything about expressions and whatnot. Robby On Thu, Sep 8, 2011 at 8:22 PM, Shriram Krishnamurthi wrote: > Thanks: that makes sen

[racket] online check syntax error display tweak

2011-09-08 Thread Robby Findler
I've changed how online check syntax reports errors. Instead of hilighting the source location in gold, it puts a little reddish thing in the right-hand margin where the error is. The goal is to make this less obtrusive in, say, lecture, but also to make it less painful for those among us who edit

Re: [racket] online check syntax error display tweak

2011-09-09 Thread Robby Findler
Thanks! Why is the string yellow? Robby On Friday, September 9, 2011, Grant Rettke wrote: > On Thu, Sep 8, 2011 at 10:48 PM, Robby Findler > wrote: >> I've changed how online check syntax reports errors. Instead of >> hilighting the source location in gold, it puts

Re: [racket] online check syntax error display tweak

2011-09-09 Thread Robby Findler
On Friday, September 9, 2011, Grant Rettke wrote: > On Fri, Sep 9, 2011 at 10:04 AM, Sam Tobin-Hochstadt wrote: >> I like this a lot (I'm one of the those people too). It would be >> great if either or both of clicking the "Jump to error" button or >> clicking on the red highlighting enabled the

Re: [racket] online check syntax error display tweak

2011-09-09 Thread Robby Findler
t; However with the highlight on the right, I find it kind of hard to > correlate the highlight with the relevant code, which is likely to be > on the left side. Wouldn't it be easier if the highlight was in the > left margin? > > Vincent > > > At Thu, 8 Sep 2011 22:48:47 -050

Re: [racket] online check syntax error display tweak

2011-09-09 Thread Robby Findler
On Fri, Sep 9, 2011 at 11:14 AM, Grant Rettke wrote: > On Fri, Sep 9, 2011 at 10:27 AM, Robby Findler > wrote: >> >> >> On Friday, September 9, 2011, Grant Rettke wrote: >>> On Fri, Sep 9, 2011 at 10:04 AM, Sam Tobin-Hochstadt >>> wrote: >>>&

Re: [racket] online check syntax error display tweak

2011-09-09 Thread Robby Findler
On Fri, Sep 9, 2011 at 11:05 AM, Vincent St-Amour wrote: > At Fri, 9 Sep 2011 10:58:23 -0500, > Robby Findler wrote: >> I thought about that, but I didn't want it to overlap the text and I >> didn't want it to slide everything over to make space. > > What about

Re: [racket] online check syntax error display tweak

2011-09-09 Thread Robby Findler
Okay, I've pushed a change that does part of this. No keystroke yet, but you can at least see how things look with the mouseovers. Robby On Fri, Sep 9, 2011 at 1:01 PM, John Clements wrote: > > On Sep 9, 2011, at 9:20 AM, Robby Findler wrote: > >> On Fri, Sep 9, 2011 at

Re: [racket] online check syntax error display tweak

2011-09-09 Thread Robby Findler
On Fri, Sep 9, 2011 at 10:04 AM, Sam Tobin-Hochstadt wrote: > Speaking of things that would improve the experience of those who keep > parens balanced, if the error message appearing didn't move the > division between the definitions and interactions window, that would > be really nice. That boun

Re: [racket] online check syntax error display tweak

2011-09-09 Thread Robby Findler
On Fri, Sep 9, 2011 at 5:42 PM, Sam Tobin-Hochstadt wrote: > On Fri, Sep 9, 2011 at 6:08 PM, Robby Findler > wrote: >> On Fri, Sep 9, 2011 at 10:04 AM, Sam Tobin-Hochstadt >> wrote: >>> Speaking of things that would improve the experience of those who keep >&g

Re: [racket] online check syntax error display tweak

2011-09-10 Thread Robby Findler
n-Hochstadt wrote: > I'm definitely in favor of the alpha fanciness idea. The others seem reasonable as well, though. > > sam th > > On Sep 9, 2011 8:09 PM, "Robby Findler" wrote: >> On Fri, Sep 9, 2011 at 5:42 PM, Sam Tobin-Hochstadt wrote: >>> On Fri

Re: [racket] fruit flies

2011-09-12 Thread Robby Findler
On Mon, Sep 12, 2011 at 4:47 PM, Danny Yoo wrote: > I wanted to share another small web-world demonstration in Whalesong. > > Try this in Google Chrome: > >    http://hashcollision.org/whalesong/examples/boid/boid.html > > Source code: > >    http://hashcollision.org/whalesong/examples/boid/boid.r

Re: [racket] fruit flies

2011-09-12 Thread Robby Findler
Oh, I see. This is not about performance at all (I was confused by the verb "redraw" FWIW). It does seem good to be able to specify a path & a change when you have huge nesting like that, I agree. Robby On Mon, Sep 12, 2011 at 8:51 PM, Danny Yoo wrote: >> Danny: why do you think that changing t

Re: [racket] fruit flies

2011-09-12 Thread Robby Findler
I think the computation of which pixels are in the circles and which aren't (and the shades of color around the edge) is what dominates. Not the small amount of allocation that goes into representing the objects (in this case, a data structure proportional to the size of the number of circles). So

Re: [racket] fruit flies

2011-09-13 Thread Robby Findler
On Mon, Sep 12, 2011 at 10:38 PM, Shriram Krishnamurthi wrote: > Time isn't the only measure.  And in terms of space, I don't think > you're accounting for all of it. I don't think either of us is actually accounting for anything, actually. > When you make universe scenes bigger, you tend to se

Re: [racket] fruit flies

2011-09-13 Thread Robby Findler
On Tue, Sep 13, 2011 at 5:53 AM, Stephen Bloch wrote: > > On Sep 13, 2011, at 4:03 AM, Robby Findler wrote: > >> That would be a bug (if an entire width*height bitmap were being >> re-created and thrown away each time and the program was just creating >> a few circles i

Re: [racket] srcloc structures, lists, vectors

2011-09-14 Thread Robby Findler
I think the other part is historical and an artifact of backwards compatibility. FWIW, I think the srcloc struct should be transparent or perhaps even a prefab, which would negate the benefit below. Robby On Wed, Sep 14, 2011 at 1:31 PM, Danny Yoo wrote: > I wanted to double check my understand

Re: [racket] Racket in the world

2011-09-15 Thread Robby Findler
Yeah, I watched that this morning too. Very nice! Robby On Thu, Sep 15, 2011 at 8:22 AM, Matthias Felleisen wrote: > > Cool. > > > On Sep 14, 2011, at 6:57 PM, Matt Jadud wrote: > >> Hi all, >> >> Start with the video of an installation piece at Ars Electronica: >> >> http://vimeo.com/29037809 >

Re: [racket] macros that expand to "provide/contract"

2011-09-15 Thread Robby Findler
On Thu, Sep 15, 2011 at 8:23 PM, Neil Van Dyke wrote: > If I have a syntax extension that expands to include "define" and/or > "provide/contract" (at top level, possibly within a "begin"), will that > break any Racket tools? I believe that's supposed to work and fairly important that it continue

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

2011-09-17 Thread Robby Findler
Are these files in the collects tree or elsewhere? If elsewhere, then drracket should be taking care of this for you (unless you turn off the automatic compilation option). If in the collects tree then you probably want multiple copies of the collecs tree to go along with your multiple binaries (I

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

2011-09-17 Thread Robby Findler
There could definitely be a bug where something is not comparing paths properly somehow. If you can give me more help to reproduce the bug that would be a big help. To start I think just sending me the logging tool directory (and saying where it was (collects, link?)) would probably help me make p

Re: [racket] online check syntax error display tweak

2011-09-17 Thread Robby Findler
On Sat, Sep 17, 2011 at 8:40 PM, Guillaume Marceau wrote: That would be great too. Emacs uses C-x ` for that. >>> >>> How about a keystroke to jump to the place plus it colors things in >>> when you mouse over the right thingy in the right margin? > > Eclipse uses C-. and C-, for next-error a

Re: [racket] Quoted expressions in #lang racket

2011-09-18 Thread Robby Findler
2011/9/18 Racket Noob : > I think beginner should understand that list is basic lisp notion which > serves (at least) two purposes: > > 1) list as data: as in (1 2 3) or as in whole lisp program > > or > > 2) list as expression denoting function application: as in (+ 1 2) FWIW, as one PL educator,

Re: [racket] Quoted expressions in #lang racket

2011-09-18 Thread Robby Findler
2011/9/18 Racket Noob : >> FWIW, as one PL educator, I don't find that to be something I wish to >> teach to the students who are beginning to learn what is important >> about programming languages. I also don't think that a list is a >> particularly good representation for a function application i

Re: [racket] Quoted expressions in #lang racket

2011-09-18 Thread Robby Findler
FWIW, I don't think anyone was bothered (only that we have a technical disagreement) and I'm sorry to see you go. Best wishes, Robby 2011/9/18 Racket Noob : > Such a cold community. :( > I give up. I'm sorry for bothering you with my bad english and stupidity, > I'll never post to this group agai

Re: [racket] internal define in define

2011-09-21 Thread Robby Findler
Yes, that is Racket style these days (as codified in the style guide). Saving the level(s) of indention is great, as far as I'm concerned. As to the original question, tho, it seems like you can usually just put the nested defines next to the original define and unless you have a very big function

Re: [racket] Racket style guide (was Re: Argument order conventions (was: Variable naming conventions))

2011-09-22 Thread Robby Findler
FWIW, I agree that this organization is great, but this: (define world/c (flat-named-contract 'world (lambda (x) (world? x is unfortunate. The contract error messages (in the case that you also export world? which I hope you'd do here so that you clients can use dynamic checks to determi

Re: [racket] Origin of ~a, ~s, ~v

2011-09-24 Thread Robby Findler
We added ~v and I thought of it as "value" at the time. (The others we inherited and I don't know about.) Robby On Sat, Sep 24, 2011 at 3:49 PM, Rodolfo Carvalho wrote: > Hello, > I'm a bit curious about those letters. Where did they come from? Do they > have a "meaning"? > ~a => display > ~s =>

Re: [racket] using scribble --pdf on Windows

2011-09-25 Thread Robby Findler
Well, does running pdflatex generate a log file like the scribble says that it doesn't? Robby On Sun, Sep 25, 2011 at 10:19 AM, Shriram Krishnamurthi wrote: > On Windows 7, I have had no trouble using scribble --html.  For the > first time in 5.1.3 I tried using scribble --pdf, and it does not

Re: [racket] using scribble --pdf on Windows

2011-09-25 Thread Robby Findler
When you run pdflatex yourself, do you get a .log file? Robby On Sun, Sep 25, 2011 at 1:46 PM, Shriram Krishnamurthi wrote: > Sorry, should have pointed that out.  No, I don't see a log file. > There are no output files of any sort when scribble is done.  I would > have anyway thought scribble

Re: [racket] using scribble --pdf on Windows

2011-09-25 Thread Robby Findler
; it's running somewhere else). > > On Sun, Sep 25, 2011 at 2:49 PM, Robby Findler > wrote: >> When you run pdflatex yourself, do you get a .log file? >> >> Robby >> >> On Sun, Sep 25, 2011 at 1:46 PM, Shriram Krishnamurthi >> wrote: >>> Sorry,

Re: [racket] GUI Freeze when executing syntax check

2011-09-25 Thread Robby Findler
It is hard to say what is going wrong without some more information. If you start DrRacket from a shell and then click Check Syntax, do you see any output in the shell? When it is frozen is the CPU running? If so, how long did you wait? (5 minutes is way more than it usually needs.) Robby On Su

Re: [racket] Need Help With Keybindings

2011-09-26 Thread Robby Findler
Two built-in keys that do that are esc;backspace (and possibly alt-backspace, depending on your platform), and control-shift-left, which selects a word backwards (which you can then delete or cut or select another one or whatever). Robby On Sun, Sep 25, 2011 at 10:59 PM, David G. Kay wrote: > >

Re: [racket] Need Help With Keybindings

2011-09-27 Thread Robby Findler
unction name ed evt #t (rebind "backward-kill-word" "c:w") On Mon, Sep 26, 2011 at 6:10 AM, Robby Findler wrote: > Two built-in keys that do that are esc;backspace (and possibly > alt-backspace, depending on your platform), and control-shift-left, > which selects

<    1   2   3   4   5   6   7   8   9   10   >