Re: [racket-dev] drracket crash with bad prefs

2011-09-28 Thread Stephen Chang
cond time, that monitor wasn't > there anymore and a bug caused it to crash instead of just moving your > window to an existing monitor. > > I've pushed a repair for the crash, but does that sound like a > plausible scenario? > > Robby > > On Wed, Sep 28, 2011 at

[racket-dev] drracket crash with bad prefs

2011-09-28 Thread Stephen Chang
Occasionally, my prefs file gets into a state where drracket cant start and fails with this error: -: expects type as 2nd argument, given: #f; other arguments were: 76 === context === C:\plt\collects\framework\private\frame.rkt:255:2 C:\plt\collects\racket\private\class-internal.rkt:3680:0: con

[racket-dev] drracket search

2011-08-29 Thread Stephen Chang
I'm not sure when this was fixed but the search in drracket is much nicer to use now because the focus switches immediately to the search box. Thanks. _ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev

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

2011-08-16 Thread Stephen Chang
I'm getting some compile errors. Is it due to this checkin? raco setup: post-installing: mzcom raco setup: post-installing: mzscheme raco setup: post-installing: racket/gui raco setup: raco setup: error: during making for redex/tests/compiler raco setup: compile: identifier used out of context i

Re: [racket-dev] syntax-property guards? (was: Re: The Stepper strikes again)

2011-08-15 Thread Stephen Chang
Somehow I missed this entire thread. Some responses below. > Let me try to say what I understand out loud: > > 1. The existence of Stepper knowledge in the Lazy compiler creates a > 'spiritual' dependency between the Lazy language and a tool in DrRacket (= > Tool world). QUESTION: does this know

Re: [racket-dev] Roogle?

2011-08-05 Thread Stephen Chang
On Fri, Aug 5, 2011 at 9:45 AM, Shriram Krishnamurthi wrote: > Noel is absolutely right. > > We live in an era where Search Just Works.  I do dozens of Google > searches on most days.  To go from there to Help Desk is an incredibly > jarring experience.  I have to load new instructions into my hea

Re: [racket-dev] Pre-Release Checklist for v5.1.2

2011-07-24 Thread Stephen Chang
On Sun, Jul 24, 2011 at 12:23 PM, Stephen Chang wrote: > I've made a push that should fix both these problems. The push should > be included in the release. Correction. Commit 8956364387fa25ffeb51e50fc1a83c20fd88af32 should be included but not th

Re: [racket-dev] Pre-Release Checklist for v5.1.2

2011-07-24 Thread Stephen Chang
wrote:   - Stepper Tests >>> >>> Printing in the Stepper is broken yet again.  (I get backquote printing >>> for the DMdA levels for lists.)  I'll try to fix it Monday or Tuesday. >> Can you describe the failing test case? > > Pick the DeinProgramm -> Die Macht der Abstraktion language. > > T

Re: [racket-dev] Pre-Release Checklist for v5.1.2

2011-07-23 Thread Stephen Chang
>>   - Stepper Tests > > Printing in the Stepper is broken yet again.  (I get backquote printing > for the DMdA levels for lists.)  I'll try to fix it Monday or Tuesday. Mike, is the DMdA stepper the same as the HtDP stepper? I'm only seeing 1 dmda test in collects/tests/stepper but it doesnt have

Re: [racket-dev] Pre-Release Checklist for v5.1.2

2011-07-23 Thread Stephen Chang
> * Stephen Chang >  - Lazy Racket Tests >  - Lazy stepper tests All passed. > * Eli Barzilay >  - Swindle Tests >  - Plot Tests >  - Verify that the unix installer works in both modes >  - Racket Tree: compare new distribution tree to previous one >  Version Upd

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

2011-07-14 Thread Stephen Chang
Does anyone know why drdr is hanging on this commit? Is it because it changed the docs? On Wed, Jul 13, 2011 at 4:27 PM, wrote: > asumu has updated `master' from cf04739f93 to 2fdc56db3a. >  http://git.racket-lang.org/plt/cf04739f93..2fdc56db3a > > =[ 1 Commits ]==

Re: [racket-dev] varrefs in teaching languages are actually top-level?

2011-06-29 Thread Stephen Chang
> I just observed something that gave me a bit of a start; it appears to me > that bindings in the teaching languages are still parsed as top-level > bindings, and not as module bindings.  This is weird, because I'm pretty > confident that the definitions get wrapped in a module before expansion

Re: [racket-dev] problem running configure script

2011-05-24 Thread Stephen Chang
> I'm trying to compile racket from source on a linux machine here at > Northeastern, but when I try to run the configure script, I get a > "command not found" error. The permissions on the file are correct and > when I run "bash configure" I get this: > > stchang@mrdo:~/plt/src$ bash configure > :

[racket-dev] problem running configure script

2011-05-24 Thread Stephen Chang
I'm trying to compile racket from source on a linux machine here at Northeastern, but when I try to run the configure script, I get a "command not found" error. The permissions on the file are correct and when I run "bash configure" I get this: stchang@mrdo:~/plt/src$ bash configure : command not

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

2011-05-16 Thread Stephen Chang
> Oh, I know: the deinprogramm library probably depends on the > test-engine tool being present too. Yeah it does. I think deinprogramm also depends on the Signatures tool. _ For list-related administrative tasks: http://lists.racket-lang.org/lis

Re: [racket-dev] racket virtual machine out of memory error

2011-05-16 Thread Stephen Chang
>> > This question is somewhat vague but I've been able to replicate it >> > pretty reliably so I'll ask anyways. I'm running redex-check for a >> > long time and after about 6-8 hours, drracket crashes with a "racket >> > out of virtual memory" error. This is on Windows 7. The machine has >> > lot

Re: [racket-dev] racket virtual machine out of memory error

2011-05-16 Thread Stephen Chang
> This question is somewhat vague but I've been able to replicate it > pretty reliably so I'll ask anyways. I'm running redex-check for a > long time and after about 6-8 hours, drracket crashes with a "racket > out of virtual memory" error. This is on Windows 7. The machine has > lots of physical r

[racket-dev] racket virtual machine out of memory error

2011-05-16 Thread Stephen Chang
This question is somewhat vague but I've been able to replicate it pretty reliably so I'll ask anyways. I'm running redex-check for a long time and after about 6-8 hours, drracket crashes with a "racket out of virtual memory" error. This is on Windows 7. The machine has lots of physical ram but no

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

2011-05-15 Thread Stephen Chang
>> I did run raco setup and I have some tools disabled (in fact, >> everything except htdp, stepper, and lazy racket are disabled). But it >> still shouldnt error, right? > > I guess. One might also say the problem is that you can't disable > certain tools (without disabling others). I'm not sure w

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

2011-05-15 Thread Stephen Chang
bled). But it still shouldnt error, right? >> On Sun, May 15, 2011 at 2:42 PM, Stephen Chang wrote: >>> I just pulled the latest from git, started drracket, selected >>> Beginning Student language, >>> pressed run, and I got this error msg: >>> >

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

2011-05-15 Thread Stephen Chang
I just pulled the latest from git, started drracket, selected Beginning Student language, pressed run, and I got this error msg: send: no such method: get-test-window for class: ...per\stepper-tool.rkt:235:4 === context === C:\plt\collects\racket\private\class-internal.rkt:4550:0: obj-error C:

Re: [racket-dev] composing contexts in Redex?

2011-05-06 Thread Stephen Chang
> Can you define an "other stuff" non-terminal O: > > (O hole ) > > and sprinkle some Os in A: > > (A hole (in-hole (in-hole O ((in-hole O A) e)) (λ x (in-hole O A Something along this line could work. But I would need side conditions to make sure that the O doesnt mess up the "A-ness" pro

Re: [racket-dev] composing contexts in Redex?

2011-05-05 Thread Stephen Chang
So I'm struggling with redex again and I cant figure out a way to utilize any of the previously mentioned tricks. I just included what I have below and I described what I'm trying to do. Hopefully someone will have some time to take a look? :) I have a context A, where the focus is in the body of

Re: [racket-dev] composing contexts in Redex?

2011-05-02 Thread Stephen Chang
Hmm, or maybe you've found a bug in my model. Either way, thanks for looking into this. 2011/5/2 Casey Klein : > On Mon, May 2, 2011 at 3:30 PM, Stephen Chang wrote: >>>> (define-language test >>>>  (e x (λ x e) (e e)) >>>>  (x variable-not-otherwis

Re: [racket-dev] composing contexts in Redex?

2011-05-02 Thread Stephen Chang
>> (define-language test >>  (e x (λ x e) (e e)) >>  (x variable-not-otherwise-mentioned) >>  (A hole >>     (in-hole (A e) (λ x A Cool, that works! I didnt think to do that with in-hole. Can you explain how it keeps the number of lambdas and arguments the same though? I'm cant quite figure ou

Re: [racket-dev] composing contexts in Redex?

2011-05-02 Thread Stephen Chang
> Why not just: > > A ::= hole | ((lambda x A) e) That doesnt cover something like (((lambda y (lambda x hole)) e_1) e_2) _ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev

Re: [racket-dev] composing contexts in Redex?

2011-05-02 Thread Stephen Chang
> Oh, but this simpler definition seems to be equivalent: > > (define-language test >  (e x (λ x e) (e e)) >  (x variable-not-otherwise-mentioned) >  (A hole >     (λ x A) >     (A e))) Yes, you are right. But I left out a part of my grammar, which is that I need the number of nested lambdas and t

Re: [racket-dev] composing contexts in Redex?

2011-05-02 Thread Stephen Chang
Thanks for the fast replies. A combination of restricting some of my contexts and explicitly stating more cases helped. Previously, I was trying to use more general contexts and then restricting the cases with side conditions. For example, in A, F always has at least one lambda, but later, I do nee

[racket-dev] composing contexts in Redex?

2011-05-02 Thread Stephen Chang
Is there any way to compose contexts in Redex? I want to represent a context where, at each level, the leftmost term is an arbitrary number of nested lambdas, and the hole is in the body of the innermost lambda. A ::= hole | (\x_1...\x_n.A) e_1 .. e_n Below is my (stripped down) attempt at repr

Re: [racket-dev] release blurb for 5.1.1

2011-04-26 Thread Stephen Chang
> I know that Stephen wanted something on the lazy stepper > > John Jon mentioned it in the original list. _ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev

Re: [racket-dev] Pre-Release Checklist for v5.1.1, second call

2011-04-24 Thread Stephen Chang
tracting into the wrong directory. Stupid of me. > You can also just download the "full" version from the pre-built binaries, no? Oh yeah, that would have worked as well, thanks. > * Stephen Chang > - Lazy Racket Tests > - Lazy stepper tests all passed _

Re: [racket-dev] Pre-Release Checklist for v5.1.1, second call

2011-04-24 Thread Stephen Chang
#x27;re done, or tell me if there are no such >  changes.) > > * Kathy Gray >  - Test Engine Tests > > * Noel Welsh >  - Rackunit Tests >  - SRFI Tests >  - Ensure that all claimed srfi's are in the installer and they all >    load into racket or drracket (as appropria

Re: [racket-dev] DrRacket crash

2011-04-18 Thread Stephen Chang
I dont have any insight into the crashing, but fwiw, I ran your program on two machines and both completed. The first machine has windows7 and 12gb ram and the second is xp and has 2gb (and pretty much took all day to complete). I ran both times with unlimited memory in drracket. Here is the outpu

Re: [racket-dev] DrRacket debugging - the Step button doesn't respond correctly.

2011-04-11 Thread Stephen Chang
I dont see the behavior you mentioned in the latest version of drracket. Can you provide some more information? What version of drracket and on what platform are you using? Can you provide an example program that exhibits the behavior? On Mon, Apr 11, 2011 at 6:08 AM, bhrgunatha wrote: > When d

Re: [racket-dev] Windows horizontal mouse wheel

2011-04-05 Thread Stephen Chang
; At Tue, 5 Apr 2011 09:14:37 -0400, Stephen Chang wrote: >> I found a mouse with horizontal tilting, but like others, I dont see >> any events when tilting left or right. This is with Windows XP and the >> latest from git. >> >> >> >> >> On Sun,

Re: [racket-dev] Windows horizontal mouse wheel

2011-04-05 Thread Stephen Chang
I found a mouse with horizontal tilting, but like others, I dont see any events when tilting left or right. This is with Windows XP and the latest from git. On Sun, Apr 3, 2011 at 5:22 PM, Eli Barzilay wrote: > An hour and a half ago, Eli Barzilay wrote: >> >> Still nothing, but maybe I got so

Re: [racket-dev] Windows horizontal mouse wheel

2011-04-03 Thread Stephen Chang
Ok, my mouse must not be advanced enough. I'll see if I can find one. On Sun, Apr 3, 2011 at 3:03 PM, Matthew Flatt wrote: > At Sun, 3 Apr 2011 13:52:14 -0400, Stephen Chang wrote: >> Is this different from clicking and dragging the wheel button around? > > Yes, a horizont

Re: [racket-dev] Windows horizontal mouse wheel

2011-04-03 Thread Stephen Chang
Is this different from clicking and dragging the wheel button around? Because that seems to work. It doesnt say left or right though, just "MIDDLE dragging moving". On Sun, Apr 3, 2011 at 12:39 PM, Matthew Flatt wrote: > The `racket/gui' library now supports horizontal mouse-wheel events, > b

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

2011-01-27 Thread Stephen Chang
ar Racket, I think > to accommodate improper lists. > > C:\Users\Administrator\git\exp\plt>Racket.exe > Welcome to Racket v5.0.99.7. >> (take "nonlist" 0) > '() > > Robby > > On Thu, Jan 27, 2011 at 3:32 PM, Stephen Chang wrote: >> What should be the

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

2011-01-27 Thread Stephen Chang
What should be the result of (take 0 "nonlist") In the spirit of this bug report, I think it should be an error http://bugs.racket-lang.org/query/?cmd=view&pr=11458 But right now it evaluates to the empty list. On Wed, Jan 26, 2011 at 6:43 PM, Stephen Chang wrote: > Oh

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

2011-01-26 Thread Stephen Chang
  wrote: >> stchang has updated `master' from 1ab22f7c2b to f60957282f. >>  http://git.racket-lang.org/plt/1ab22f7c2b..f60957282f >> >> =[ 1 Commits ]== >> >> Directory summary: >>  100.0% collects/t

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

2011-01-26 Thread Stephen Chang
Oh sorry, didnt read carefully. I now see that it wasnt my push you were replying to. On Wed, Jan 26, 2011 at 6:42 PM, Stephen Chang wrote: > That wasnt the bug that I was fixing. > > > > On Wed, Jan 26, 2011 at 5:58 PM, Matthew Flatt wrote: >> At Wed, 26 Jan 2011 17:07:

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

2011-01-26 Thread Stephen Chang
That wasnt the bug that I was fixing. On Wed, Jan 26, 2011 at 5:58 PM, Matthew Flatt wrote: > At Wed, 26 Jan 2011 17:07:32 -0500, e...@racket-lang.org wrote: >> +    (let ([n0 (! n)]) >> +      (unless (exact-nonnegative-integer? n) >> +        (raise-type-error 'take "non-negative exact intege

Re: [racket-dev] Compiling latest pre-release on Ubuntu

2011-01-24 Thread Stephen Chang
> Last thing I can think of: > >  gcc (Ubuntu 4.4.3-4ubuntu5) 4.4.3 $ gcc --version gcc (Ubuntu 4.4.3-4ubuntu5) 4.4.3 _ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev

Re: [racket-dev] Compiling latest pre-release on Ubuntu

2011-01-24 Thread Stephen Chang
$ uname -r > 2.6.32-24-server > > Is your box 64-bit? If not, that might indicate the issue: > > $ uname -a > Linux kahu 2.6.32-24-server #43-Ubuntu SMP Thu Sep 16 16:05:42 UTC > 2010 x86_64 GNU/Linux > > It's also running in a VM. > > N. > > On Mon, Jan 2

Re: [racket-dev] Compiling latest pre-release on Ubuntu

2011-01-24 Thread Stephen Chang
On Mon, Jan 24, 2011 at 9:26 AM, Noel Welsh wrote: > I also get that, but it doesn't stop compilation from working on other > platforms. > > N. > > On Mon, Jan 24, 2011 at 2:25 PM, Stephen Chang wrote: >> When I try to run ../configure --disable-gracket, I get a

Re: [racket-dev] Compiling latest pre-release on Ubuntu

2011-01-24 Thread Stephen Chang
When I try to run ../configure --disable-gracket, I get a warning that it's not a valid option: configure: WARNING: unrecognized options: --disable-gracket On Mon, Jan 24, 2011 at 7:42 AM, Noel Welsh wrote: > Hi, > > I have an Ubuntu VM: > >  kahu@kahu:/usr/local/racket-5.0.99.6/src/build$ una

Re: [racket-dev] racket-lang down?

2011-01-21 Thread Stephen Chang
Seems like the site is down again :( On Thu, Jan 20, 2011 at 1:56 AM, Jon Rafkind wrote: > its working for me. i just submitted a bug, too. > > On 01/19/2011 04:44 PM, John Clements wrote: > > It looks like racket-lang.org is down. > > John > > > _

Re: [racket-dev] cgywin build working? Which line endings?

2011-01-18 Thread Stephen Chang
I tried once and got some problems. I dont remember exactly what went wrong, but I think the problem might have been with my cygwin install. I think it's expected to work. Here is a paragraph from the README file: To compile with Cygwin tools, follow the Unix instructions below, and be sure to co

Re: [racket-dev] problems with eps file generation in Windows?

2011-01-11 Thread Stephen Chang
Oops, sorry, it's 5.0.1.7. On Tue, Jan 11, 2011 at 1:18 PM, Robby Findler wrote: > Which version of Racket are you using? > > Robby > > On Tue, Jan 11, 2011 at 12:12 PM, Stephen Chang wrote: >> Has anyone ever had issues with generating .eps files with >> rend

Re: [racket-dev] Git

2011-01-07 Thread Stephen Chang
I'm surprised no one has linked this all-clarifying blog post :) http://tartley.com/?p=1267 On Fri, Jan 7, 2011 at 4:52 PM, Eli Barzilay wrote: > Two hours ago, John Clements wrote: >> >> Taking a step back: is there really anything wrong with such >> commits? > > What Robby and Vincent gener

Re: [racket-dev] drracket and rectangles

2011-01-04 Thread Stephen Chang
I've used ctrl-w in a windows drracket keyboard macro before (and I just tested it again). Also, you can always use ctrl-u 6 ctrl-x e as a substitute for control-x e e e e e e. On Mon, Jan 3, 2011 at 8:44 PM, Matthias Felleisen wrote: > > I considered using a keyboard macro. The time to switch

[racket-dev] enabling profiling affects stepper continuation marks?

2010-10-10 Thread Stephen Chang
I'm using version 5.0.1.5--2010-09-03 (I'm not using the latest because some tests are broken in the latest). If I run the stepper tests with no debugging and no profiling, or with just debugging, all the tests pass. But if I run the tests with debugging and profiling turned on, some tests fail. I

Re: [racket-dev] string

2010-10-07 Thread Stephen Chang
> I don't think we ever found a workaround, but you could double-check > this thread: > >  http://lists.racket-lang.org/dev/archive/2010-July/003692.html Thanks. I played around with enabling/disabling debugging and profiling options like Doug did and now the error is gone (regardless of what butt

Re: [racket-dev] string

2010-10-07 Thread Stephen Chang
> I don't suppose you get a stacktrace with the error? No, it's just the error message. Although it seems to only happen in drracket. I cant recreate the error from the command line. > On Thu, Oct 7, 2010 at 3:35 PM, Stephen Chang wrote: >> Has anyone seen an

[racket-dev] string

2010-10-07 Thread Stephen Chang
Has anyone seen an error like this before: string as 1st argument, given: #f; other arguments were: "dcdf0433aca16ea2f5db9a003821f56a718d2da5" I'm using an older version of racket, 5.0.0.6, but I havent seen the error until recently. I get the error when I run certain files in drracket. I started

Re: [racket-dev] scribble tables with centered cells

2010-06-15 Thread Stephen Chang
This seems to do the trick: (table 3 (list (t "Header1") (t "Header2") (t "Header3") (t "11") (t "17") (t "29")) cc-superimpose cc-superimpose gap-size gap-size) On Tue, Jun 15, 2010 at 11:01 AM, Sam Tobin-Hochstadt wrote: > I'd like to produce,

Re: [racket-dev] scribble tables with centered cells

2010-06-15 Thread Stephen Chang
Oops nevermind. I misread scribble as slideshow. On Tue, Jun 15, 2010 at 11:24 AM, Stephen Chang wrote: > This seems to do the trick: > > (table 3 >(list (t "Header1") (t "Header2") (t "Header3") > (t "11")

<    1   2