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

2015-03-30 Thread Robby Findler
.) On Mar 30, 2015, at 10:08 PM, Robby Findler ro...@eecs.northwestern.edu javascript:; wrote: 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

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

2015-03-30 Thread Robby Findler
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

2015-03-26 Thread Robby Findler
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

2015-03-26 Thread Robby Findler
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

2015-03-26 Thread Robby Findler
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

2015-03-26 Thread Robby Findler
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

2015-04-14 Thread Robby Findler
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

2015-04-14 Thread Robby Findler
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?

2015-04-13 Thread Robby Findler
-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?

2015-04-13 Thread Robby Findler
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

2015-04-20 Thread Robby Findler
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

2015-04-25 Thread Robby Findler
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-04-24 Thread Robby Findler
, 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

2015-04-22 Thread Robby Findler
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

2015-04-22 Thread Robby Findler
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

2015-04-19 Thread Robby Findler
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

2015-04-19 Thread Robby Findler
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?

2015-04-28 Thread Robby Findler
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

2015-05-05 Thread Robby Findler
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

2015-05-10 Thread Robby Findler
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

2015-05-11 Thread Robby Findler
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

2015-05-17 Thread Robby Findler
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

2015-04-16 Thread Robby Findler
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?

2015-04-11 Thread Robby Findler
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?

2015-04-11 Thread Robby Findler
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?

2015-04-12 Thread Robby Findler
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

2015-04-18 Thread Robby Findler
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

2015-04-14 Thread Robby Findler
“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

2015-04-15 Thread Robby Findler
. 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?

2015-04-11 Thread Robby Findler
-- 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?

2015-04-06 Thread Robby Findler
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?

2015-04-07 Thread Robby Findler
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?

2015-04-07 Thread Robby Findler
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?

2015-04-10 Thread Robby Findler
...@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

2015-04-09 Thread Robby Findler
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?

2015-04-09 Thread Robby Findler
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

2015-06-05 Thread Robby Findler
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?

2015-06-08 Thread Robby Findler
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?

2015-06-08 Thread Robby Findler
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?

2015-06-03 Thread Robby Findler
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?

2015-06-03 Thread Robby Findler
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

2015-06-02 Thread Robby Findler
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

2015-06-03 Thread Robby Findler
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

2015-06-09 Thread Robby Findler
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

2015-06-05 Thread Robby Findler
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?

2015-06-22 Thread Robby Findler
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

2015-06-23 Thread Robby Findler
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

2015-06-21 Thread Robby Findler
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

2015-06-21 Thread Robby Findler
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

2015-06-22 Thread Robby Findler
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.

2015-06-11 Thread Robby Findler
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

2015-06-12 Thread Robby Findler
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

2015-06-12 Thread Robby Findler
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?

2015-05-28 Thread Robby Findler
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?

2015-05-29 Thread Robby Findler
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

2015-06-01 Thread Robby Findler
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

2015-06-02 Thread Robby Findler
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

2015-07-03 Thread Robby Findler
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

2015-07-03 Thread Robby Findler
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

2015-07-03 Thread Robby Findler
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

2015-06-27 Thread Robby Findler
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

2015-05-24 Thread Robby Findler
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

2015-05-25 Thread Robby Findler
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

2015-05-22 Thread Robby Findler
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?

2015-05-21 Thread Robby Findler
://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

2015-05-22 Thread Robby Findler
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-05-22 Thread Robby Findler
, 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?

2015-05-21 Thread Robby Findler
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?

2015-05-20 Thread Robby Findler
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

2015-08-18 Thread Robby Findler
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...)

2015-08-18 Thread Robby Findler
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

2015-08-18 Thread Robby Findler
(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-08-18 Thread Robby Findler
, 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?

2015-08-24 Thread Robby Findler
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?

2015-08-24 Thread Robby Findler
) 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?

2015-08-23 Thread Robby Findler
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?

2015-08-20 Thread Robby Findler
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

2015-06-30 Thread Robby Findler
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

2015-08-03 Thread Robby Findler
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

2015-08-14 Thread Robby Findler
(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?

2015-08-12 Thread Robby Findler
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

2015-08-14 Thread Robby Findler
I suppose it depends on exactly what equivalence relation you have in mind on the continuations. My best guess for a fruitful path forward would be to do something like the hack that you suggest below, using continuation marks to record the information you need until later to compute the

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

2015-08-14 Thread Robby Findler
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?

2015-07-24 Thread Robby Findler
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

2015-07-25 Thread Robby Findler
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

2015-07-25 Thread Robby Findler
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

2015-07-14 Thread Robby Findler
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

2015-07-15 Thread Robby Findler
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

2015-07-15 Thread Robby Findler
)) (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] `divides?` from math/number-theory slow?

2015-08-24 Thread Robby Findler
Also, I think you'll generally find that TR performs better than plain Racket when you don't have to interoperate with Racket (i.e., no contracts). Robby On Mon, Aug 24, 2015 at 1:20 PM, Vincent St-Amour stamo...@eecs.northwestern.edu wrote: On Mon, 24 Aug 2015 11:24:33 -0400, Rickard

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

2015-08-24 Thread Robby Findler
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

2015-10-24 Thread Robby Findler
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

2015-10-24 Thread Robby Findler
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?

2015-10-21 Thread Robby Findler
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?

2015-10-25 Thread Robby Findler
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?

2015-10-25 Thread Robby Findler
gt; to 'reindent-paragraph' which I had not found yet - If only I had searched > 'paragraph'!) and I should be able to work with that and apply my own > keybindings if necessary. > > Thanks for the help and sorry for the noise! > > -Andrew > > On Sun, Oct 25, 2015 at 9:30 PM Robby

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

2015-10-25 Thread Robby Findler
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?

2015-10-27 Thread Robby Findler
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

2015-10-28 Thread Robby Findler
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] Redex: call for alpha-equivalence beta testers

2015-10-28 Thread Robby Findler
> >> /home/bluephoenix47/workspace/racket/racket/collects/racket/contract/private/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 >> > documentatio

  1   2   3   4   5   6   >