Re: [racket-users] raco test doesn't run configure-runtime?

I believe the intention of configure-runtime is that it runs only when your file is run as the main program and not when your program is run as a library (via require). So I don't think you can use that facility to implement the exact-decimal language. Robby On Mon, Mar 30, 2015 at 8:56 PM,

Re: [racket-users] ANN: Gregor, a date and time library

On Thu, Mar 26, 2015 at 4:13 PM, Jon Zeppieri zeppi...@gmail.com wrote: You can carry around a bucket that says 5 years, 3 weeks, and 40 hours, but the precise number of seconds inside the bucket is indeterminate until you pour it over a date-provider. (No, not a great metaphor.) I have a

Re: [racket-users] ANN: Gregor, a date and time library

On Thu, Mar 26, 2015 at 4:31 PM, Jon Zeppieri zeppi...@gmail.com wrote: On Thu, Mar 26, 2015 at 5:30 PM, Jon Zeppieri zeppi...@gmail.com wrote: 3 weeks and 40 hours will always have a fixed number of seconds... And this is because Gregor isn't faithful to UTC, of course. Otherwise, this

Re: [racket-users] ANN: Gregor, a date and time library

On Thu, Mar 26, 2015 at 4:13 PM, Jon Zeppieri zeppi...@gmail.com wrote: You can carry around a bucket that says 5 years, 3 weeks, and 40 hours, but the precise number of seconds inside the bucket is indeterminate until you pour it over a date-provider. (No, not a great metaphor.) I have a

Re: [racket-users] ANN: Gregor, a date and time library

On Thu, Mar 26, 2015 at 4:31 PM, Jon Zeppieri zeppi...@gmail.com wrote: On Thu, Mar 26, 2015 at 5:30 PM, Jon Zeppieri zeppi...@gmail.com wrote: 3 weeks and 40 hours will always have a fixed number of seconds... And this is because Gregor isn't faithful to UTC, of course. Otherwise, this

Re: [racket-users] DrRacket freezes from background expansion with typed racket file in pict3d

Do you see a message appearing in stdout of DrRacket? (It would be in console.app on a Mac.) Robby On Monday, April 13, 2015, Alexander D. Knauth alexan...@knauth.org wrote: DrRacket is freezing on me a lot, but I’m not sure if it’s because of a problem in DrRacket, Typed Racket, Pict3d, or

Re: [racket-users] DrRacket freezes from background expansion with typed racket file in pict3d

Checker: Summary: 2 errors encountered in: time time I guess you see something else? On Tue, Apr 14, 2015 at 5:31 AM, Alexander D. Knauth alexan...@knauth.org wrote: I did try that, but no. On Apr 14, 2015, at 3:03 AM, Robby Findler ro...@eecs.northwestern.edu wrote: Do you see

Re: [racket-users] DrRacket plugin to remove trailing whitespace on save?

-Jon On Sun, Apr 12, 2015 at 6:14 PM, Robby Findler ro...@eecs.northwestern.edu wrote: No but Max changed the way return works so there should be less whitespace added going forward. Writing a script to trim whitespace from line-endings would work well if it were to use text% IMO. Use

Re: [racket-users] DrRacket plugin to remove trailing whitespace on save?

Preferences are here for the prefs library: http://docs.racket-lang.org/framework/Preferences__Textual.html and here for adding check boxes to the prefs dialog:

Re: [racket-users] Save as Scribble file extension

be more confusing. If I want to use at-expressions in a normal racket file, I don’t want it to set the default extension to .scrbl. On Apr 19, 2015, at 4:38 PM, Robby Findler ro...@eecs.northwestern.edu wrote: A while back, Lei Wang implemented an indentation mode for Scribble and it has been

Re: [racket-users] Racketeer - Continuous Testing Plugin for DrRacket

This looks very nice, thanks! You may wish to use raco pkg install racketeer to install and raco pkg remove racketeer to remove it. These are both available via drracket's menus. Robby On Saturday, April 25, 2015, Mira Leung emailmirale...@gmail.com wrote: Racketeer is a plugin for DrRacket

Re: [racket-users] DrRacket internal error

, 2015, at 10:16 PM, Robby Findler ro...@eecs.northwestern.edu wrote: I'm glad to hear that helped. Looking at the code, I'm puzzled because I don't see how configure-runtime can show up in the code that is in that stacktrace. I'd expect configure-runtime to show up in code

Re: [racket-users] DrRacket internal error

Does restarting help? How about re-running 'raco setup'? Robby On Wed, Apr 22, 2015 at 6:21 PM, Alexander D. Knauth alexan...@knauth.org wrote: I’m not sure how it got into this state, but now every time I start typing something or anything like that I get a DrRacket internal error window

Re: [racket-users] DrRacket internal error

didn’t help, but then raco setup hanged because of an infinite loop in a package of mine, which I then fixed, and then I tried raco setup again, and then it was working again. So the problem, for me, right now, is fixed. On Apr 22, 2015, at 9:23 PM, Robby Findler ro...@eecs.northwestern.edu

Re: [racket-users] Save as Scribble file extension

A while back, Lei Wang implemented an indentation mode for Scribble and it has been set up in the implementation of the reflow-paragraph keybinding (alt-q / meta-q) but it hadn't been set up for indentation. I've now done that and sorry for the long delay. (The latest snapshots should have this

Re: [racket-users] generating hyperlinks into Scribble docs

Is this what you're after? Robby #lang racket (require setup/xref scribble/xref net/url) (define (get-docs-url module-path export) (define xref (load-collections-xref)) (define tag (xref-binding-definition-tag xref (list module-path export) #f)) (define-values (path

Re: [racket-users] Add margin note for exn:break-continuation?

I think that the issue is that with-handlers calls it's handlers with the continuation of the with-handlers expression itself, but uncaught-exception-handler calls it's handlers with the continuation at the point of the break. So in the with-handlers case, you have already escaped out of the

Re: [racket-users] performance with freeze from 2htdp/image on very complex images

On Mon, May 4, 2015 at 10:33 PM, Alexander D. Knauth alexan...@knauth.org wrote: On May 4, 2015, at 6:02 PM, Robby Findler ro...@eecs.northwestern.edu wrote: Another approach here would be to help me do performance debugging of 2htdp/image :). You could write the code directly as imperative

Re: [racket-users] Time for draw-bitmap

But if you have a specific destination in mind you can make the bitmap first and then draw the 2htdp/image into it (or anything into it!) Robby On Sunday, May 10, 2015, Matthew Flatt mfl...@cs.utah.edu wrote: At Mon, 11 May 2015 00:30:05 +0200, Jens Axel Søgaard wrote: 2015-05-11 0:07

Re: [racket-users] Time for draw-bitmap

On Mon, May 11, 2015 at 12:43 AM, Jens Axel Søgaard jensa...@soegaard.net wrote: 2015-05-11 2:24 GMT+02:00 Robby Findler ro...@eecs.northwestern.edu: But if you have a specific destination in mind you can make the bitmap first and then draw the 2htdp/image into it (or anything into it!) When I

Re: [racket-users] pkg-build report for the v6.2 release candidate

Rack test defines any stderr output to be a bug. Robby On Sunday, May 17, 2015, Matthew Butterick m...@mbtype.com wrote: FWIW I've had the same problem. Even though 'raco test -p pollen' shows no errors locally nor on Travis CI, the Racket build system produces a non-empty stderr test

Re: [racket-users] raco make, file permissions, and unstable directories

1) Compilation to .zo files (what raco make does) can theoretically embed absolute paths, but this is something we work hard to avoid, so it shouldn't be happening. We use the ability to move .zo files around when building our distributions, for example, so I think you should be safe. (But there

Re: [racket-users] DrRacket blue info box for unfinished forms?

in the installation scope, and not for pkgs in the user scope. Is this intentional? Is there a setting that controls this? On Apr 10, 2015, at 8:22 PM, Robby Findler ro...@eecs.northwestern.edu wrote: Yeah. I've pushed that and some interactivity improvements. It now looks backwards for a symbol so

Re: [racket-users] DrRacket blue info box for unfinished forms?

this? On Apr 10, 2015, at 8:22 PM, Robby Findler ro...@eecs.northwestern.edu wrote: Yeah. I've pushed that and some interactivity improvements. It now looks backwards for a symbol so if you type ahead by a few parens and spaces, it'll still pick up the keyword. (It may be a while before

Re: [racket-users] DrRacket plugin to remove trailing whitespace on save?

No but Max changed the way return works so there should be less whitespace added going forward. Writing a script to trim whitespace from line-endings would work well if it were to use text% IMO. Use load-file to get a file and then the paragraph methods to find line endings and then delete stuff

Re: [racket-users] Save as Scribble file extension

I think that is right and I did a similar thing the other day and my conclusion is that there is a bug somewhere. I hope to look into it soon. Robby On Sat, Apr 18, 2015 at 4:03 PM, Alexander D. Knauth alexan...@knauth.org wrote: I just found this:

Re: [racket-users] DrRacket freezes from background expansion with typed racket file in pict3d

“updating” your typed-racket-lib pkg to the version from a week ago, maybe? On Apr 14, 2015, at 5:08 PM, Robby Findler ro...@eecs.northwestern.edu wrote: Oh! that's different than what I had understood. Thanks for clarifying. I wish I could reproduce it, tho. Can you say more about

Re: [racket-users] DrRacket freezes from background expansion with typed racket file in pict3d

. On Apr 14, 2015, at 11:37 PM, Robby Findler ro...@eecs.northwestern.edu wrote: Oh! Is it possible that you updated some pkgs without restarting DrRacket? I think I see how that could cause DrRacket to get confused and do arbitrarily bad things. Robby On Tue, Apr 14, 2015 at 5:06 PM

Re: [racket-users] DrRacket blue info box for unfinished forms?

-- it is the scribble-lib pkg that changed). Robby On Sat, Apr 11, 2015 at 11:24 AM, Robby Findler ro...@eecs.northwestern.edu wrote: From what I can tell, the blueboxes information is not been computed and saved during documentation building. And running raco setup doesn't seem to fix

Re: [racket-users] DrRacket blue info box for unfinished forms?

I've just pushed a change to DrRacket to do that. Thanks for the prompting; it helped me realize a better approach than what was there before. The way it now works is less accurate than it was before but I think a win overall. In particular, once DrRacket has completed check syntax at least once

Re: [racket-users] DrRacket blue info box for unfinished forms?

If you have a recent snapshot build then you can say raco pkg update drracket. It should also be in today's snapshots (I think it made the deadline). Robby On Tuesday, April 7, 2015, Joshua Grams j...@qualdan.com wrote: On Monday, April 6, 2015 at 6:46:35 PM UTC-4, Robby Findler wrote: I've

Re: [racket-users] sequence/c turns streams into non-stream sequences?

I've pushed a fix for this, but I see that many other things don't work right along these lines. For example, vectorness is not preserved and probably none of the things except listness is preserved (from the list of things here http://docs.racket-lang.org/reference/sequences.html). It's not too

Re: [racket-users] DrRacket blue info box for unfinished forms?

...@knauth.org wrote: Now I’m wondering: would you be able to extend this to the repl in the interactions panel? On Apr 6, 2015, at 6:46 PM, Robby Findler ro...@eecs.northwestern.edu wrote: I've just pushed a change to DrRacket to do that. Thanks for the prompting; it helped me realize

Re: [racket-users] Linear time immutable hasmap union

Not sure if it helps, but I believe the immutable hashes are currently implemented as AVL trees and they will probably become hash-mapped tries at some point. (I think that change is on a fork of Matthew's somewhere and still being explored.) Robby On Thu, Apr 9, 2015 at 8:49 AM, Alexey Cherkaev

Re: [racket-users] Constant syntax coloring?

The continuously-on version of check syntax intentionally drops the coloring parts of the click the button version of check syntax. It does this so it doesn't have to fight with the syntax colorer, so I am reluctant to turn it back on. If you use only Racket-like languages, it may work for you to

Re: [racket-users] racket virtual machine

You might have a look at Whalesong. It is a racket-js compiler that, IMO, was headed in a good direction. It's not a small thing, however. Robby On Thu, Jun 4, 2015 at 11:37 PM, Neil Van Dyke n...@neilvandyke.org wrote: Thanks, Jens Axel, Raoul, and Robby. Different question... For support

Re: [racket-users] DrRacket seems to ignore print-reader-abbreviations?

DrRacket sets the global-port-print-handler to use pretty-print (line 605 in language.rkt) instead of just print. My guess is that the right thing would be to make pretty-print react to those parameters the way print does but I'm not completely certain. Anyway, here's a rough approximation to what

Re: [racket-users] DrRacket seems to ignore print-reader-abbreviations?

Probably history is involved here, as pretty-print long predates print. DrRacket is controlling the parameter settings of print, probably too tightly. Probably DrRacket should take care to do that only when it is doing printing for the REPL and not all uses of print, but I'm less sure of that

Re: [racket-users] Parallelism / atomic?

Racket threads are not cooperative multitasking. There are no explicit yield points. The runtime system still schedules the threads independently, but there is only ever at most one running at a time. Racket's threads are designed to support concurrency (ie a particular kind of non-determinism

Re: [racket-users] Parallelism / atomic?

On Wed, Jun 3, 2015 at 9:18 AM, Michael Tiedtke michael.tied...@o2online.de wrote: Thank you! The set! primitive is atomic - that's good. Just to be clear: when you are using futures with set!, you get the lower-level guarantees here, which do not include atomicity, indeed not even SC. Futures

Re: [racket-users] strange bug with racket/gui

You can override on-paint to draw from a bitmap and then draw into the bitmap. The canvas DC is access directly to the OS-provided drawing context and you add what you need as you see fit. Robby On Tuesday, June 2, 2015, John Smith rashreportl...@gmail.com wrote: Matthias, The code you

Re: [racket-users] racket virtual machine

Just because no one has mentioned it yet: there is a C implementation of the VM (and the primitives) so if you have a C compiler and an OS for that architecture, it shouldn't be too hard. Robby On Wed, Jun 3, 2015 at 5:59 PM, Neil Van Dyke n...@neilvandyke.org wrote: How hard is it to implement

Re: [racket-users] Performance: inner vs module define

I don't know the answer for sure, but I expect it has to do with the fact that loop2 is defined at the top-level in the REPL. Putting that into a module, I see this: ☕ racket ~/tmp2.rkt cpu time: 3155 real time: 3222 gc time: 0 55 cpu time: 2979 real time: 3045 gc time: 0

Re: [racket-users] racket virtual machine

at 9:53 AM, Neil Van Dyke n...@neilvandyke.org wrote: I recall Whalesong, and was hoping something simpler would work. Robby Findler wrote on 06/05/2015 08:21 AM: You might have a look at Whalesong. It is a racket-js compiler that, IMO, was headed in a good direction. It's not a small thing

Re: [racket-users] no plot zooming on local build--update procedure wrong?

Yes, sorry about that everyone. Poor planning on my part. Robby On Monday, June 22, 2015, Neil Toronto neil.toro...@gmail.com wrote: Robby has just pushed an evil hack that makes plots and pict3ds interactive again. In the future, there will be a transition to a different interactive

Re: [racket-users] try a new macro expander

Excited! On Tue, Jun 23, 2015 at 10:30 AM, Neil Toronto neil.toro...@gmail.com wrote: On 06/22/2015 08:25 AM, Matthew Flatt wrote: At Thu, 21 May 2015 07:15:14 -0600, Matthew Flatt wrote: Otherwise, be prepared for me to come back in a few weeks and lobby for moving to a new macro expander.

Re: [racket-users] Memory indicator weird behaviour

On Sun, Jun 21, 2015 at 5:34 PM, Bahman Movaqar b.mova...@gmail.com wrote: So I was experimenting with Racket 6.2, and I noted the memory indicator was ~216MB. I pressed the garbage collect button and the memory jumped up to ~440MB. Strange. Is it only because the memory indicator hadn't

Re: [racket-users] Re: Converting a heterogenous list into a string

If you can't do that, here's another way approach to the problem: #lang racket (define my-list '(a 1 b 2.5 c #t d hi)) (define sp (open-output-string)) (for ([k (in-list my-list)] [v (in-list (cdr my-list))] [i (in-naturals)]) (when (even? i) (fprintf sp [~a=~a] k v)))

Re: [racket-users] Re: Defining contracts sanely

On Mon, Jun 22, 2015 at 2:43 AM, Aidan Gauland aidal...@slingshot.co.nz wrote: If this does what you want, it’s fine, but the define/contract is probably unnecessary, and (define fish-freshness/c (flat-named-contract ‘fish-freshness/c (lambda (x) (not (eq? ….) Should do

Re: [racket-users] ...aaand, too late to register for Strange Loop.

I understand it may be too far to come for just one day for many, but RacketCon registration is independent of Strange Loop registration. Robby On Thu, Jun 11, 2015 at 2:29 PM, 'John Clements' via users-redirect us...@plt-scheme.org wrote: Golly, that was fast. So much for RacketCon this year.

Re: [racket-users] Break-before-run

Oh, I see. I've pushed that change. Thanks, Robby On Fri, Jun 12, 2015 at 8:08 PM, Neil Van Dyke n...@neilvandyke.org wrote: Robby Findler wrote on 06/12/2015 09:01 PM: I think DrRacket will kill the old execution when you hit run. Are you not seeing that? I just tested with 6.1.1

Re: [racket-users] Break-before-run

I think DrRacket will kill the old execution when you hit run. Are you not seeing that? Robby On Friday, June 12, 2015, John Carmack jo...@oculus.com wrote: Would it be reasonable to have DrRacket leave the Run option available at all times, and force a break if the program is already

Re: [racket-users] Way to open DrRacket at a specific file line?

This is fine advice. If you wanted to prepare just a little bit more, you might run raco pkg update --clone drracket (and then respond yes to the prompt). This would, in the directory you're in, create a drracket sub directory and a few others that contain the source code of DrRacket, linked to

Re: [racket-users] Way to open DrRacket at a specific file line?

update --clone, that's cool! On Fri, May 29, 2015 at 12:22 AM, Robby Findler ro...@eecs.northwestern.edu javascript:_e(%7B%7D,'cvml','ro...@eecs.northwestern.edu'); wrote: This is fine advice. If you wanted to prepare just a little bit more, you might run raco pkg update --clone drracket

Re: [racket-users] can't quite reproduce this contract error involving an exported function

I think that if you don't have up to date .zo files, arbitrary badness can ensue. Robby On Mon, Jun 1, 2015 at 3:16 PM, Asumu Takikawa as...@ccs.neu.edu wrote: On 2015-06-01 12:50:33 -0700, 'John Clements' via users-redirect wrote: Contract error: expected “text.rkt”, got #ClassInfo from

Re: [racket-users] can't quite reproduce this contract error involving an exported function

Yes, it is supposed to do that correctly if you have the option turned on. Robby On Mon, Jun 1, 2015 at 3:50 PM, 'John Clements' via users-redirect us...@plt-scheme.org wrote: On Jun 1, 2015, at 1:46 PM, Robby Findler ro...@eecs.northwestern.edu wrote: I think that if you don't have up

Re: [racket-users] Room for descriptions

That sounds like it would be a very nice change. The option you want is in the view menu. Robby On Friday, July 3, 2015, Jens Axel Søgaard jensa...@soegaard.net wrote: Hi All, During the installation of DrRacket on a new laptop I realized that the preferences dialog could need some kind of

Re: [racket-users] API function naming

We clearly need keyboards like this: http://9gag.com/gag/5551148/the-entire-chinese-keyboard On Fri, Jul 3, 2015 at 1:43 PM, Stephen Chang stch...@ccs.neu.edu wrote: The prefixes are based on this file: https://github.com/racket/gui/blob/master/tex-table/tex-table.rkt Maybe there are missing

Re: [racket-users] API function naming

You also have unicode available to you. IDE support can help with this -- I think the cmd-\ for lambda has worked pretty well. Robby On Fri, Jul 3, 2015 at 12:36 PM, Stephen Chang stch...@ccs.neu.edu wrote: What symbols have the least historic baggage? I've gone through this exercise a few

Re: [racket-users] Re: Defining contracts sanely

On Sat, Jun 27, 2015 at 6:20 PM, Aidan Gauland aidal...@slingshot.co.nz wrote: On 23/06/15 00:00, Robby Findler wrote: On Mon, Jun 22, 2015 at 2:43 AM, Aidan Gauland: If this does what you want, it’s fine, but the define/contract is probably unnecessary, and (define fish-freshness/c (flat

Re: [racket-users] Generic collections in Racket

On Sun, May 24, 2015 at 7:43 PM, Alexis King lexi.lam...@gmail.com wrote: As for printing these sequences... yes, printing as #lazy-sequence sucks. Currently you can always force a sequence with sequence-list, but that's annoying. Clojure takes the approach of making printing lazy sequences

Re: [racket-users] Generic collections in Racket

On Mon, May 25, 2015 at 12:48 AM, Alexis King lexi.lam...@gmail.com wrote: Depending on other design decisions, it make make sense to consider this an IDE issue. That is, maybe the best thing is to have some kind of interactive value in the REPL that lets the user have control over the

Re: [racket-users] test submodules vs tests in separate file

And apologies for this completely wrong remark! On Fri, May 22, 2015 at 7:19 AM, Robby Findler ro...@eecs.northwestern.edu wrote: Contracts mediate boundaries between parts of your program and sometimes tests should go across the boundary (to help test the contracts) and sometimes they should

Re: [racket-users] How to fill a shape with a texture using 2htdp/image or similar?

://github.com/soegaard/metapict/blob/master/metapict/pict.rkt#L149 /Jens Axel 2015-05-21 18:41 GMT+02:00 Robby Findler ro...@eecs.northwestern.edu: Oh, nice! We should add brushstipple to pict itself. Robby On Thu, May 21, 2015 at 11:28 AM, Jens Axel Søgaard jensa...@soegaard.net wrote: Here

Re: [racket-users] test submodules vs tests in separate file

For that kind of situation, you should consider writing your test submodule like this: #lang racket (define (add1 x y) (integer? integer? . - . integer?) (+ x y)) (provide (contract-out [add1 (integer? integer? . - . integer?)])) (module* test racket (require (submod ..)) (add1 #f #f))

Re: [racket-users] test submodules vs tests in separate file

, 2015, Atticus attic...@posteo.org wrote: That's good to know. That means my previous conclusion is wrong and I'm not forced to use define/contract when using test submodules. Robby Findler ro...@eecs.northwestern.edu javascript:; writes: For that kind of situation, you should consider writing

Re: [racket-users] How to fill a shape with a texture using 2htdp/image or similar?

The same effect can be achieved by setting the brush to a stipple and then filling a path. /Jens Axel 2015-05-20 17:03 GMT+02:00 Robby Findler ro...@eecs.northwestern.edu: 2htdp/image doesn't support that now, but the color argument of various functions there could be generalized to support

Re: [racket-users] How to fill a shape with a texture using 2htdp/image or similar?

2htdp/image doesn't support that now, but the color argument of various functions there could be generalized to support a new brush struct (in the way that pen structs work for outline images) that had a bitmap field to do what you want. The internal helper function mode-color-brush would have to

Re: [racket-users] Redex typesetting

On Tue, Aug 18, 2015 at 11:52 AM, Paul van der Walt paul.vanderw...@inria.fr wrote: Hey Matthew, On 2015-08-18 at 18:16, quoth Matthew Flatt: The change was probably the switch from using homemade white-brackets to using the white-bracket Unicode character. OK, two questions: a) this

Re: [racket-users] Unexpected behaviour using (render-metafunctions...)

Thanks. I've pushed a fix to this. If you don't want to use a git-based build, you can use the keyword #:filename, to work around the bug. Robby On Tue, Aug 18, 2015 at 2:41 PM, Paul van der Walt paul.vanderw...@inria.fr wrote: Hello again, I have a minor issue, i want to render a

Re: [racket-users] Redex typesetting

(add users@ back) On Tue, Aug 18, 2015 at 3:40 PM, Robby Findler ro...@eecs.northwestern.edu wrote: On Tue, Aug 18, 2015 at 3:33 PM, Paul van der Walt paul.vanderw...@inria.fr wrote: On 2015-08-18 at 22:02, quoth Robby Findler: What happens when you run this program? Do you see the white

Re: [racket-users] Redex typesetting

, 2015 at 2:37 PM, Paul van der Walt paul.vanderw...@inria.fr wrote: Hi Robby, On 2015-08-18 at 19:29, quoth Robby Findler: c) can i make the Unicode approach work? It seems like The Right Thing To Do. Not super important though. You would need to install a font that has that glyph, I believe

Re: [racket-users] `divides?` from math/number-theory slow?

It looks to me like the slowdown isn't entirely explained by contract checking, or perhaps TR isn't generating the contracts I would have guessed. With the program below, I see this output cpu time: 1228 real time: 1228 gc time: 133 cpu time: 658 real time: 658 gc time: 18 cpu time: 80 real time:

Re: [racket-users] `divides?` from math/number-theory slow?

) x 0))) On Mon, Aug 24, 2015 at 8:18 AM, Robby Findler ro...@eecs.northwestern.edu wrote: It looks to me like the slowdown isn't entirely explained by contract checking, or perhaps TR isn't generating the contracts I would have guessed. With the program below, I see this output cpu

Re: [racket-users] composing unquote-rewriters in redex?

Would it work to have your code expand into uses of with-unquote-rewriter that chained things together? Alternatively, I wouldn't mind if something like that were folded into Redex itself and with-unquote-rewriters left as part of the public API for backwards compatibility reasons. And one other

Re: [racket-users] contract error raised in 6.0, but not in 6.1 and 6.2?

Thanks! That was a bug. I've pushed a fix. Robby On Wed, Aug 19, 2015 at 5:52 PM, Matthew Butterick m...@mbtype.com wrote: Below, I think `(func 42)` should raise exn:fail:contract, because `(func 42)` returns a number and the output contract for `func` specifies a boolean. And in 6.0 it

Re: [racket-users] DrRacket stubbornly indents code as if it were Racket

Hi Yuhao: The Scribble indentation mode is currently implemented by adding a keymap that overrides the tab key. You can find the implementation here of the callback itself here: https://github.com/racket/gui/blob/master/gui-lib/scribble/private/indentation.rkt and the code that communicates with

Re: [racket-users] continuing after a user break

It does seem useful. It would require some thought because the exception handler cannot escape until there is no possibility of resuming which seems like it would have UI implications. This would also cause some REPL interactions to behave differently when they are in the break-resumable context

Re: [racket-users] Comparing (delimited) continuations in Racket

(1) how grey is your cat? The color of a television, tuned to a dead channel. Robby -- You received this message because you are subscribed to the Google Groups Racket Users group. To unsubscribe from this group and stop receiving emails from it, send an email to

Re: [racket-users] Export indentation preferences in a package's info.rkt?

I agree this would be nice but I think the right way to approach it would be to have metadata cached (via some more generic library supporting such metadata) with exported libraries in a file near the .zo and .dep files. Then drracket can figure out what is imported and then read those files for

Re: [racket-users] Comparing (delimited) continuations in Racket

For that you would have to write a (straightforward) compiler that transformed a fully expanded Racket program into another program (in that same language), inserting with-continuation-mark expressions around every subexpression. Run the transformed program. Then, at the point that you wish to

Re: [racket-users] What limits would you put on racket?

Just in case, you might want to check out Racket's places and futures constructs. On Friday, July 24, 2015, Dmitry Igrishin dmit...@gmail.com wrote: 2015-07-24 2:48 GMT+03:00 Neil Van Dyke n...@neilvandyke.org javascript:_e(%7B%7D,'cvml','n...@neilvandyke.org');: On Racket, CL, limits,

Re: [racket-users] Pict circle radius

Where do you see that documentation? This seems to say diameter: http://docs.racket-lang.org/pict/Basic_Pict_Constructors.html?q=circle#%28def._%28%28lib._pict%2Fmain..rkt%29._circle%29%29 Robby On Sat, Jul 25, 2015 at 9:49 PM, Jack Firth jackhfi...@gmail.com wrote: So the documentation says

Re: [racket-users] Pict circle radius

Yeah, it's confusing. :( Robby On Sat, Jul 25, 2015 at 10:22 PM, Jack Firth jackhfi...@gmail.com wrote: Indeed it turns out I was missing something embarrassingly obvious. I was looking at the docs for the 2htdp/image functions, but using the pict functions. -- You received this message

Re: [racket-users] TeX- and LaTeX-inspired keybindings

It isn't set up for that but if you want to add a few that's fine. Robby On Tuesday, July 14, 2015, Prabhakar Ragde plra...@uwaterloo.ca wrote: Is there a simple way to extend the list of these and/or provide synonyms? (DrRacket documentation, section 3.3.8.) I would like to, for example, be

Re: [racket-users] sub-range-binders

No, I don't think that this can be made to work with the current sub-range-binders. The way DrRacket thinks about this is that those are two different binders (symb and symb?), and you are renaming either one of them or the other one. It can't connect them the way you are seeming to want to

Re: [racket-users] sub-range-binders

)) (define x (foo 2)) (foo-bar x) I can use the rename tool to rename bar to baz and get: #lang racket (struct foo (bar)) (define x (foo 2)) (foo-bar x) ~Leif Andersen On Wed, Jul 15, 2015 at 3:48 PM, Robby Findler ro...@eecs.northwestern.edu wrote: No, I don't think that this can

Re: [racket-users] Re: DrRacket Scribbles OK, but can't build docs with raco

I think you need to remove the local-require in the definition of to-file in continued-fractions.rkt. This counts as a real require for dependency purposes; it just makes the imports scoped locally. dynamic-require is the way to get a require that happens only at runtime (but in this case, if you

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

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] 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] 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] DrRacket indentation adds spaces to empty non-top-level lines?

t; > Vincent > > > > On Wed, 21 Oct 2015 15:17:43 -0500, > Robby Findler wrote: >> >> 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 reaso

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] 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] 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] 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

  1   2   3   4   5   6   7   8   9   >