Re: [racket-dev] string? error

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 stch...@ccs.neu.edu wrote: Has anyone seen an error like

Re: [racket-dev] string? error

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 button

[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] 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 e...@barzilay.org wrote: Two hours ago, John Clements wrote: Taking a step back: is there really anything wrong with such commits? What Robby and

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 ro...@eecs.northwestern.edu wrote: Which version of Racket are you using? Robby On Tue, Jan 11, 2011 at 12:12 PM, Stephen Chang stch...@ccs.neu.edu wrote: Has anyone ever had issues with generating .eps files

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

2011-01-24 Thread Stephen Chang
, Jan 24, 2011 at 9:26 AM, Noel Welsh noelwe...@gmail.com 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 stch...@ccs.neu.edu wrote: When I try to run ../configure --disable-gracket, I get a warning

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 mfl...@cs.utah.edu 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

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 stch...@ccs.neu.edu wrote: That wasnt the bug that I was fixing. On Wed, Jan 26, 2011 at 5:58 PM, Matthew Flatt mfl...@cs.utah.edu wrote: At Wed, 26 Jan

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/tests/lazy/ ~~ f609572 Stephen Chang stchang

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

2011-01-27 Thread Stephen Chang
Racket, I think to accommodate improper lists. C:\Users\Administrator\git\exp\pltRacket.exe Welcome to Racket v5.0.99.7. (take nonlist 0) '() Robby On Thu, Jan 27, 2011 at 3:32 PM, Stephen Chang stch...@ccs.neu.edu wrote: What should be the result of (take 0 nonlist) In the spirit

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 mfl...@cs.utah.edu wrote: The `racket/gui' library now supports horizontal

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 mfl...@cs.utah.edu 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 horizontal mouse

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 e...@barzilay.org wrote: An hour and a half ago, Eli Barzilay wrote: Still nothing, but

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

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

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

2011-04-24 Thread Stephen Chang
* Noel Welsh noelwe...@gmail.com  - Rackunit Tests  - SRFI Tests  - Ensure that all claimed srfi's are in the installer and they all    load into racket or drracket (as appropriate) * Stephen Chang stch...@ccs.neu.edu  - Lazy Racket Tests  - Lazy stepper tests * Eli Barzilay e

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

2011-04-24 Thread Stephen Chang
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 stch...@ccs.neu.edu - Lazy Racket Tests - Lazy stepper tests all passed

[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

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 out what's

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 clkl...@eecs.northwestern.edu: On Mon, May 2, 2011 at 3:30 PM, Stephen Chang stch...@ccs.neu.edu wrote: (define-language test  (e x (λ x e) (e e))  (x variable-not-otherwise-mentioned

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-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 property of

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

2011-05-15 Thread Stephen Chang
? On Sun, May 15, 2011 at 2:42 PM, Stephen Chang stch...@ccs.neu.edu wrote: 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

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 what the

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

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

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:

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 : command

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, as...@racket-lang.org wrote: asumu has updated `master' from cf04739f93 to 2fdc56db3a.  http://git.racket-lang.org/plt/cf04739f93..2fdc56db3a =[ 1 Commits

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

2011-07-23 Thread Stephen Chang
* Stephen Chang stch...@ccs.neu.edu  - Lazy Racket Tests  - Lazy stepper tests All passed. * Eli Barzilay e...@barzilay.org  - Swindle Tests  - Plot Tests  - Verify that the unix installer works in both modes  - Racket Tree: compare new distribution tree to previous one  Version

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 any

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

[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

[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 number as 2nd argument, given: #f; other arguments were: 76 === context === C:\plt\collects\framework\private\frame.rkt:255:2

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

2011-09-28 Thread Stephen Chang
drracket a second 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 8:51 PM, Stephen Chang stch

Re: [racket-dev] ACM publishing and ArXiv

2011-09-30 Thread Stephen Chang
Did Stephen find it because of the ACM somehow? I guess so. It was cited in an acm paper (haskell workshop). I think I found it originally by looking at citations on google scholar, but they probably pulled their information from acm-related papers. On Fri, Sep 30, 2011 at 1:22 PM,

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

2011-10-18 Thread Stephen Chang
* Stephen Chang stch...@ccs.neu.edu - Lazy Racket Tests - Lazy stepper tests All passed. On Mon, Oct 17, 2011 at 9:02 PM, Ryan Culpepper r...@cs.utah.edu wrote: Checklist items for the v5.2 release  (using the v5.1.900.1 release candidate build) Search for your name to find relevant

[racket-dev] error using local-expand

2011-12-09 Thread Stephen Chang
Say I have the following program: #lang racket (define-for-syntax (loc-expand stx) (local-expand stx 'expression '())) (define-syntax (my-begin stx) (syntax-case stx () [(_ e ...) (with-syntax ([(x ...) (map loc-expand (syntax-list #'(e ...)))]) #'(begin x ...))]))

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

2012-01-18 Thread Stephen Chang
* Stephen Chang stch...@ccs.neu.edu  - Lazy Racket Tests  - Lazy stepper tests All passed. On Tue, Jan 17, 2012 at 6:44 PM, Ryan Culpepper r...@cs.utah.edu wrote: Checklist items for the v5.2.1 release  (using the v5.2.0.900 release candidate build) Search for your name to find relevant

Re: [racket-dev] bookmarks in drracket?

2012-02-03 Thread Stephen Chang
could contain this feature. (The second one seems important, but not as much as the first.) Robby On Fri, Feb 3, 2012 at 1:06 AM, Stephen Chang stch...@ccs.neu.edu wrote: When using Dr Racket, I use the right-click Jump to definition of a lot but I frequently find that I also want an easy way

Re: [racket-dev] bookmarks in drracket?

2012-02-03 Thread Stephen Chang
On Fri, Feb 3, 2012 at 1:55 PM, Asumu Takikawa as...@ccs.neu.edu wrote: On 2012-02-03 12:06:16 -0500, Stephen Chang wrote: Any ideas on what the graphical representation should look like? Should it be a popup window? Or a side bar? I like the idea of a breadcrumb UI (maybe at the bottom like

Re: [racket-dev] bookmarks in drracket?

2012-02-04 Thread Stephen Chang
Since jumping to a definition will sometime open a new window. Is this true in drracket? It doesnt seem like it is. I have a new implementation where bookmarks are a text mixin, so each tab will have it's own stack. But there is no jumping between windows. On Sat, Feb 4, 2012 at 5:00 PM,

Re: [racket-dev] bookmarks in drracket?

2012-02-04 Thread Stephen Chang
the bookmarks be stored then? Robby On Saturday, February 4, 2012, Stephen Chang stch...@ccs.neu.edu wrote: Since jumping to a definition will sometime open a new window. Is this true in drracket? It doesnt seem like it is. I have a new implementation where bookmarks are a text mixin, so each tab

[racket-dev] redex metafunction contract for two separate languages?

2012-02-05 Thread Stephen Chang
I want to write a redex metafunction contract that goes between two languages. Is there currently a way to do this? For example, #lang racket (require redex) (define-language L1 (e 1)) (define-language L2 (f 2)) (define-metafunction L1 L1-L2 : e - f [(L1-L2 1) 2]) (term (L1-L2 1)) . .

Re: [racket-dev] redex metafunction contract for two separate languages?

2012-02-11 Thread Stephen Chang
) (define-language L1 (e 1)) (define-language L2 (f 2)) (define-union-language L (l1: L1) (l2: L2)) (define-metafunction L L1-L2 : l1:e - l2:f [(L1-L2 1) 2]) Hope that works for your use case. Robby On Sun, Feb 5, 2012 at 4:11 PM, Stephen Chang stch...@ccs.neu.edu wrote: I want

[racket-dev] request for triangle in slideshow/pict

2012-03-22 Thread Stephen Chang
Would anyone find it useful to have a triangle primitive in slideshow/pict? How easy would it be to add one? _ Racket Developers list: http://lists.racket-lang.org/dev

[racket-dev] wrong syntax position and span when using unicode lambda character?

2012-06-11 Thread Stephen Chang
I have a drracket plugin that reads the contents of the definitions window as syntax and then traverses that syntax object so that for each subexpression e it prints 1) (syntax-datum e), and 2) the contents of the definitions window at starting at position (syntax-position e) and ending at

Re: [racket-dev] wrong syntax position and span when using unicode lambda character?

2012-06-11 Thread Stephen Chang
Do you mean turn off? I didn't but I will try it. Would it affect some programs but not others though? On Jun 11, 2012 8:01 PM, Robby Findler ro...@eecs.northwestern.edu wrote: Did you turn out port-count-lines! on the port? Robby On Mon, Jun 11, 2012 at 6:57 PM, Stephen Chang stch

Re: [racket-dev] wrong syntax position and span when using unicode lambda character?

2012-06-11 Thread Stephen Chang
...@cs.utah.edu wrote: No, Robby meant on. Line counting matters even more for programs with non-ASCII characters. On Jun 12, 2012, at 8:07 AM, Stephen Chang stch...@ccs.neu.edu wrote: Do you mean turn off? I didn't but I will try it. Would it affect some programs but not others though

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

2012-07-25 Thread Stephen Chang
* Stephen Chang stch...@ccs.neu.edu - Lazy Racket Tests Pass - Lazy stepper tests Fail, but I assume commit 25068 fixes the problems (in the process of confirming now.) * Eli Barzilay e...@barzilay.org - Swindle Tests - XREPL Tests - Racket Tree: compare new distribution tree

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

2012-07-25 Thread Stephen Chang
On Wed, Jul 25, 2012 at 2:59 PM, Stephen Chang stch...@ccs.neu.edu wrote: * Stephen Chang stch...@ccs.neu.edu - Lazy Racket Tests Pass - Lazy stepper tests Fail, but I assume commit 25068 fixes the problems (in the process of confirming now.) With 25068, all the stepper tests pass

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

2012-07-25 Thread Stephen Chang
this. * Stephen Chang stch...@ccs.neu.edu - Lazy stepper tests Passing. * Eli Barzilay e...@barzilay.org - XREPL Tests - Racket Tree: compare new distribution tree to previous one - Run the unix installer tests Version Updates: if a major change has happened, update the version number

[racket-dev] Am I misusing judgment-holds ?

2012-08-21 Thread Stephen Chang
I want to use judgment-holds in a side-condition but sometimes it doesn't quite work because it's a macro. In the following example, judgment-holds does not use the value bound to tau. Is there a nice way to make it do what I want? #lang racket (require redex) (define-language L (e integer

Re: [racket-dev] Am I misusing judgment-holds ?

2012-08-22 Thread Stephen Chang
Oh yeah, this first solution should work (I want to keep it as an output though). Thanks. On Wed, Aug 22, 2012 at 9:01 AM, Robby Findler ro...@eecs.northwestern.edu wrote: You could do the below, but can you say a little bit more about what the metafunction and judgment-form you want to

Re: [racket-dev] Am I misusing judgment-holds ?

2012-08-22 Thread Stephen Chang
of awkward, tho. Do you plan to typeset this portion of your model? Robby On Wed, Aug 22, 2012 at 10:07 AM, Stephen Chang stch...@ccs.neu.edu wrote: Oh yeah, this first solution should work (I want to keep it as an output though). Thanks. On Wed, Aug 22, 2012 at 9:01 AM, Robby Findler ro

[racket-dev] stream confusion

2012-08-22 Thread Stephen Chang
I've been playing with Racket streams and I am confused about what exactly counts as a stream? For example, are lists streams? I think the answer is yes but then are the stream- functions supposed to work on regular lists? Some do but some don't. Welcome to DrRacket, version 5.3.0.16 [3m].

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

2012-10-17 Thread Stephen Chang
* Stephen Chang stch...@ccs.neu.edu - Lazy Racket Tests - Lazy stepper tests pass * Eli Barzilay e...@barzilay.org - Swindle Tests - XREPL Tests - Racket Tree: compare new distribution tree to previous one - Run the unix installer tests - Run zsh completions tests

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

2012-11-21 Thread Stephen Chang
On Wed, Nov 21, 2012 at 2:22 PM, Asumu Takikawa as...@ccs.neu.edu wrote: On 2012-11-21 12:50:49 -0600, Robby Findler wrote: On Wed, Nov 21, 2012 at 11:52 AM, Asumu Takikawa as...@ccs.neu.edu wrote: Should queues also be streams or just sequences? I didn't think about this: if you think they

Re: [racket-dev] [racket] Survey for DrRacket users related to automatic parentheses behavior

2012-11-22 Thread Stephen Chang
I have tried automatic parens and stopped using it for the exact reasons you mentioned. I would start using it again if your proposal is implemented. On Thu, Nov 22, 2012 at 7:20 PM, Nadeem Abdul Hamid nad...@acm.org wrote: Hello all, I've been discussing with Robby a possible improvement of

[racket-dev] define #lang and use in same file (+ some funny behavior)

2012-12-03 Thread Stephen Chang
When doing quick experiments, I've often wanted the ability to define a new language and then use it in the same file. I thought submodules might allow me to do this, but I've realized that I still can't. However, in trying to do so I ran into some interesting behavior: Here is a file named

Re: [racket-dev] define #lang and use in same file (+ some funny behavior)

2012-12-03 Thread Stephen Chang
(printf Hello, ~a!\n 'one) (printf Salutations, ~a!\n 'two))]))) (module main (submod .. greeting) Santa Claus Easter Bunny) Carl Eastlund On Mon, Dec 3, 2012 at 3:46 PM, Stephen Chang stch...@ccs.neu.edu wrote: When doing quick experiments, I've often wanted

Re: [racket-dev] racket/date, SRFI-19, date construction

2013-01-11 Thread Stephen Chang
Second, the date structure used by racket/date has some seemingly extraneous fields. For example, `week-day` and `year-day` can be calculated from the rest of the fields and aren't necessary (this is annoying if you want to construct your own dates manually). I've been confused by this in the

Re: [racket-dev] Search in manuals

2013-01-12 Thread Stephen Chang
For now, you can enter into google: site:docs.racket-lang.org java On Jan 12, 2013 2:07 PM, Harry Spier vasishtha.sp...@gmail.com wrote: I just did a search in manuals on Java. I wanted to see all the references to Java in the Racket documentation and it only brought up a reference to JavaDoc

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

2013-01-18 Thread Stephen Chang
* Stephen Chang stch...@ccs.neu.edu - Lazy Racket Tests - Lazy stepper tests pass * Eli Barzilay e...@barzilay.org - Swindle Tests - XREPL Tests - Racket Tree: compare new distribution tree to previous one - Run the unix installer tests - Run zsh completions tests

[racket-dev] prop:match-expander not provided?

2013-01-21 Thread Stephen Chang
Trying to use prop:match-expander but it doesn't seem to be available: http://pre.racket-lang.org/docs/html/reference/match.html?q=prop%3Amatch-expander#%28def._%28%28lib._racket%2Fmatch..rkt%29._prop~3amatch-expander%29%29 Welcome to DrRacket, version 5.3.1.3 [3m]. Language: racket [custom].

Re: [racket-dev] submodule in macro

2013-01-26 Thread Stephen Chang
Thanks for the clarification. On Jan 26, 2013 6:55 AM, Matthew Flatt mfl...@cs.utah.edu wrote: At Sat, 26 Jan 2013 01:12:04 -0500, Stephen Chang wrote: Is this a supported use of submodules? #lang racket (define-syntax (def-wrapped stx) (syntax-case stx () [(_ (f arg

Re: [racket-dev] submodule in macro

2013-01-28 Thread Stephen Chang
-module-path:'tmp-module-name On Sat, Jan 26, 2013 at 6:55 AM, Matthew Flatt mfl...@cs.utah.edu wrote: At Sat, 26 Jan 2013 01:12:04 -0500, Stephen Chang wrote: Is this a supported use of submodules? #lang racket (define-syntax (def-wrapped stx) (syntax-case stx () [(_ (f arg ...) body

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

2013-02-20 Thread Stephen Chang
Is there a test case that checks this correction? Of course there is :) _ Racket Developers list: http://lists.racket-lang.org/dev

[racket-dev] how to define a custom null in typed racket

2013-04-11 Thread Stephen Chang
I know the code below is wrong because it sends TR into an infinite loop. What is the recommended way to represent mynull (and its type) without leaking its representation to a user of this library? #lang typed/racket (define mynull null) (define-type MyListof (All (A) (Rec X (U mynull (Pair A

Re: [racket-dev] how to define a custom null in typed racket

2013-04-11 Thread Stephen Chang
On Thu, Apr 11, 2013 at 6:47 PM, Eric Dobson eric.n.dob...@gmail.com wrote: You shouldn't be able to send the TR into an inifinite loop. Typechecking is supposed to terminate. Please try to reduce it to the minimum testcase and file a bug. I just filed pr 13687. On Thu, Apr 11, 2013 at

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

2013-04-22 Thread Stephen Chang
* Stephen Chang stch...@ccs.neu.edu - Lazy Racket Tests - Lazy stepper tests pass On Wed, Apr 17, 2013 at 10:36 PM, Ryan Culpepper ry...@ccs.neu.edu wrote: Checklist items for the v5.3.4 release (using the v5.3.3.900 release candidate build) Search for your name to find relevant

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

2013-04-28 Thread Stephen Chang
The form meta-variable (as used in the documentation for module or begin) doesn't seem to be mentioned anywhere. Maybe this would be a good place for it? Or should it go in the Notation Guide? On Sun, Apr 28, 2013 at 6:04 PM, Matthew Flatt mfl...@cs.utah.edu wrote: At Thu, 25 Apr 2013 14:59:42

Re: [racket-dev] `#%declare' and cross-phase persistent modules

2013-07-22 Thread Stephen Chang
When compiling a fresh git head clone, I still get some cross-phase persistence errors (see below). Is this my fault, or are some packages still missing the declaration? raco setup: --- checking package dependencies --- raco setup: raco setup: error: during making for

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

2013-07-23 Thread Stephen Chang
* Stephen Chang stch...@ccs.neu.edu - Lazy Racket Tests - Lazy stepper tests all pass * Eli Barzilay e...@barzilay.org - Swindle Tests - XREPL Tests - Verify PL language - Racket Tree: compare new distribution tree to previous one - Run the unix installer tests - Run

[racket-dev] syntax-parse ~once keyword sometimes does not report too-few error?

2013-07-25 Thread Stephen Chang
Here is a syntax-parse macro that requires one subexpression to be wrapped with an exclamation point. (define-syntax (test stx) (syntax-parse stx #:datum-literals (!) [((~or (~once (! x:expr) #:name !) (~not (! y:expr))) ...) #'42])) Everything works like I would

Re: [racket-dev] syntax-parse ~once keyword sometimes does not report too-few error?

2013-07-25 Thread Stephen Chang
PM, Stephen Chang wrote: Here is a syntax-parse macro that requires one subexpression to be wrapped with an exclamation point. (define-syntax (test stx) (syntax-parse stx #:datum-literals (!) [((~or (~once (! x:expr) #:name !) (~not (! y:expr))) ...) #'42

Re: [racket-dev] Generics updates

2013-08-01 Thread Stephen Chang
Just played a bit with gen:set. It looks great and in particular the fallback implementations are very convenient. One comment: the distinction between primitive methods and derived methods confused me somewhat. Can you explain the reasoning for determining which is which? For example, when I

Re: [racket-dev] Generics updates

2013-08-01 Thread Stephen Chang
with the primitive methods? Very few of the derived come free because most rely on set-stream, but set-stream is not primitive which is why I thought there might be a distinction between iterable sets and non-iterable. Carl Eastlund On Thu, Aug 1, 2013 at 6:27 PM, Stephen Chang stch

Re: [racket-dev] Generics updates

2013-08-01 Thread Stephen Chang
, Aug 1, 2013 at 6:51 PM, Stephen Chang stch...@ccs.neu.edu wrote: For the other part, I either should have made it as you say -- implement the primitive ones and you get the others -- or else I should have clearly documented the relationship somewhere. You did document the dependencies

Re: [racket-dev] Generics updates

2013-08-02 Thread Stephen Chang
With that in mind, I think it would make sense to move `set-first' and `set-empty?' to the primitive set (making it clear that they are optional, and can be derived from `set-stream' if need be). With those two in the primitive set, anything that implements all the primitives should get all

Re: [racket-dev] Generics updates

2013-08-02 Thread Stephen Chang
, that is good enough. I guess my question is, is this a docs issue, or should the code have more calls to set-implements? On Fri, Aug 2, 2013 at 1:47 PM, Stephen Chang stch...@ccs.neu.edu wrote: With that in mind, I think it would make sense to move `set-first' and `set-empty?' to the primitive set

Re: [racket-dev] Revising Racket's home page

2013-08-19 Thread Stephen Chang
Some quick observations. on Chromium Version 23.0.1271.97 Ubuntu 12.04 (23.0.1271.97-0ubuntu0.12.04.1): - broken links: download, research - only 2 examples? :) how come some got cut? - web scraper example is cut off when clicking ? Maybe make the overlay window variable width? on mobile

[racket-dev] can a syntax-class inherit attributes?

2013-08-22 Thread Stephen Chang
Is there a way for a syntax-class to automatically inherit attributes? For example, the third class below combines the first two. Is there a way to automatically get the attributes from the first two classes in the third one (ie, I want to drop the #:attr X #'a.X part in the third class)? #lang

Re: [racket-dev] can a syntax-class inherit attributes?

2013-08-23 Thread Stephen Chang
, and it all works like you want. Carl Eastlund On Fri, Aug 23, 2013 at 12:22 AM, Stephen Chang stch...@ccs.neu.edu wrote: Is there a way for a syntax-class to automatically inherit attributes? For example, the third class below combines the first two. Is there a way to automatically get

[racket-dev] generic binding forms

2013-08-25 Thread Stephen Chang
Hi dev, I've noticed that Racket has a lot of convenient binding forms but they don't fit together unless someone does it manually (for example there's match-let and match-let-values, but no match-for). As an educational side project, I've been toying around with a different way of organizing

Re: [racket-dev] generic binding forms

2013-08-29 Thread Stephen Chang
? Specifically how do overlapping uses fare in the two systems? Microbenchmarks okay for now. -- Matthias On Aug 26, 2013, at 12:54 AM, Stephen Chang wrote: Hi dev, I've noticed that Racket has a lot of convenient binding forms but they don't fit together unless someone does it manually

Re: [racket-dev] binding clause transformers (was: generic binding forms)

2013-08-29 Thread Stephen Chang
))) (displayln (~a The middle three elements are: (v 1 4 This expands into uses of vector-ref and vector-set! so there is no runtime penalty for using this shorthand. /Jens Axel 2013/8/26 Stephen Chang stch...@ccs.neu.edu Hi dev, I've noticed that Racket has a lot of convenient

[racket-dev] provide expand-clause in racket/private/for.rkt

2013-09-05 Thread Stephen Chang
Hi dev, I would like to provide (for-syntax) the expand-clause function in racket/private/for.rkt. Would this cause any problems? Would anyone object to this? I have an implementation of for/X in my generic-bind library that uses expand-clause and with it, the generic-bind ~for forms are as

Re: [racket-dev] split-for-body from syntax/for-body

2013-09-06 Thread Stephen Chang
Among the bodys, besides stopping the iteration and preventing later body evaluations, a #:break guard-expr or #:final guard-expr clause starts a new internal-definition context. I had the same thought process as Carl. I now understand the behavior but I don't understand why it's needed? It

Re: [racket-dev] provide expand-clause in racket/private/for.rkt

2013-09-06 Thread Stephen Chang
be a better name. Ok I will add it. Thanks. At Fri, 6 Sep 2013 00:45:40 -0400, Stephen Chang wrote: Hi dev, I would like to provide (for-syntax) the expand-clause function in racket/private/for.rkt. Would this cause any problems? Would anyone object to this? I have an implementation

Re: [racket-dev] split-for-body from syntax/for-body

2013-09-06 Thread Stephen Chang
the break expression becomes too large to fit on one line. So is the reason why #:when and #:unless can't be used the same way because there already exist when and unless forms? Carl Eastlund On Fri, Sep 6, 2013 at 2:31 PM, Stephen Chang stch...@ccs.neu.edu wrote: Among the bodys

Re: [racket-dev] split-for-body from syntax/for-body

2013-09-08 Thread Stephen Chang
think the current architecture would support this change easily since it's accumulator-based. If a #:when/unless condition is true, you just call the loop with the old accumulators. I can put it in if there is agreement. Carl Eastlund On Fri, Sep 6, 2013 at 2:31 PM, Stephen Chang stch

Re: [racket-dev] for/... improvement. #:filter

2013-09-10 Thread Stephen Chang
I like the proposal. My earlier suggestion for supporting #:when and #:unless in the body is the same as what you are asking for, I believe. On Wed, Sep 11, 2013 at 12:41 AM, Roman Klochkov kalimeh...@mail.ru wrote: I propose to add yet one keyword to for/foldX/derived/break (and so to all

Re: [racket-dev] Pull request for make-base-eval

2013-10-02 Thread Stephen Chang
namespace-attach-module: a different module with the same name is already in the destination namespace I am running into this issue with make-base-eval again. Looking through the email archive, it looks like it's come up several times before but I couldn't figure out if there was a resolution.

[racket-dev] patch for make-base-eval

2013-10-02 Thread Stephen Chang
Can I push the attached (1-line) patch? I don't have a good grasp of namespaces so I would like someone to review it first. Right now, make-base-eval tries to attach racket/pretty to the namespace regardless of whether it's already there, which sometimes results in an exception (for example if

Re: [racket-dev] patch for make-base-eval

2013-10-02 Thread Stephen Chang
Whether that identifier exists in the namespace has nothing to do with whether racket/pretty can be attached. Can you explain this a little more because it's a little unintuitive to me? One option would be for install-pretty-printer! to just catch and discard the error. Evaluators for some

Re: [racket-dev] patch for make-base-eval

2013-10-02 Thread Stephen Chang
, ;; and #t is not a good print handler Ryan On 10/02/2013 03:58 PM, Stephen Chang wrote: A namespace is a mapping from top-level identifiers to whatever they are, as well as a separate mapping from module names to modules (roughly). What you care about here is the second mapping

Re: [racket-dev] patch for make-base-eval

2013-10-02 Thread Stephen Chang
Ok here's another dumb question. Why is that namespace-attach-module even needed? It seems the dynamic require on the next line does the desired thing? On Wed, Oct 2, 2013 at 4:16 PM, Stephen Chang stch...@ccs.neu.edu wrote: Ok thanks for the explanations. I'll try doing one of the last two

Re: [racket-dev] patch for make-base-eval

2013-10-03 Thread Stephen Chang
) and then doing the dynamic-require with and without the attach. Robby On Wed, Oct 2, 2013 at 4:58 PM, Stephen Chang stch...@ccs.neu.edu wrote: Ok here's another dumb question. Why is that namespace-attach-module even needed? It seems the dynamic require on the next line does the desired thing

  1   2   >