Re: [racket-users] DrRacket Coverage

(define-syntax (m stx) (syntax-case stx () [(_ a b c) #`(void (λ () #,(datum->syntax #'here '(void) stx)) #,(datum->syntax #'here '(void) #'b))])) (m abcdef ghijkl mnopqr) On Tue, Feb 16, 2016 at 7:59 AM, Robby Findler <ro...@eecs.northwestern.edu> wrote:

Re: [racket-users] DrRacket Coverage

How do you do this count? (what algorithm?) Robby On Tue, Feb 16, 2016 at 6:56 AM, Greg Hendershott wrote: > FWIW when you run tests with coverage in racket-mode (C-u C-c C-t) > displays in the echo area either "Coverge complete" or "Missing > coverage in N places".

Re: [racket-users] DrRacket Coverage

Oh and I should add that I plan to add a "show next time" checkbox to the bar, if the bar seems worth continuing with. Robby On Monday, February 15, 2016, Robby Findler <ro...@eecs.northwestern.edu> wrote: > I feel like a bar in the drracket window is a better choic

Re: [racket-users] DrRacket Coverage

/~robby/tmp/b.png Is the bar on the bottom too subtle? Robby On Mon, Feb 15, 2016 at 4:05 PM, 'John Clements' via Racket Users <racket-users@googlegroups.com> wrote: > >> On Feb 15, 2016, at 2:00 PM, Robby Findler <ro...@eecs.northwestern.edu> >> wrote: >> >>

Re: [racket-users] DrRacket Coverage

Feb 15, 2016 at 3:50 PM, 'John Clements' via Racket Users <racket-users@googlegroups.com> wrote: > >> On Feb 15, 2016, at 1:24 PM, Robby Findler <ro...@eecs.northwestern.edu> >> wrote: >> >> Do you also prefer that to just showing everything colore

Re: [racket-users] DrRacket Coverage

Do you also prefer that to just showing everything colored? Robby On Mon, Feb 15, 2016 at 3:06 PM, 'John Clements' via Racket Users wrote: >> >> I think that by the time they work hard to cover everything and the >> coverage colors disappear they quickly jump to

Re: [racket-users] Re: (eqv? Racket-land Wonderland) -> #t

On Mon, Feb 15, 2016 at 2:29 PM, Matthew Butterick wrote: > On Monday, February 15, 2016 at 2:40:29 AM UTC-8, Nota Poin wrote: > >> Too powerful. It's a language that can define new languages from whole >> cloth. It's a compiler of compilers. It's like trying to use a jet engine

Re: [racket-users] do loops

Or if you know that there are only 10 candidates, you can just iterate over (a prefix of) this list: (shuffle (build-list 10 values)) Robby On Mon, Feb 15, 2016 at 8:37 AM, Tony Garnock-Jones wrote: > If your "insert" is idempotent, and you have some means of measuring >

Re: [racket-users] DrRacket Coverage

Can you explain the use case a little bit more, please? This is the *SL languages? They run their program, they see black/orange, they add tests, they no longer see black/orange, and they are confused? Did they not understand what black/orange means or were they expecting entirely black? Robby

Re: [racket-users] DrRacket Coverage

Since in that context test coverage is an opt-in kind of a thing, maybe it makes sense to just make the whole thing turn black? Do you think that would also solve the problem? Robby On Sun, Feb 14, 2016 at 4:10 PM, Eli Barzilay <e...@barzilay.org> wrote: > On Sun, Feb 14, 2016 at 5:06

Re: [racket-users] Chaperone of immutable hash

I think this is what you want? (chaperone-hash (hash) (λ (h key) (values key (λ (h key val) val))) (λ (h key val) (values key val)) (λ (h key) key) (λ (h key) key) (λ (hash) 'okay) (λ (hash key) key)) On Sat, Feb 13, 2016 at 3:02 PM, Gustavo Massaccesi wrote: > I

Re: [racket-users] macro stepper

It is probably best of all modifications to the gui objects happen on the eventspace main thread. Robby On Thursday, February 11, 2016, Gustavo Massaccesi wrote: > I've seen similar errors many times too (perhaps it's more common in > my machine that is slow and has windows

Re: [racket-users] [Redex] test-->>E and trace

e `traces' and `stepper'? > > > > BR, > Anton Podkopaev > > On Wed, Feb 10, 2016 at 2:42 AM, Robby Findler <ro...@eecs.northwestern.edu> > wrote: >> >> I'm sorry it took me so long to get back to this. I'm not sure there >> is a good thing to

Re: [racket-users] backwards incompatible change to redex: does it break your models?

t;w...@williamjbowman.com> wrote: > On Sun, Dec 20, 2015 at 08:42:25PM -0600, Robby Findler wrote: >> The reason the "E_1" and the "e_1" are treated differently is that the >> "e" is mentioned in "binding" position of the shortcut. That is wha

Re: [racket-users] [Redex] test-->>E and trace

nistic, and I want to be able to see only paths, which lead to a > certain term. > > BR, > Anton Podkopaev > > 2015-12-18 20:49 GMT+03:00 Robby Findler <ro...@eecs.northwestern.edu>: >> >> I think you may want to call apply-reduction-relation* with a >> #:stop-when

Re: [racket-users] DrRacket indentation for 'send*' and other "Lambda-like Keywords"

I don't think that there is a specific rationale, no. I agree with you that it looks better. If you wanted to add it and get stuck, let us know and we can help point you in the direction of the relevant code. Robby On Sun, Feb 7, 2016 at 1:39 PM, gfb wrote: > The

Re: [racket-users] a little bug

ppreciate it. > > > On 2/5/2016 1:55 PM, Robby Findler wrote: >> >> In general, DrRacket does not promise to avoid this situation. Let me >> explain a little bit. This program is effectively equivalent to this >> one: >> >> #lang racket/base >> (define (run

Re: [racket-users] a little bug

jon stenerson wrote: >> >> Setting the limit lower helped. Thanks. I did not see that message about >> Background Expansion Terminated before. Now I do. >> >> Jon >> >> On 2/5/2016 6:55 AM, Robby Findler wrote: >>> >>> It took a while for m

Re: [racket-users] a little bug

Carrico <acarr...@memebeam.org> wrote: >> On 02/05/2016 08:01 AM, Robby Findler wrote: >>> When I run this, I see a message at the bottom of the DrRacket window (in >>> red): >>> >>> Background expansion terminated abnormally (out of memory) >>

Re: [racket-users] a little bug

When I run this, I see a message at the bottom of the DrRacket window (in red): Background expansion terminated abnormally (out of memory) do you see this message? Robby On Thu, Feb 4, 2016 at 10:29 PM, jon stenerson wrote: > > #lang racket > (let ((x 1)) >

[racket-users] Package builds based on snapshots now up

As was promised some time ago, a pkg-build service that runs based on the snapshot builds (instead of the latest official release) is now up. You can find it here: http://plt.eecs.northwestern.edu/pkg-build/ There are still things to fix (like I just noticed that the about link is wrong),

Re: [racket-users] link: bad variable linkage

gt; On 1/31/2016 3:22 PM, Robby Findler wrote: >> >> The compilation of racket is (not yet) deterministic so things like >> that can throw off internal tables in the .zo files (and a .zo files >> is loaded without checking dependencies, optimistically hoping that >> the

Re: [racket-users] unread-char

Also perhaps worth noting: make-peeking-input-stream. Robby On Thursday, January 28, 2016, Jay McCarthy wrote: > I suggest using peek-char > > Jay > > On Thu, Jan 28, 2016 at 6:06 PM, jon stenerson > wrote: > > Some languages

Re: [racket-users] (help ...) form in command-line REPL vs. Dr. Racket

In DrRacket you can type f1 when your insertion point is on the word "help". Robby On Tue, Jan 26, 2016 at 4:28 PM, Brian Adkins wrote: > I was doing some reading on Scheme, and I came across the following page: > > http://bastibe.de/2012-09-20-story-about-schemes.html >

Re: [racket-users] (help ...) form in command-line REPL vs. Dr. Racket

Right, sorry. :) On Tue, Jan 26, 2016 at 5:15 PM, Brian Adkins <lojicdot...@gmail.com> wrote: > On Tuesday, January 26, 2016 at 6:03:41 PM UTC-5, Robby Findler wrote: >> In DrRacket you can type f1 when your insertion point is on the word "help". >> >> Rob

Re: [racket-users] appending files

You might want to use copy-port here. Robby On Mon, Jan 25, 2016 at 11:50 PM, Benjamin Greenman wrote: > If you don't mind all the indentation, this one is streaming. > > (define (concat file* destination) > (with-output-to-file destination #:exists 'append >

Re: [racket-users] Re: Places performance & channel capacity

It may be the overhead of communicating the data is dominating the time spent working. Would it work to the main place open the file, count the number of lines, and then just tell the worker places which chunks of the file are theirs? Or maybe just do the counting at the byte level and then have

Re: [racket-users] backwards-incompatible change to in-vector

On Tuesday, January 19, 2016, Stephen Chang wrote: > > I think you should not change this backwards compatibility unless you > > really know it isn't used (and even then it is hard to know such > > things). > > Well I still think these programs would be relying on a bug,

Re: [racket-users] backwards-incompatible change to in-vector

I think you should not change this backwards compatibility unless you really know it isn't used (and even then it is hard to know such things). Robby On Tue, Jan 19, 2016 at 1:16 PM, Stephen Chang wrote: > Yes, or course it's possible, at the expense of more unreadable

Re: [racket-users] Racket performance tips

Do we know if ruby represents strings the same way Racket does? The representation in C clearly admits more efficient implementations of relevant operations here, and Ruby's might too. Robby On Sun, Jan 17, 2016 at 2:00 PM, Jon Zeppieri wrote: > My string-trim uses unsafe

Re: [racket-users] Re: How do I use fetch-blueboxes-strs?

It works for me too. There may be something different somehow with our setups, but I'm not sure what. Robby On Thu, Jan 14, 2016 at 7:17 PM, Jack Firth wrote: > Samth's example doesn't work for me, even after raco setup -xl. I'm on > version 6.3 > > -- > You received this

Re: [racket-users] How do I use fetch-blueboxes-strs?

This code: https://github.com/racket/drracket/blob/master/drracket/drracket/private/syncheck/blueboxes-gui.rkt#L526-L545 builds a tag from a string (and some hints about the module that exports it). Maybe looking at it and putting a few printfs into will help? It's called when you move the

Re: [racket-users] How do I use fetch-blueboxes-strs?

It may be that the docs have not been built? Did you try running "raco setup" (with no arguments, or perhaps with "-xi" if you have drracket open). Robby On Thu, Jan 14, 2016 at 5:28 PM, Jack Firth wrote: > Ah hah! Thanks for that link Robby. The appropriate definition tag

Re: [racket-users] [racket] suggestions on scribble/example

Could this problem be helped if we run something like drdr, but in more configurations? (That doesn't seem particularly simple, tho.) Robby On Sat, Jan 9, 2016 at 10:07 AM, Matthew Flatt wrote: > At Sat, 9 Jan 2016 08:34:45 -0700, Matthew Flatt wrote: >> At Sat, 9 Jan 2016

Re: [racket-users] [racket] suggestions on scribble/example

; requires individual per-package effort. > > Sam > > On Sat, Jan 9, 2016 at 11:13 AM, Robby Findler > <ro...@eecs.northwestern.edu> wrote: >> Could this problem be helped if we run something like drdr, but in >> more configurations? (That doesn't seem particularly

Re: [racket-users] warning on use trie functions in #lang racket?

I gave this a try here: https://github.com/rfindler/tr-pfds but got stuck. Robby On Fri, Jan 8, 2016 at 9:14 AM, Sam Tobin-Hochstadt <sa...@cs.indiana.edu> wrote: > On Fri, Jan 8, 2016 at 10:10 AM, Robby Findler > <ro...@eecs.northwestern.edu> wrote: >> I think we m

Re: [racket-users] warning on use trie functions in #lang racket?

We know there is a much more efficient set of contracts than what TR generates right? How about an unsafe export of TR functions to a wrapper module that implements the safe checks by hand (by macro?)? Maybe that exercise will even feed back into an improvement to TR? Robby On Tuesday, January

Re: [racket-users] warning on use trie functions in #lang racket?

a better solution is just to add immutable hash tables to TR, > and then use them in the trie modules. That would allow TR to generate > exactly the contracts that we could write by hand. > > Sam > > On Fri, Jan 8, 2016 at 9:06 AM, Robby Findler > <ro...@eecs.no

Re: [racket-users] warning on use trie functions in #lang racket?

hedule. > > Sam > > On Fri, Jan 8, 2016 at 9:48 AM, Robby Findler > <ro...@eecs.northwestern.edu> wrote: >> I thought your suggestion involved a change to TR. >> >> But whatever. Do what you want. >> >> Robby >> >> On Fri, Jan 8, 2016 at

Re: [racket-users] warning on use trie functions in #lang racket?

ere. > > Sam > > On Fri, Jan 8, 2016 at 9:42 AM Robby Findler <ro...@eecs.northwestern.edu> > wrote: >> >> We can do the simpler thing for this release, tho. And changing TR >> won't happen for months. The simple suggestion is an easy, immediate >> fix, and

Re: [racket-users] warning on use trie functions in #lang racket?

Could the contract do something helpful here, or is this really a fix that needs to happen in TR and/or the pfds library? Robby On Tue, Jan 5, 2016 at 3:21 PM, Sam Tobin-Hochstadt wrote: > The actual problem (in addition to the slowness of chaperones that > exist at every

Re: [racket-users] warning on use trie functions in #lang racket?

at least 100x faster when traversing the tree after the contract is > applied. > > It seems like it would be tricky for the contract system to figure out that > one can be used for the other. > > Sam > > > On Tue, Jan 5, 2016 at 4:53 PM Robby Findler <ro...@eecs.northwe

Re: [racket-users] warning on use trie functions in #lang racket?

fully-eager check doesn't > really help. But in general, I definitely agree. > > Sam > > On Tue, Jan 5, 2016 at 6:03 PM, Robby Findler > <ro...@eecs.northwestern.edu> wrote: >> This is related to a thought I've had, tho. It seems like it is hard >> for TR or for t

Re: [racket-users] Ligatures for monospace fonts in editors?

How does your editor draw the text? Robby On Sat, Jan 2, 2016 at 6:13 PM, David Christiansen wrote: > Hello all, > > I'm using the font Pragmata Pro to display code samples in Slideshow. In > particular, I've developed a sort of mini-IDE for Idris that can be >

Re: [racket-users] Ligatures for monospace fonts in editors?

The DC<%> layer, however, should support drawing text with ligatures. Robby On Saturday, January 2, 2016, Matthew Flatt wrote: > The `text%` layer currently manipulates characters individually. > Unfortunately, I think it would be a lot of work to change that layer > so

Re: [racket-users] Typed/Untyped cost reduction and experience

Just as a word of caution here: with a different set of type annotations, that program could go from a runtime error to a segfault. You probably also want to at least disable TR's optimizations when you do this. Robby On Tue, Dec 29, 2015 at 6:13 PM, Benjamin Greenman

Re: [racket-users] Re: More compile/eval Confusion

Well, considering my past performance you definitely don't want to to trust me on these questions, but I'll give it a try anyway. :) My guess is that when you comment in only this line from the last two: (eval (compile prog)) then the "x" is compiled into a reference to a top-level

Re: [racket-users] Problems with 'provide'

Is it possible you have two util.rkt files and you are in the wrong directory? Robby On Wednesday, December 23, 2015, David Storrs wrote: > Hi folks, > > I have a file, "util.rkt", the complete text of which is: > > == QUOTE > #lang racket > > (require

Re: [racket-users] Confused about the difference between the REPL and the toplevel.

; compile time evals song and dance, why do we need a separate function > > for: > > > > expand-syntax-top-level-with-compile-time-evals > > > > ? > > > > ~Leif Andersen > > > > > > On Mon, Dec 21, 2015 at 9:48 PM, Robby Findler > &g

Re: [racket-users] DrRacket crashes on simple pict3d script

Hi Greg: just in case it wasn't obvious, Jay also needed to upgrade his Racket to a version that's newer than 6.3. You can find our snapshot builds here if you want to try that: http://pre.racket-lang.org/installers/ Robby On Tue, Dec 22, 2015 at 7:52 AM, Greg Trzeciak

Re: [racket-users] Confused about the difference between the REPL and the toplevel.

I believe that's because expand does the splicing dance, but compile doesn't (which is why you need the funny-named function ... "need" is perhaps a poor choice of words here :). Robby On Mon, Dec 21, 2015 at 10:30 PM, Leif Andersen wrote: > Ah, that's a good question.

Re: [racket-users] backwards incompatible change to redex: does it break your models?

this is just my misunderstanding of how > reduction-relation works. > > -- > William J. Bowman > > On Sat, Dec 19, 2015 at 09:12:53AM -0600, Robby Findler wrote: >> I've recently pushed a change to Redex >> (https://github.com/racket/redex/commit/cbb2d88b) that disallow

[racket-users] backwards incompatible change to redex: does it break your models?

I've recently pushed a change to Redex (https://github.com/racket/redex/commit/cbb2d88b) that disallows the names of non-terminals in shortcuts in reduction relations. I did this after seeing someone (quite reasonably!) assume that using a non-terminal there meant the shortcut would work only for

Re: [racket-users] [Redex] test-->>E and trace

I think you may want to call apply-reduction-relation* with a #:stop-when argument instead? Robby On Fri, Dec 18, 2015 at 5:33 AM, Anton Podkopaev wrote: > Hello, colleagues! > > Is there any way to get a term trace from successful test-->>E in Redex? > > BR, > Anton

Re: [racket-users] Redex - constraining what is used to fill a hole

aightforward manner. > > Thanks for the help, > Sam Caldwell > > > On Sun, Dec 13, 2015 at 5:17 PM, Robby Findler < > ro...@eecs.northwestern.edu > <javascript:_e(%7B%7D,'cvml','ro...@eecs.northwestern.edu');>> wrote: > >> I'm not completely following the d

Re: [racket-users] Redex - constraining what is used to fill a hole

was able to get the behavior I want by calling apply-reduction-relation > from > inside a rule: > > (--> (in-hole E State-Q) > (in-hole E State) > (side-condition (not (redex-match? L hole (term E > (where (State) ,(apply-reduction-relation red (term State-Q)))

Re: [racket-users] Redex - constraining what is used to fill a hole

I can see why you might have expected that to work that way. Unfortunately, it doesn't. The identifiers in those places in shortcuts (Add2, x, and n in your examples below) are not pattern positions. They are simply identifiers. In the code you wrote, one could change the rule's left-hand side to

Re: [racket-dev] Re: [racket-users] Re: Happy Module Day!

cript, I get 2289056. Robby On Fri, Dec 11, 2015 at 7:36 AM, Brian Adkins <lojicdot...@gmail.com> wrote: > On Friday, December 11, 2015 at 8:17:39 AM UTC-5, Robby Findler wrote: >> Well, the current "racket" repo is only a small part of what we >> distribute. You might

Re: [racket-users] Re: Happy Module Day!

Well, the current "racket" repo is only a small part of what we distribute. You might try that same thing on the standard distribution. Robby On Fri, Dec 11, 2015 at 7:15 AM, Brian Adkins wrote: > On Friday, December 11, 2015 at 7:55:50 AM UTC-5, Brian Adkins wrote: >>

Re: [racket-users] Typed Racket: Is (- 1 1) equivalent to (- 2 2)?

On Thu, Dec 10, 2015 at 11:26 AM, Klaus Ostermann wrote: > This looks a bit strange to me, because usually one would expect > well-typedness to be not destroyed by replacing "equals with equals". I don't think any typed language respects this. For example: (if (= 1 1) #f

Re: [racket-users] racket/gui: Implementing new snips with multiple items

up when the mouse goes over a semantic tag. > > Thanks! > > /David > > On 09/12/15 21:08, Robby Findler wrote: >> My experience with this kind of thing suggests that keeping separate >> tables on the side that map ranges in the editor to whatever >> information

Re: [racket-users] racket/gui: Implementing new snips with multiple items

Sorry: data/enumerate => data/interval-map. On Wed, Dec 9, 2015 at 2:21 PM, Robby Findler <ro...@eecs.northwestern.edu> wrote: > You'd need to wire up your table with the after-insert and > after-delete methods, invalidating the appropriate parts. The behavior > you seem to wa

[racket-users] scrolling in DrRacket

Thanks to improvements at a low-level that Matthew made, DrRacket's scrolling performance is much improved (specifically when responding to a scroll event, DrRacket now uses a blit copy to avoid a complex redraw for the portion of the screen that's still there after the scroll happens and does the

Re: [racket-users] format-id and blue arrows

On Fri, Dec 4, 2015 at 8:45 AM, Tim Brown wrote: > These examples seem to work fine without syntax-local-introduce on the > identifiers. What is s-l-i’s role in this code? The syntax-local-introduce compensates for the extra macro-introduction scope that the expander puts on

Re: [racket-users] Redex Engine Internals

useful). Is it a good idea? > > BR, > Anton Podkopaev > > 2015-12-03 19:44 GMT+03:00 Robby Findler <ro...@eecs.northwestern.edu>: >> >> Redex isn't really designed with performance in mind. Some future >> version of Redex will probably improve on this, but p

Re: [racket-users] format-id and blue arrows

Looking at the implementation of format-id, I see that it doesn't do what would be needed to be done in order to make the arrows in DrRacket show up like they do for define-syntax. I think this would be a great addition, however! It basically needs to set up some properties on the identifier. If

Re: [racket-users] Redex Engine Internals

nk it should be > much faster. > - The `test-->>` run for `term_WW_WRMW_W_RRR` takes dozens of minutes. > Appropriate `test-->>` calls are commented out. > > The project: https://github.com/anlun/OperationalSemanticsC11 > The file with terms: > https://github.com/anlun/Op

Re: [racket-users] format-id and blue arrows

On Fri, Dec 4, 2015 at 10:36 AM, Alex Knauth wrote: > I just happened to run into that exact problem yesterday, and my solution > was to have an `id-append` function that returned two values: >

Re: [racket-users] format-id and blue arrows

‘v’ arguments, for example). > > Is it right to be moving this annotation up into format-id in the first > place? (I have no opinion now I have a pattern to follow, above). > > Suggestions on next steps? > > > Tim > > On 04/12/15 13:06, Robby Findler wrote: >&g

Re: [racket-users] Redex Engine Internals

Redex isn't really designed with performance in mind. Some future version of Redex will probably improve on this, but perhaps not enough for the use case you have in mind. My best advice (which is kind of depressing that this is the best I can do) is to experiment with the Redex version until

Re: [racket-users] Re: [racket] How to extend image-snip% with a new field

Ah, right: that code didn't actually save the bitmap itself. How do you like this code? Robby #lang racket/gui (require (prefix-in - racket/base)) (provide (rename-out [image-data-snip-class snip-class]) image-data-snip%) (define image-data-snip% (class image-snip% (inherit

Re: [racket-users] "bad variable linkage" after restarting handin server under load

ion — essentially, a sweet > HtDP fork bomb. > > I don't expect a patch for this, I'm just trying to understand things > and contemplating workarounds, beyond a more lenient watchdog (or > disabling it altogether and acting by hand), which I guess won't be > enough. > > Cheers

Re: [racket-users] Re: [racket] How to extend image-snip% with a new field

I think this code is doing what you want. Robby #lang racket/gui (require (prefix-in - racket/base)) (provide (rename-out [image-data-snip-class snip-class]) image-data-snip%) (define image-data-snip% (class image-snip% (inherit set-snipclass get-flags set-flags

Re: [racket-users] web-server dispatch and places

You probably thought of this, but could you hand the ports themselves over to the worker places after the dispatch but before any other processing happened? Or maybe just make each place run the entire server and then hand the ports over before dispatching and dispatch inside each worker place?

Re: [racket-users] "bad variable linkage" after restarting handin server under load

On Sunday, November 29, 2015, Paolo Giarrusso <p.giarru...@gmail.com> wrote: > On Friday, November 27, 2015 at 3:44:20 AM UTC+1, Robby Findler wrote: > > Yes, I think you're right. I originally wrote that because I was > > thinking that this code might be involved in

Re: [racket-users] change DrRacket syntax coloring per-source rather than per-lang?

I don't want to lay claim to suggesting this technique as I am not sure it is a good idea. I mean to be explaining that, not suggesting you use it in my earlier message. :) In particular, it means that if you put a syntax error (or malicious code) into the pollen config then you will crash

Re: [racket-users] change DrRacket syntax coloring per-source rather than per-lang?

I think that you have to make the syntax colorer discover which is the @ character in the same way "#lang pollen" discovers it and then pass that along to the scribble-inside-lexer. (This may require changing scribble-inside-lexer to be more flexible in when it accepts the character.) Lexers have

Re: [racket-users] Value printing in REPL and for students

mething granular like that). hth, Robby On Fri, Nov 27, 2015 at 6:57 AM, Paolo Giarrusso <p.giarru...@gmail.com> wrote: > On 27 November 2015 at 03:48, Robby Findler <ro...@eecs.northwestern.edu> > wrote: >> DrRacket pulls some shenanigans with the language dialog-based &g

Re: [racket-users] Racket v6.3

Those are menu items that DrRacket updates via a callback that happens when you click on the menubar, something that has been problematic in the past. I could change DrRacket to avoid doing the update at that time, if that's necessary. The "open recent" submenu in the "file" menu also does stuff

Re: [racket-users] change DrRacket syntax coloring per-source rather than per-lang?

<m...@mbtype.com> wrote: > Sorry for the noob question, but broadly, how does one affect the behavior of > the syntax colorer (and thereby the lexer) from the #lang (if not through > `get-info`)? > > > On Friday, November 27, 2015 at 8:37:47 AM UTC-8, Robby Findler w

Re: [racket-users] Racket v6.3

s a small annoyance (bug?) with the open recent menu. > If as the first thing after starting DrRacket, one touches "File" and then > "Open Recent" then > then no files are displayed. Choosing "Open Recent" again will work though. > > /Jens A

Re: [racket-users] Value printing in REPL and for students

DrRacket pulls some shenanigans with the language dialog-based teaching languages and it needs some adjust to make things work the way you want with printing in 'raco test' and 'racket'. Probably there isn't a simple path to that precise goal, but maybe there is a way to another goal? Is it the

Re: [racket-users] "bad variable linkage" after restarting handin server under load

ps '("gui-doc" "racket-doc" On Thu, Nov 26, 2015 at 6:23 PM, Paolo Giarrusso <p.giarru...@gmail.com> wrote: > On 25 November 2015 at 14:54, Robby Findler <ro...@eecs.northwestern.edu> > wrote: >> I'm still not completely >> sure,

Re: [racket-users] Revert to defaults - is *global* !

On Tue, Nov 3, 2015 at 4:46 PM, Brian Adkins wrote: > Maybe "Revert All to Defaults" as the button title, or a warning that it will > revert every single value in preferences? Yeah, that's a good idea. I've pushed a change to the text in the button. Thanks! Robby --

Re: [racket-users] "bad variable linkage" after restarting handin server under load

I don't know what's going on here, but could it be that two threads are, in parallel, trying to load the same implementation of an unloaded checker and then stomping on each other? The file handin-server/private/reloadable has some dynamic-requires without appropriate syncronization around them,

Re: [racket-users] "bad variable linkage" after restarting handin server under load

The stomping on I was worried about would happen at a lower-level as I don't think that, in general, dynamic-require is thread-safe. After all, it loads and runs arbitrary code, altho in this case it appears to be a system level lack of thread safety? I'm still not completely sure, but since you

Re: [racket-users] Re: Unneeded console window when running a Racket Windows executable

Possibly you were printing something out? If you have expressions that produce non-void results at the top of a "#lang racket" program, they will print out, which can trigger creation of the console window. Robby On Sun, Nov 22, 2015 at 4:41 PM, Champignac wrote: > On

Re: [racket-users] Miscellaneous bugs/feature requests

On Fri, Nov 20, 2015 at 4:38 AM, Josh Grams <j...@qualdan.com> wrote: > On 2015-11-17 06:43AM, Robby Findler wrote: >>On Mon, Nov 16, 2015 at 7:11 PM, Josh Grams <j...@qualdan.com> wrote: >>> - DrRacket: is there some way to set a key binding to rename a *variable*?

Re: [racket-users] Miscellaneous bugs/feature requests

On Mon, Nov 16, 2015 at 7:11 PM, Josh Grams wrote: > I've spent a week or two with 2htdp/universe in preparation for doing a > little intro to Racket talk. And...I have a few little things: > > - DrRacket: is there some way to set a key binding to rename a symbol? > It's

Re: [racket-users] syntax-original? always returns #f within syntax transformers?

Hi Thomas: thank you for participating in the Racket community and submitting reports that help us improve the docs and the implementation. Love & Peace, Robby On Wed, Nov 11, 2015 at 12:00 PM, Thomas Dickerson wrote: > On Tuesday, October 27, 2015 at 7:24:55 AM

Re: [racket-users] How to get information about where an error occurs, in a stack trace context?

How much memory do you have on your machine? 0.25 seconds per keystroke sounds worse than expected. Robby On Sun, Nov 8, 2015 at 8:18 PM, Nota Poin wrote: > On Monday, November 9, 2015 at 1:38:56 AM UTC, Matthias Felleisen wrote: >> Use drracket. > Yeah, I would, but it

Re: [racket-users] Evaluating whatever expression halfway a debugging session

I think it woudl be kind of cool to add abort and call/cc (plus a good set of delimited operators, of course) to ASL or to define ASL+ as including those. (Or maybe ASL-- and take out state?) I can see John's point about the work involved, but it is hard to imagine a better learning environment

Re: [racket-users] let/define

Yeah, perhaps I've drunk too much of the koolaid, but I'm not even seeing an alternative interpretation that makes any sense! Does it help to see the arrows in DrRacket? In particular the upward pointing one that points at the 'y' in display's argument? Robby On Mon, Nov 2, 2015 at 6:32 PM,

Re: [racket-users] Redex: call for alpha-equivalence beta testers

e/arrow-val-first.rkt:324:3 > > I notice that substitute recently changed to a metafunction--which is > handy--and requires (default-language) be set. According to the > documentation, (default-language) is only set inside metafunction and > judgment-forms, *not* reduction-relatio

Re: [racket-users] syntax-original? always returns #f within syntax transformers?

syntax-original? is querying a private property and that property isn't set on the syntax object argument given to the transformer. (I would have said because of the extra mark that's put on the argument, but that's not happening now, but we get the same behavior anyway.) If you call

Re: [racket-users] DrRacket fill-paragraph?

I just tried in in a .scrbl file in OS X and > Ubuntu, and it works in OS X, but not Ubuntu). > > On Sun, Oct 25, 2015 at 6:44 PM Robby Findler <ro...@eecs.northwestern.edu > <javascript:_e(%7B%7D,'cvml','ro...@eecs.northwestern.edu');>> wrote: > >> DrRacket has that w

Re: [racket-users] DrRacket fill-paragraph?

DrRacket has that when editing scribble files but not other ones. Is that what you found? Robby On Sunday, October 25, 2015, Andrew Kent wrote: > I know I've pressed meta-q in DrRacket and gotten the Emacs > 'fill-paragraph' behavior (where it automatically wraps your text at

Re: [racket-users] Getting the "require" syntax arrows to work right

ginal?` is less meaningful than I initially thought—just because > it’s a “private” property doesn’t mean macros can’t generate new syntax > objects that are considered to be “original”? > > Anyway, thanks for your quick response! All seems to be well now. > >> On Oct 24, 2015, a

Re: [racket-users] Getting the "require" syntax arrows to work right

Maybe you need to copy over the properties too? This seems to work: #lang racket/base (require (for-syntax racket/base)) (define-syntax (import stx) (syntax-case stx () [(_ (a b)) #`(require #,(datum->syntax stx (string->symbol (format "~a/~a" (syntax-e

Re: [racket-users] DrRacket indentation adds spaces to empty non-top-level lines?

Well, one part of the answer is that DrRacket indents empty lines so when type something like "(define (f x)x" the second "x" is in a reasonable place. Perhaps it could behave differently, but auto-indent-on-return seems less surprising than

<    2   3   4   5   6   7   8   9   >