[racket-dev] make --clone installed pkgs

2015-02-17 Thread Robby Findler
Sam and I have run into a situation where `make` fails because we've set up clone pkgs and made local modifications in a way that makes the git commands fail [*]. My guess is that the right thing to do is for me to know about these pkgs and do something special when running make. I'm thinking

Re: [racket-dev] What is the policy on what is included in the core libraries?

2015-02-17 Thread Robby Findler
I don't think the libraries are sufficient as is, but I would resist adding aliases. Perhaps a better way to get people coming from Haskell would be to write an essay specifically aimed there? - Step 1: use variables. - Step 2: here are `for` loops! ;) Robby On Tue, Feb 17, 2015 at 1:18

Re: [racket-dev] What is the policy on what is included in the core libraries?

2015-02-17 Thread Robby Findler
Yes, that's true. Robby On Tue, Feb 17, 2015 at 10:50 AM, Sam Tobin-Hochstadt sa...@cs.indiana.edu wrote: On Tue, Feb 17, 2015 at 11:31 AM, Jens Axel Søgaard jensa...@soegaard.net wrote: 2015-02-17 14:26 GMT+01:00 Robby Findler ro...@eecs.northwestern.edu: I don't think the libraries

Re: [racket-dev] feature request: thread-safe memoize-evt

2015-01-29 Thread Robby Findler
Is the issue that the E_b from Jan's original message might produce multiple values and you are supposed to take the value that's available only after something syncs on the E_m? That is, I thought you could just create a separate thread that sync's on E_b and then whenever you get a value from

Re: [racket-dev] [racket] Implementing contracts for async channels

2015-01-19 Thread Robby Findler
push the commit to the appropriate repo. Let me know. Robby On Mon, Jan 19, 2015 at 5:44 PM, Alexis King lexi.lam...@gmail.com wrote: Yes, there are tests, and you can see them here. On Jan 19, 2015, at 13:29, Robby Findler ro...@eecs.northwestern.edu wrote: This seemed okay, but just a quick

Re: [racket-dev] [racket] Implementing contracts for async channels

2015-01-19 Thread Robby Findler
! On Jan 19, 2015, at 15:52, Robby Findler ro...@eecs.northwestern.edu wrote: Ah: one other note. When you do something like this: ((contract (- (list/c (box/c integer?)) any) (λ (x) (unbox (car x))) 'pos 'neg) (list (box not an integer))) you get an error message that has

Re: [racket-dev] [racket] Implementing contracts for async channels

2015-01-19 Thread Robby Findler
that still needs to be changed, let me know—otherwise, I’ll patiently wait for the process to run its course. Just checking in. On Jan 16, 2015, at 10:15, Alexis King lexi.lam...@gmail.com wrote: Ah, that makes sense, fixed. On Jan 16, 2015, at 05:37, Robby Findler ro...@eecs.northwestern.edu

Re: [racket-dev] Announcing Soft Contract Verification tool

2015-01-15 Thread Robby Findler
FWIW, (/c 0) already implies real?. Robby On Thu, Jan 15, 2015 at 10:30 AM, David Van Horn dvanh...@cs.umd.edu wrote: On 1/15/15, 11:27 AM, Matthias Felleisen wrote: Argh, I wanted the other way (negative). I always get the directions confused. Sorry. Right -- using (and/c real? (/c 0))

Re: [racket-dev] Announcing Soft Contract Verification tool

2015-01-15 Thread Robby Findler
I think this is saying that the result is going to be negative. (But it won't, since it doesn't terminate.) Robby On Thu, Jan 15, 2015 at 1:13 PM, Asumu Takikawa as...@ccs.neu.edu wrote: On 2015-01-14 19:11:59 -0500, David Van Horn wrote: If you have questions, comments, bugs, or any other

Re: [racket-dev] Announcing Soft Contract Verification tool

2015-01-15 Thread Robby Findler
Can you randomly make up programs from your grammar, get example errors from the tool, and then run those programs to see if you find bugs in the analysis like that one? That said, I don't see how the bug in =/c is coming in here. Can you explain more? Robby On Thu, Jan 15, 2015 at 1:42 PM,

Re: [racket-dev] Implementing contracts for async channels

2015-01-15 Thread Robby Findler
-channel functions are exported from racket/async-channel. The async-channel contracts, however, are exported from racket/contract. On Jan 15, 2015, at 14:41, Robby Findler ro...@eecs.northwestern.edu wrote: Just a small nit: why export that function from racket/contract and not an async

Re: [racket-dev] Implementing contracts for async channels

2015-01-15 Thread Robby Findler
Just a small nit: why export that function from racket/contract and not an async-channel library? Robby On Thu, Jan 15, 2015 at 3:33 PM, Alexis King lexi.lam...@gmail.com wrote: As an update, I’ve made a bit more progress on this. I’ve implemented an impersonate-async-channel function, and

Re: [racket-dev] raco pkg update --clone and git URL config

2014-12-16 Thread Robby Findler
FWIW, I have just been doing git remote set-url origin url from github error message and it has worked well and been easy. Robby On Tuesday, December 16, 2014, Sam Tobin-Hochstadt sa...@cs.indiana.edu wrote: I think this is the case for everyone. I've used the `hub` [1] tool to address this.

Re: [racket-dev] Multiple 'raco make' processes

2014-12-09 Thread Robby Findler
I think they can stomp on each other and you can get inconsistent results, theoretically. Robby On Tuesday, December 9, 2014, Dan Liebgold dan.liebg...@gmail.com wrote: If I have multiple instances of raco make running and some of the files they are checking/rebuilding are shared across the

Re: [racket-dev] Multiple 'raco make' processes

2014-12-09 Thread Robby Findler
examination. On Tue, Dec 9, 2014 at 11:47 AM, Robby Findler ro...@eecs.northwestern.edu wrote: Ah sorry: meant to add: did you try the -j flag? On Tuesday, December 9, 2014, Robby Findler ro...@eecs.northwestern.edu wrote: I think they can stomp on each other and you can get

Re: [racket-dev] DrDr the split repository

2014-12-05 Thread Robby Findler
And just to confirm: we should be checking into our own failures in drdr and fixing the info files now, right? Robby On Fri, Dec 5, 2014 at 6:14 AM, Jay McCarthy jay.mccar...@gmail.com wrote: Since we split the repository, there have been significantly more errors on DrDr:

Re: [racket-dev] new package system collections and conflicts

2014-12-03 Thread Robby Findler
I think there is perhaps a misunderstanding. The design of the pkg system is (partly) driven by the observations the core team has about what gives us special privilege and then working to lift those restrictions so we don't need to operate under that special privilege. And I'll note that this

Re: [racket-dev] DrRacket PF1 Search Bug?

2014-11-24 Thread Robby Findler
I've pushed a fix for the mac os x problem using materialize-user-docs because it seems to me to reduce rather than enlarge the number of different configurations are users are in. It may not actually turn out to be the conservative change and we can always revisit it when we have more concrete

Re: [racket-dev] DrRacket PF1 Search Bug?

2014-11-21 Thread Robby Findler
On Fri, Nov 21, 2014 at 12:34 AM, Eli Barzilay e...@barzilay.org wrote: On Thu, Nov 20, 2014 at 10:38 PM, Robby Findler ro...@eecs.northwestern.edu wrote: No, the browser isn't hiding the query part. Here are the content of two script files: $ cat a.scrpt open location file

Re: [racket-dev] DrRacket PF1 Search Bug?

2014-11-21 Thread Robby Findler
No that doesn't work. You can see why if you follow the technical details in the thread (and get a Mac maybe). Matthew is adding something to the setup collection and drr will use it and we will be all set I expect. Sam doing some testing after that point will be useful tho. Robby On Friday,

Re: [racket-dev] DrRacket PF1 Search Bug?

2014-11-21 Thread Robby Findler
On Fri, Nov 21, 2014 at 3:13 PM, Eli Barzilay e...@barzilay.org wrote: On Fri, Nov 21, 2014 at 3:16 PM, Robby Findler ro...@eecs.northwestern.edu wrote: Oh, my apologies. I thought you meant something different. Yes, this works. Ah, in this case, the patch that I sent earlier should work

Re: [racket-dev] DrRacket PF1 Search Bug?

2014-11-20 Thread Robby Findler
%20v6.1.1.5/doc/search/index.html it just shows the search screen as usual - just without the search text. s. On Wed Nov 19 2014 at 11:58:01 PM Robby Findler ro...@eecs.northwestern.edu wrote: If you navigate to the file in the file: url, is it empty? Robby On Wed, Nov 19, 2014 at 5:52 PM

Re: [racket-dev] DrRacket PF1 Search Bug?

2014-11-20 Thread Robby Findler
No, the browser isn't hiding the query part. Here are the content of two script files: $ cat a.scrpt open location file:///Applications/r/doc/search/index.html?q=xyz $ cat b.scrpt open location file:///Users/robby/Library/Racket/development/doc/search/index.html?q=xyz Running osascript

Re: [racket-dev] DrRacket PF1 Search Bug?

2014-11-19 Thread Robby Findler
You won't be surprised to learn that my machine is one of the ones where it works. :( If I understand correctly, you're getting to the browser, but not seeing the right thing in the browser? Is that right? If so, what is the url in the url bar? And which browser? Does it work if you switch to

Re: [racket-dev] DrRacket PF1 Search Bug?

2014-11-19 Thread Robby Findler
/index.html OS X 10.10.1 (14B25) all updates up-to-date Welcome to DrRacket, version 6.1.1.5--2014-11-19(6c9172f/a) [3m]. Language: racket/gui; memory limit: 128 MB. the top/right popup works fine FWIW. S. On Wed Nov 19 2014 at 11:26:05 PM Robby Findler ro...@eecs.northwestern.edu wrote

Re: [racket-dev] [plt] Push #29518: master branch updated

2014-11-18 Thread Robby Findler
You ran raco setup with no arguments to completion? On Tuesday, November 18, 2014, j...@racket-lang.org wrote: jay has updated `master' from 26fe66b141 to 804599fe98. http://git.racket-lang.org/plt/26fe66b141..804599fe98 =[ One Commit

Re: [racket-dev] Release Announcement for v6.1.1, Second Draft

2014-10-30 Thread Robby Findler
I like the last sentence of Sam's latest bullet. Robby On Thursday, October 30, 2014, Matthias Felleisen matth...@ccs.neu.edu wrote: On Oct 30, 2014, at 3:45 PM, Sam Tobin-Hochstadt sa...@cs.indiana.edu javascript:; wrote: How about this one? (Starting from Matthias's offering and

Re: [racket-dev] Release Announcement for v6.1.1, Second Draft

2014-10-29 Thread Robby Findler
Sam: can you elaborate on precisely what the hole was? In particular, if there are any safe programs that the type system now rejects, I'd be in favor of a slightly different wording. Robby On Wed, Oct 29, 2014 at 2:35 PM, Sam Tobin-Hochstadt sa...@cs.indiana.edu wrote: On Wed, Oct 29, 2014 at

Re: [racket-dev] Release Announcement for v6.1.1, Second Draft

2014-10-29 Thread Robby Findler
is a perfectly fine Racket program (if perhaps poor style), but not one that can be allowed in the presence of untyped code. Does that help explain things? Sam On Wed, Oct 29, 2014 at 5:17 PM, Robby Findler ro...@eecs.northwestern.edu wrote: Sam: can you elaborate on precisely what

Re: [racket-dev] Release Announcement for v6.1.1, Second Draft

2014-10-29 Thread Robby Findler
it. Robby On Wed, Oct 29, 2014 at 4:55 PM, Sam Tobin-Hochstadt sa...@cs.indiana.edu wrote: On Wed, Oct 29, 2014 at 5:47 PM, Robby Findler ro...@eecs.northwestern.edu wrote: Yes, that's what I mean. I don't think that the sentence This may break existing programs that rely on unsafe behavior

Re: [racket-dev] Release Announcement for v6.1.1, Second Draft

2014-10-29 Thread Robby Findler
I don't think that it's true of every type system everywhere is a good rationale for not owning backwards-incompatible changes (even when they are good backwards incompatible changes, as this one certainly is). I do agree with you, however, that what is especially bad is requiring changes to

Re: [racket-dev] Release Announcement for v6.1.1

2014-10-27 Thread Robby Findler
For me: * Added the drracket/check-syntax library to facilitate check syntax-like behavior in other IDEs * Redex: explained the benchmark programs added a conditional-form to metafunctions * 2htdp/image's notion of equality no longer considers an image's baseline. * Contracts:

Re: [racket-dev] Nervous about all of this merging to 6.1.1 release?

2014-10-22 Thread Robby Findler
Many of the changes are documentation, but there are some TR changes that we may go back on; it's not clear yet. Were there other changes that jumped out at you as worth double checking? And yes, once Ryan announces a new build built, re-running tests is always welcome! Robby On Wed, Oct 22,

Re: [racket-dev] Pre-Release Checklist for v6.1.1

2014-10-18 Thread Robby Findler
On Thu, Oct 16, 2014 at 8:13 AM, Ryan Culpepper ry...@ccs.neu.edu wrote: * Robby Findler ro...@eecs.northwestern.edu - DrRacket Tests - Framework Tests - Contracts Tests - Games Tests - Teachpacks Tests: image tests - PLaneT Tests - Redex Tests Done. Updates

Re: [racket-dev] #f instead of path-string? when (require cKanren)

2014-10-04 Thread Robby Findler
Do we have a github issue tracker for drracket? Robby On Sat, Oct 4, 2014 at 5:48 PM, Matthias Felleisen matth...@ccs.neu.edu wrote: Could you use the github issue tracker to submit this? Thanks -- Matthias https://github.com/calvis/cKanren On Oct 2, 2014, at 12:05 PM, A.J. Lepper wrote:

Re: [racket-dev] #f instead of path-string? when (require cKanren)

2014-10-04 Thread Robby Findler
I'm not able to reproduce this bug, but it appears that the value of the current-load/use-compiled parameter is being passed #f for a first argument. The code in DrRacket seems to assume that things like this will raise errors: (parameterize ([current-load/use-compiled void])

Re: [racket-dev] [plt] Push #29228: master branch updated

2014-09-16 Thread Robby Findler
On Mon, Sep 15, 2014 at 8:08 PM, Stephen Chang stch...@ccs.neu.edu wrote: Does starting a fresh drracket exhibit these problems, if you follow those steps right after starting up? Yes I can reproduce consistently. Hm. I'm stuck. I tried windows 32bit 6.1 in my windows 7 vm (as well as git

Re: [racket-dev] [plt] Push #29228: master branch updated

2014-09-16 Thread Robby Findler
menu 7) skip-whitespace error Let me try to reproduce on another system. On Tue, Sep 16, 2014 at 10:14 AM, Robby Findler ro...@eecs.northwestern.edu wrote: On Mon, Sep 15, 2014 at 8:08 PM, Stephen Chang stch...@ccs.neu.edu wrote: Does starting a fresh drracket exhibit these problems, if you

Re: [racket-dev] [plt] Push #29228: master branch updated

2014-09-15 Thread Robby Findler
-pkgs/gui-lib/framework/private/ 5.8% pkgs/gui-pkgs/gui-test/framework/tests/ ~~ f4d66ad Robby Findler ro...@racket-lang.org 2014-09-07 15:34 : | fix magic-open-paren bug | | also, replace some eq?s with equal?s. : M pkgs/gui-pkgs/gui-lib/framework/private/racket.rkt | 11

Re: [racket-dev] [racket] Performance. Higher-order function

2014-09-07 Thread Robby Findler
And now (finally) the Northwestern snapshots do too. Robby On Wed, Aug 27, 2014 at 9:46 AM, Matthew Flatt mfl...@cs.utah.edu wrote: The Racket snapshots at http://www.cs.utah.edu/plt/snapshots/ now include the Optimization Coach package. _ Racket Developers list:

Re: [racket-dev] DrRacket Parenthesis bug

2014-09-07 Thread Robby Findler
Thanks, I've pushed a fix. Robby On Sat, Sep 6, 2014 at 5:22 PM, Kevin Forchione lyss...@gmail.com wrote: Hi guys, I’ve noticed that the named let form parenthesis behavior is different when the name is “rec”. In that case the inner parenthesis isn’t square brackets. For instance:

Re: [racket-dev] Should `register-finalizer` unwrap impersonators?

2014-08-16 Thread Robby Findler
Seems simplest to be to have typed racket know to trust register finalizer and thus avoid wrapping it with a contract. Robby On Saturday, August 16, 2014, Neil Toronto neil.toro...@gmail.com wrote: Short version: the contract system doesn't allow `register-finalizer` to be used in Typed

Re: [racket-dev] [racket] Performance. Higher-order function

2014-08-12 Thread Robby Findler
I think you'd have to add a dependency to the 'main-distribution' pkg, but my guess is that that will require some work internally to make not be a pain for people who want to build from git. If you have the inclination, you could give it a try locally and let us know how it goes? Robby On Tue,

Re: [racket-dev] Seg fault

2014-07-31 Thread Robby Findler
I also tried both the 64 and 32 bit builds on my windows vm and couldn't get it to crash. Is there something specific you're doing in drracket? I just opened a few files and clicked around and nothing untoward happened. Robby On Thu, Jul 31, 2014 at 9:42 AM, Matthew Flatt mfl...@cs.utah.edu

Re: [racket-dev] Release Announcement for v6.1

2014-07-29 Thread Robby Findler
On Tue, Jul 29, 2014 at 12:47 PM, Matthias Felleisen matth...@ccs.neu.edu wrote: On Jul 28, 2014, at 2:33 PM, Ryan Culpepper ry...@ccs.neu.edu wrote: matthias: - add check-random (aec84f4a) check-random is an addition to the preferred unit testing framework in the teaching languages. It

Re: [racket-dev] Release Announcement for v6.1

2014-07-28 Thread Robby Findler
On Mon, Jul 28, 2014 at 1:33 PM, Ryan Culpepper ry...@ccs.neu.edu wrote: robby: - random generation from contracts (1cb1ff28, 76c6a1b7) - contract improvements (c64d70ab) - change semantics of _!_ variables under ellipses (69c96c62) - change metafunction contract formatting (d067311c) -

Re: [racket-dev] Racket hash tables vs. Python dicts - Performance

2014-07-24 Thread Robby Findler
Not an answer to your direction question, but this is the more idiomatic way to write that and it seems to be a bit faster: (time (for ([w (in-list words)]) (hash-set! d w (add1 (hash-ref d w 0) On Wed, Jul 23, 2014 at 10:54 AM, Pedro Ramos pedropra...@tecnico.ulisboa.pt wrote: Hi,

Re: [racket-dev] A tricky chaperone puzzle

2014-07-24 Thread Robby Findler
I also lean towards #2. What does the redex model say? Most of those pieces are in it, I think. Robby On Thu, Jul 24, 2014 at 3:25 PM, Matthew Flatt mfl...@cs.utah.edu wrote: Nice example. Offhand, I think that #2 is right, but I'll have to look at it more to be sure. At Thu, 24 Jul 2014

Re: [racket-dev] A tricky chaperone puzzle

2014-07-24 Thread Robby Findler
Ah, nope. That model doesn't include function chaperones! Robby On Thu, Jul 24, 2014 at 6:14 PM, Robby Findler ro...@eecs.northwestern.edu wrote: I also lean towards #2. What does the redex model say? Most of those pieces are in it, I think. Robby On Thu, Jul 24, 2014 at 3:25 PM, Matthew

Re: [racket-dev] A tricky chaperone puzzle

2014-07-24 Thread Robby Findler
the wrong accessor for struct-chaperone. Sam On Jul 24, 2014 7:54 PM, Robby Findler ro...@eecs.northwestern.edu wrote: Ah, nope. That model doesn't include function chaperones! Robby On Thu, Jul 24, 2014 at 6:14 PM, Robby Findler ro...@eecs.northwestern.edu wrote: I also lean towards #2

Re: [racket-dev] Pre-Release Checklist for v6.1

2014-07-23 Thread Robby Findler
is the wrong word: the margin notes are completely inside the blue boxes. BTW, #2 is fixed now. I added an #:unscaled? #t somewhere; Matthew did the actual work. :D Neil On 07/22/2014 07:20 PM, Robby Findler wrote: FWIW, I don't see the overlap in Chrome (on a mac) or in Safari. Robby

Re: [racket-dev] Pre-Release Checklist for v6.1

2014-07-22 Thread Robby Findler
FWIW, I don't see the overlap in Chrome (on a mac) or in Safari. Robby On Tue, Jul 22, 2014 at 2:01 PM, Neil Toronto neil.toro...@gmail.com wrote: On 07/17/2014 08:03 PM, Ryan Culpepper wrote: * Neil Toronto neil.toro...@gmail.com - Plot Tests - Images Tests - Inspect icons -

Re: [racket-dev] flatten-begin

2014-07-21 Thread Robby Findler
Yes, I agree. I don't have a good suggestion for the name, tho. Sorry. Robby On Mon, Jul 21, 2014 at 3:19 PM, Asumu Takikawa as...@ccs.neu.edu wrote: On 2014-07-19 23:12:51 -0400, Asumu Takikawa wrote: This sounds like a nice solution and it would be fine for my use-case too. Anyone have any

Re: [racket-dev] flatten-begin

2014-07-20 Thread Robby Findler
On Sun, Jul 20, 2014 at 1:27 AM, Matthew Flatt mfl...@cs.utah.edu wrote: At Fri, 18 Jul 2014 09:52:26 -0500, Robby Findler wrote: Unless someone knows why it is a bad idea, how about adding a #:all? argument that flattens all the way down? I don't see many uses of flatten-begin in our tree

Re: [racket-dev] Pre-Release Checklist for v6.1

2014-07-18 Thread Robby Findler
On Thu, Jul 17, 2014 at 7:03 PM, Ryan Culpepper ry...@ccs.neu.edu wrote: * Robby Findler ro...@eecs.northwestern.edu - DrRacket Tests - Framework Tests - Contracts Tests - Games Tests - Teachpacks Tests: image tests - PLaneT Tests - Redex Tests Updates: - DrRacket

Re: [racket-dev] flatten-begin

2014-07-18 Thread Robby Findler
On Fri, Jul 18, 2014 at 9:37 AM, Asumu Takikawa as...@ccs.neu.edu wrote: On 2014-07-17 22:17:18 -0500, Robby Findler wrote: Why doesn't flatten-begin already do this? I'm not sure. I was hoping someone else could tell me. :) Ha! :) Maybe there's something you might want to do

Re: [racket-dev] flatten-begin

2014-07-17 Thread Robby Findler
Why doesn't flatten-begin already do this? Robby On Friday, July 18, 2014, Asumu Takikawa as...@ccs.neu.edu wrote: Hi all, I was wondering what people think about a potential API addition to the `syntax/flatten-begin` library. Something like `flatten-begin*` (or a less terrible name) that

Re: [racket-dev] [plt] Push #29023: master branch updated

2014-07-14 Thread Robby Findler
. http://git.racket-lang.org/plt/737330deb6..1dda800ca2 =[ One Commit ]= Directory summary: 100.0% racket/collects/racket/contract/private/ ~~ 1dda800 Robby Findler ro...@racket-lang.org javascript:; 2014-07-14 08

Re: [racket-dev] [plt] Push #29023: master branch updated

2014-07-14 Thread Robby Findler
to make more intuitive sense to people, but I would not mind a change that moves us more towards an error message that is more balanced (proposals welcome!). Not even admitting the second possibility seems unwise, however. Robby On Mon, Jul 14, 2014 at 8:30 AM, Robby Findler ro

Re: [racket-dev] [plt] Push #28945: master branch updated

2014-07-01 Thread Robby Findler
at 2:31 PM, Matthias Felleisen matth...@ccs.neu.edu wrote: On Jun 27, 2014, at 4:47 PM, Robby Findler wrote: This effect is, I believe, one of the main things people mean when they say that Redex's typesetting is ugly (and it is indeed ugly in larger quantities). [[ Just now catching up

Re: [racket-dev] [plt] Push #28945: master branch updated

2014-06-30 Thread Robby Findler
using? Robby On Mon, Jun 30, 2014 at 6:50 AM, Sam Tobin-Hochstadt sa...@cs.indiana.edu wrote: Attached are the two pdfs (x1 is --pdf, x is --dvipdf) and the two screenshots in Evince, my usual PDF viewer. Sam On Sat, Jun 28, 2014 at 9:03 PM, Robby Findler ro...@eecs.northwestern.edu wrote

Re: [racket-dev] [plt] Push #28945: master branch updated

2014-06-30 Thread Robby Findler
I see that too, in an ubuntu vm. Thanks. Robby On Mon, Jun 30, 2014 at 10:28 AM, Sam Tobin-Hochstadt sa...@cs.indiana.edu wrote: On Jun 30, 2014 3:34 PM, Robby Findler ro...@eecs.northwestern.edu wrote: Thanks. When I look at the dvipdf-produced pdf in my pdf viewer, it looks good

Re: [racket-dev] [plt] Push #28945: master branch updated

2014-06-28 Thread Robby Findler
that the font rendering is different in a few places. You can also see that --dvipdf loses the rest of the document after the Redex pict -- I don't know what could cause that. Basically the same things happen on my other linux machine. Sam On Fri, Jun 27, 2014 at 9:18 PM, Robby Findler ro

Re: [racket-dev] [plt] Push #28945: master branch updated

2014-06-27 Thread Robby Findler
: On Fri, Jun 27, 2014 at 4:30 AM, ro...@racket-lang.org wrote: 5280395 Robby Findler ro...@racket-lang.org 2014-06-27 03:25 : | add the --dvipdf flag to scribble | | This adds a new back-end pipeline for generating pdf to | scribble, with the hope that included picts (e.g., those | generated

Re: [racket-dev] [plt] Push #28945: master branch updated

2014-06-27 Thread Robby Findler
On Fri, Jun 27, 2014 at 7:59 AM, Sam Tobin-Hochstadt sa...@cs.indiana.edu wrote: Is the program in the commit message what I should try to see the difference? It looks different for me, yes. I'm attaching two screenshots for the difference I see between --pdf and --dvipdf. Robby

Re: [racket-dev] [plt] Push #28945: master branch updated

2014-06-27 Thread Robby Findler
...@cs.indiana.edu wrote: And the one with the second x in the bottom line lower down is the one that's from --pdf and is not intended? Are there other differences between the pictures? Sam On Fri, Jun 27, 2014 at 9:02 AM, Robby Findler ro...@eecs.northwestern.edu wrote: On Fri, Jun 27, 2014 at 7:59 AM

Re: [racket-dev] [plt] Push #28945: master branch updated

2014-06-27 Thread Robby Findler
I am not understanding your question either but the two screenshots are using the same fonts. Just one is being rendered poorly for unknown reasons. Robby On Saturday, June 28, 2014, Sam Tobin-Hochstadt sa...@cs.indiana.edu wrote: On Fri, Jun 27, 2014 at 2:23 PM, Matthew Flatt

Re: [racket-dev] 2htdp/image Feature Suggestion

2014-06-27 Thread Robby Findler
, 2014 at 12:38 PM, Kevin Forchione lyss...@gmail.com wrote: On Jun 22, 2014, at 9:42 PM, Robby Findler ro...@eecs.northwestern.edu wrote: Thanks! I've added these two functions. Robby On Sun, Jun 22, 2014 at 12:26 PM, Kevin Forchione lyss...@gmail.com wrote: On Jun 21, 2014, at 5:02 PM

Re: [racket-dev] [plt] Push #28945: master branch updated

2014-06-27 Thread Robby Findler
PS: Sam, were you able to produce two pdfs (via scribble --dvipdf and --pdf) and compare their output on your machine? Do you have screenshots to share? Robby _ Racket Developers list: http://lists.racket-lang.org/dev

Re: [racket-dev] 2htdp/image Feature Suggestion

2014-06-23 Thread Robby Findler
I think that the prefer-define-over-let applies only to the first let in this program. The style guide also would recommend 'cond' over 'if' here, but it becomes very very important to do that only if there were nested 'let's or 'begin's or the like and you don't have that. Robby On Mon, Jun

Re: [racket-dev] 2htdp/image Feature Suggestion

2014-06-23 Thread Robby Findler
FWIW, I think this is what the style guide would recommend. I found the transformation to be pretty straightforward, except that I had to rename on occurrence of 'H' to 'H2'. (I didn't try to test it, tho!) Robby (define (make-natural-rearrangement L (EQ? equal?)) (define N

Re: [racket-dev] 2htdp/image Feature Suggestion

2014-06-22 Thread Robby Findler
Thanks! I've added these two functions. Robby On Sun, Jun 22, 2014 at 12:26 PM, Kevin Forchione lyss...@gmail.com wrote: On Jun 21, 2014, at 5:02 PM, Robby Findler ro...@eecs.northwestern.edu wrote: What do you think about a variant on center-crop called crop/align that accepts a width

Re: [racket-dev] 2htdp/image Feature Suggestion

2014-06-21 Thread Robby Findler
What do you think about a variant on center-crop called crop/align that accepts a width, a height, an image, and an x-place and a y-place? That would seem to fit better into the library the way it's currently constructed. For working around the frame issue, how about just a color-frame function

Re: [racket-dev] Slow contracts

2014-06-13 Thread Robby Findler
believe there are optimizations that we can do, for example unrolling the contract so that only every 5 struct contracts is a lazy chaperone contract. But I have no idea how we could dynamically pick the best unrolling strategy. On Thu, Jun 12, 2014 at 10:20 PM, Robby Findler ro

Re: [racket-dev] Machinery for eliding contracts

2014-06-13 Thread Robby Findler
Okay, I'll push has-blame? and value-blame. Let me know if there are any problems. Robby On Fri, Jun 13, 2014 at 5:59 AM, Sam Tobin-Hochstadt sa...@cs.indiana.edu wrote: Yes, I think this would allow all the optimizations that Eric talked about. Sam On Jun 13, 2014 4:26 AM, Robby Findler ro

Re: [racket-dev] Machinery for eliding contracts

2014-06-13 Thread Robby Findler
trying to fake that, especially if they can get the blame object from one export and reuse it on a different value. On Fri, Jun 13, 2014 at 6:29 AM, Robby Findler ro...@eecs.northwestern.edu wrote: Okay, I'll push has-blame? and value-blame. Let me know if there are any problems. Robby

Re: [racket-dev] Machinery for eliding contracts

2014-06-09 Thread Robby Findler
Am I right that the contract on 'f' is actually (- symbol? any)? And if so, where is the information coming from that lets you elide the check? One idea for this particular case: make 'g' be a macro that inspects its argument and if it see obvious things like this, then it can expand into a call

Re: [racket-dev] Machinery for eliding contracts

2014-06-09 Thread Robby Findler
On Mon, Jun 9, 2014 at 8:35 AM, Sam Tobin-Hochstadt sa...@cs.indiana.edu wrote: On Mon, Jun 9, 2014 at 5:48 AM, Robby Findler ro...@eecs.northwestern.edu wrote: Am I right that the contract on 'f' is actually (- symbol? any)? And if so, where is the information coming from that lets you elide

Re: [racket-dev] Machinery for eliding contracts

2014-06-09 Thread Robby Findler
On Mon, Jun 9, 2014 at 8:38 AM, Sam Tobin-Hochstadt sa...@cs.indiana.edu wrote: On Mon, Jun 9, 2014 at 3:19 AM, Eric Dobson eric.n.dob...@gmail.com wrote: It would be nice if the contract on the input to g could be elided. It seems like this could be done by using something like

Re: [racket-dev] Machinery for eliding contracts

2014-06-09 Thread Robby Findler
On Mon, Jun 9, 2014 at 8:35 AM, Sam Tobin-Hochstadt sa...@cs.indiana.edu wrote: On Mon, Jun 9, 2014 at 5:48 AM, Robby Findler ro...@eecs.northwestern.edu wrote: Am I right that the contract on 'f' is actually (- symbol? any)? And if so, where is the information coming from that lets you elide

Re: [racket-dev] [plt] Push #28706: master branch updated

2014-05-08 Thread Robby Findler
(or/c #f x) seems better than maybe/c because it is nearly the same length and it is one less thing to memorize (and it's not like single-point of control applies here because this can never change). Robby On Thu, May 8, 2014 at 6:17 PM, Matthias Felleisen matth...@ccs.neu.edu wrote: (We have

Re: [racket-dev] [plt] Push #28706: master branch updated

2014-05-08 Thread Robby Findler
, 2014 at 7:34 PM, Matthias Felleisen matth...@ccs.neu.edu wrote: I think maybe signals a well-known functional idea. On May 8, 2014, at 8:03 PM, Robby Findler wrote: (or/c #f x) seems better than maybe/c because it is nearly the same length and it is one less thing to memorize (and it's

Re: [racket-dev] A strange problem with namespaces

2014-05-07 Thread Robby Findler
When I look at this code I can't figure out why (submod weird.rkt evaluator) _isn't_ available at phase 0! Could this be a bug? Robby On Wed, May 7, 2014 at 9:11 AM, Sam Tobin-Hochstadt sa...@cs.indiana.edu wrote: This program: https://gist.github.com/samth/e7b55fcef66da9b8416a works when line

Re: [racket-dev] A strange problem with namespaces

2014-05-07 Thread Robby Findler
is returned, and still the module is not visited or made available in higher phases. That's why I think the extra line is needed. You're right that the error message refers to phase 0, but I'm not sure who's phase 0 that is. Sam On Wed, May 7, 2014 at 10:27 AM, Robby Findler ro

Re: [racket-dev] A strange problem with namespaces

2014-05-07 Thread Robby Findler
Oh! So the evaluator module is available in phase 0 in 'ns', but not in 'namespace'. Is that right? Robby On Wed, May 7, 2014 at 9:58 AM, Matthew Flatt mfl...@cs.utah.edu wrote: I think the right change might be (module evaluator racket (define (prep!) (parameterize

Re: [racket-dev] [racket] lab notebook on learning process (was: Re: Macros baffle me)

2014-05-06 Thread Robby Findler
I don't think those are the things being complained about. I read a complaint about non-incremental GC, a complaint about DrRacket IO (which is really quite slow because it uses an editor which is overkill for a stream of text), possibly a complaint about the FFI (but maybe there's more there?).

Re: [racket-dev] make gets hung up building documentation

2014-05-04 Thread Robby Findler
I don't know what's causing that problem, but it looks to me like we might get some good information if you do this: % racket -l scribblings/guide/guide.scrbl and then let it get good and stuck and hit control-c. You should get a stack trace and that stack trace might be illuminating... Robby

Re: [racket-dev] make gets hung up building documentation

2014-05-04 Thread Robby Findler
thanks. Unfortunately I cannot reproduce this on my machine but the thing I would do if I could would be to start putting printfs in to try to find a smaller programs that gets stuck. Robby On Sunday, May 4, 2014, Geoffrey S. Knauth ge...@knauth.org wrote: On May 4, 2014, at 16:44 , Robby

Re: [racket-dev] make gets hung up building documentation

2014-05-04 Thread Robby Findler
) and then put something like @(printf 1\n) right before each of them. Or maybe do binary search. :) Robby On Sun, May 4, 2014 at 5:13 PM, Geoffrey S. Knauth ge...@knauth.org wrote: I'm happy to insert printfs in my tree if you tell me where. --Geoff On May 4, 2014, at 17:33 , Robby Findler

Re: [racket-dev] make gets hung up building documentation

2014-05-04 Thread Robby Findler
Edgar y)]) (list x y z)) (let* ([name (list Borroughs)] [name (cons Rice name)] [name (cons Edgar name)]) name) ] On May 4, 2014, at 18:30 , Robby Findler ro...@eecs.northwestern.edu wrote: The stack traces suggest it is in that one file. So if you open it up and put

Re: [racket-dev] make gets hung up building documentation

2014-05-04 Thread Robby Findler
, at 19:20 , Robby Findler ro...@eecs.northwestern.edu wrote: start throwing stuff out of it (running it at the command-line, not in drracket) until I got very small and and still had the bad behavior. I'm already small and have bad behavior, but I get your point. PS: thanks for taking

Re: [racket-dev] make gets hung up building documentation

2014-05-04 Thread Robby Findler
Thanks for figuring this out! Robby On Sun, May 4, 2014 at 7:30 PM, Geoffrey S. Knauth ge...@knauth.org wrote: I'm happy to say that with that particular @interaction[...] deleted, the rest of the build completed quickly and I now have a working DrRacket 6.0.1.6. Geoff

Re: [racket-dev] requested package not available: draw-x86_64-macosx-2

2014-05-03 Thread Robby Findler
Just a guess but maybe git submodule update? On Saturday, May 3, 2014, David Van Horn dvanh...@cs.umd.edu wrote: I just did a git pull and make and get the following error: racket/bin/racket -U -G build/config racket/src/link-all.rkt ++dir pkgs ++dir native-pkgs --save main-distribution

Re: [racket-dev] Release Announcement for v6.0.1

2014-05-01 Thread Robby Findler
The ones near my name: - Check Syntax cooperates with Typed Racket to show arrows and other Check Syntax highlighting even when there is a type error - Functions provided via contract-out that have first-order contracts perform better Robby On Thu, May 1, 2014 at 12:49 PM, Ryan Culpepper

Re: [racket-dev] Release Announcement for v6.0.1

2014-05-01 Thread Robby Findler
On Thu, May 1, 2014 at 8:44 PM, Eric Dobson eric.n.dob...@gmail.com wrote: 6f56948cff75dd4497b742ae01cd5df18c654e6f - The contract boundary between typed/untyped modules is much less expensive. This one plus the one on the contract system side should probably be combined into a single bullet

Re: [racket-dev] actionable items, was: comments on comments on learning Racket

2014-04-28 Thread Robby Findler
On Monday, April 28, 2014, Matthias Felleisen matth...@ccs.neu.edu wrote: So far we have had two threads of reactions to my 'comments on comments.' They have produced requests that I consider actionable items though I have counter-proposal to some of them. The list below does not include

Re: [racket-dev] Refactoring Idea

2014-04-28 Thread Robby Findler
I guess this would work best if DrRacket were given a package (and it could infer the current package from the location of the file being edited). So if someone wants to implement a function that, given a package spec and a renaming and then does the work, I'd be happy to try to integrate it into

Re: [racket-dev] Refactoring Idea

2014-04-28 Thread Robby Findler
might have client modules somewhere else. On Apr 28, 2014, at 11:03 AM, Robby Findler ro...@eecs.northwestern.edu wrote: I guess this would work best if DrRacket were given a package (and it could infer the current package from the location of the file being edited). So if someone wants

[racket-dev] we are suspect!

2014-04-22 Thread Robby Findler
From my mac os x machine's console log. 4/22/14 1:04:44.000 PM kernel[0]: process DrRacket[32404] thread 8646879 caught burning CPU! It used more than 50% CPU (Actual recent usage: 73%) over 180 seconds. thread lifetime cpu usage 346.323259 seconds, (330.726984 user, 15.596275 system) ledger

Re: [racket-dev] Catching the undefined value

2014-04-19 Thread Robby Findler
These seem correct to me. What were you expecting (and why?). Robby On Saturday, April 19, 2014, Gustavo Massaccesi gust...@oma.org.ar wrote: I found another problem with the optimizer and the new undefined behavior. (letrec ([x (if #t 8 x)]) x) ;==8 I also consider this correct in a

  1   2   3   4   5   6   7   8   9   10   >