Re: [racket-dev] The repository is now split

2014-12-05 Thread Stephen Chang
Did a fresh clone and then make (Debian 7.4) and got the error below, even though git is not down. Do we need to increase the timeout? Downloading https://github.com/racket/icons/tarball/d6ec572b628874361c104858dad2a574119872fb Downloading

Re: [racket-dev] The repository is now split

2014-12-05 Thread Stephen Chang
address: github.com port number: 443 step: 6 system error: Connection timed out; errno=110 context...: On Fri, Dec 5, 2014 at 1:00 PM, Stephen Chang stch...@ccs.neu.edu wrote: Did a fresh clone and then make (Debian 7.4) and got the error below, even though git is not down. Do we need

Re: [racket-dev] The repository is now split

2014-12-05 Thread Stephen Chang
/collects/setup/parallel-do.rkt:431:20: loop On Fri, Dec 5, 2014 at 1:07 PM, Stephen Chang stch...@ccs.neu.edu wrote: Typed make and it timed out again. Could it be a github rate limit? https://developer.github.com/v3/rate_limit/ https://developer.github.com/v3/#rate-limiting Downloading https

Re: [racket-dev] The repository is now split

2014-12-05 Thread Stephen Chang
One more issue, If I resume an interrupted make with make again, the compile takes around ~5hrs to complete on my (modern, lots of memory, desktop) machine. It gets stuck around search.scrbl, as Vincent mentioned on IRC (but eventually finishes). I just grabbed a fresh clone though and it

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

2014-10-29 Thread Stephen Chang
3d2fdbc8cf to 40422d35d3. http://git.racket-lang.org/plt/3d2fdbc8cf..40422d35d3 =[ One Commit ]= Directory summary: 93.4% pkgs/racket-pkgs/racket-test/tests/racket/ 6.5% racket/collects/racket/ ~~ 40422d3 Stephen Chang stch

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

2014-10-21 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

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

2014-09-15 Thread Stephen Chang
My Drracket is crashing with the steps and error msg below. Does this commit fix what I'm seeing? Steps to reproduce: 1) start drracket 6.1 windows 32 bit 2) select BSL 3) add (require rackunit) and run 4) switch to determine language from source 5) switch back to BSL skip-whitespace: called on

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

2014-09-15 Thread Stephen Chang
to BSL Robby On Mon, Sep 15, 2014 at 7:37 PM, Stephen Chang stch...@ccs.neu.edu wrote: My Drracket is crashing with the steps and error msg below. Does this commit fix what I'm seeing? Steps to reproduce: 1) start drracket 6.1 windows 32 bit 2) select BSL 3) add (require rackunit) and run

[racket-dev] internal-definition-context-seal doesn't seem to do anything

2014-08-15 Thread Stephen Chang
The docs say that if I make an internal definition context with syntax-local-make-definition-context, I have to seal it with internal-definition-context-seal, otherwise an exception gets raised. But I can't get this to happen. Does someone have an example that causes the exception to get thrown?

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

2014-06-30 Thread Stephen Chang
--- OLD/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/static-contracts/combinators/derived.rkt +++ NEW/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/static-contracts/combinators/derived.rkt @@ -6,7 +6,7 @@ (require simple.rkt structural.rkt (for-template

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

2014-05-06 Thread Stephen Chang
How about an extra button, a Run Benchmark button? You can already get this with the benchmark package, from pkg.racket-lang. /Jens Axel 2014-05-06 19:43 GMT+02:00 Sam Tobin-Hochstadt sa...@cs.indiana.edu: On Tue, May 6, 2014 at 12:14 PM, Matthias Felleisen matth...@ccs.neu.edu wrote:

Re: [racket-dev] make-empty-namespace vs make-base-empty-namespace; ie attaching racket/base does other stuff

2014-04-29 Thread Stephen Chang
it with 'racket/base (to end up with the equivalent of `make-base-empty-namespace') does work. Vincent At Mon, 28 Apr 2014 16:38:24 -0400, Stephen Chang wrote: Motivated by some recent email threads, I decided to better understand how Racket namespaces work by re-reading some docs but I got

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

2014-04-28 Thread Stephen Chang
You could have different distributions also, with the appropriate default. Tell students to get the picturing programs drracket or the Pyret drracket, etc etc. This seems like the way to go. There won't be one optimal solution for Racket's wide spectrum of users. There wouldn't even need to

[racket-dev] make-empty-namespace vs make-base-empty-namespace; ie attaching racket/base does other stuff

2014-04-28 Thread Stephen Chang
Motivated by some recent email threads, I decided to better understand how Racket namespaces work by re-reading some docs but I got confused. Paraphrasing the examples from this part of the guide: http://docs.racket-lang.org/guide/mk-namespace.html the following example fails because the module

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

2014-04-25 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

Re: [racket-dev] ECDHE patch for Racket's OpenSSL bindings.

2014-04-10 Thread Stephen Chang
allocating/deallocating functions? On Thu, Apr 10, 2014 at 2:11 PM, Edward Lee e45...@uwaterloo.ca wrote: Those are accidental omissions; I've attached a patch that should fix the contract and symbol-nid. --Edward On Thu, Apr 10, 2014 at 01:39:13AM -0400, Stephen Chang wrote: I checked out

Re: [racket-dev] ECDHE patch for Racket's OpenSSL bindings.

2014-04-09 Thread Stephen Chang
I checked out the patch and have a few questions. (I'm a non-expert.) How come some curves are omitted from the curve/c contract (eg sect163k1 and sect193r2)? Is there also a curve missing from symbol-nid (eg sect571r1)? On Wed, Apr 9, 2014 at 7:52 PM, Neil Van Dyke n...@neilvandyke.org wrote:

Re: [racket-dev] [DrDr] R28413 (timeout 4) (unclean 16) (stderr 35) (changes 22)

2014-03-27 Thread Stephen Chang
) (define-language L (cap-x (side-condition variable_1 (regexp-match #rx^[A-Z] (symbol-string (term variable_1)) (redex-check L cap-x #t #:attempts 10) On Wed, Mar 26, 2014 at 11:29 PM, Stephen Chang stch...@ccs.neu.edu wrote: Sorry, just to clarify

Re: [racket-dev] [DrDr] R28413 (timeout 4) (unclean 16) (stderr 35) (changes 22)

2014-03-26 Thread Stephen Chang
Not sure if this is related, but if I have a call to redex-check that is suddenly producing the error: generate-term: #:i-th does not support side-condition patterns What are some possible causes? (still trying to distill to a small example). On Wed, Mar 26, 2014 at 1:10 PM, Robby Findler

Re: [racket-dev] [DrDr] R28413 (timeout 4) (unclean 16) (stderr 35) (changes 22)

2014-03-26 Thread Stephen Chang
That is a bug in redex-check. You can work around it by passing #:ad-hoc to redex-check (this goes back to the old behavior). Thanks! That saved me some debugging. Robby On Wed, Mar 26, 2014 at 6:33 PM, Stephen Chang stch...@ccs.neu.edu wrote: Not sure if this is related, but if I have

Re: [racket-dev] [DrDr] R28413 (timeout 4) (unclean 16) (stderr 35) (changes 22)

2014-03-26 Thread Stephen Chang
to redex-check (this goes back to the old behavior). Robby On Wed, Mar 26, 2014 at 6:33 PM, Stephen Chang stch...@ccs.neu.edu wrote: Not sure if this is related, but if I have a call to redex-check that is suddenly producing the error: generate-term: #:i-th does not support side-condition

Re: [racket-dev] Pre-Release Checklist for v6.0, corrected url

2013-12-18 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

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

2013-10-15 Thread Stephen Chang
I just discovered this behavior accidentally. It caught me off guard and feels unintuitive. And the negative of accidentally running it doesnt seem to outweigh having to type an extra --link dirname (especially after cloning, when you are not in the directory you just created anyways). I doubt

Re: [racket-dev] separate plot library into gui-requiring and non-gui-requiring

2013-10-09 Thread Stephen Chang
racket/gui/base for exactly this reason. Robby On Tuesday, October 8, 2013, Neil Toronto wrote: On 10/08/2013 11:22 AM, Stephen Chang wrote: Short question: Is there a way to separate the gui-requiring parts of plot from the non-gui-requiring parts? Long

[racket-dev] raco setup errors

2013-10-09 Thread Stephen Chang
Pulled today's commits and got the following errors during raco setup. I'm guessing it's because some dependencies changed. Is there a step I forgot to do? raco setup: --- building documentation --- raco setup: docs failure: query-rows: the database disk image is malformed raco setup: ---

[racket-dev] separate plot library into gui-requiring and non-gui-requiring

2013-10-08 Thread Stephen Chang
Short question: Is there a way to separate the gui-requiring parts of plot from the non-gui-requiring parts? Long question: Many people have expressed pleasant surprise with the plot-evaluating ability of the racket pastebin Sam and I are working on. Most of the effort is due to scribble's nice

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

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

2013-10-03 Thread Stephen Chang
Do you need to do the same thing with file/convertible? The current version only attaches file/convertible. Robby On Thu, Oct 3, 2013 at 1:09 PM, Stephen Chang stch...@ccs.neu.edu wrote: Here's another attempt at a patch. Would someone mind code reviewing it? Ryan pointed me towards

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

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

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

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

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

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

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

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

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

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

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

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

[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

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

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

[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

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

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,

[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

[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

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

[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

  1   2   >