[racket-dev] Bug site

2010-06-09 Thread Carl Eastlund
. (Sorry if this is old news and I missed that someone is already working on it.) Carl Eastlund _ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev

[racket-dev] Getting old versions of PLT Scheme

2010-07-22 Thread Carl Eastlund
, and at each click the dialog pops back up again. Our site(s) would be easier to get around if any or all of these were fixed: old versions from the Racket Download page, an easier to read redirection dialog, and only seeing that dialog once per visit. Carl Eastlund

Re: [racket-dev] for/first and multiple values

2010-08-29 Thread Carl Eastlund
On Sun, Aug 29, 2010 at 8:32 PM, David Van Horn dvanh...@ccs.neu.edu wrote: On 8/29/10 8:27 PM, Carl Eastlund wrote: What do you propose for/first should return if the set s is empty? #f? Which will do what in a 2-valued context? --Carl

Re: [racket-dev] Nest resurrection

2010-09-07 Thread Carl Eastlund
On Tue, Sep 7, 2010 at 8:57 AM, Eli Barzilay e...@barzilay.org wrote: At some point after the Racket rename, `racket/nest' was dropped, and every once in a while I run into a case where I really miss it.  So here's a shot at what went wrong and an alternative vesion. My guess is that the main

Re: [racket-dev] single-instantiation trick: kludgy workaround for planet packages?

2010-10-05 Thread Carl Eastlund
John, See this-package-in, found both in the cce/scheme planet package and in unstable/require. If you write (prefix-in drlink: (this-package-in private/drracket-link)) you should get the behavior you want, and it should be less fragile than the explicit planet path. Carl Eastlund On Tue, Oct

Re: [racket-dev] `cond' / `when' / `unless' / etc bodies

2010-10-11 Thread Carl Eastlund
On Mon, Oct 11, 2010 at 2:10 PM, Joe Marshall jmarsh...@alum.mit.edu wrote: On Mon, Oct 11, 2010 at 9:59 AM, Neil Toronto neil.toro...@gmail.com wrote: If I get a vote, +1/2 from me. My vote isn't +1 because I'd rather see a syntactic restriction removed: make the inside of a `begin' an

Re: [racket-dev] internal-definition parsing

2010-10-13 Thread Carl Eastlund
On Wed, Jul 7, 2010 at 12:23 PM, Matthew Flatt mfl...@cs.utah.edu wrote: Should an expression be required at the end? A `module', `unit', or `class' body can consist of just definitions. Similarly, if an internal-definition context ends with a definition, we could define the result to be

Re: [racket-dev] internal-definition parsing

2010-10-13 Thread Carl Eastlund
into a problem with nested macros imported from someone else's libraries is something I'd much rather make easy. Carl Eastlund On Wed, Oct 13, 2010 at 10:02 AM, Matthias Felleisen matth...@ccs.neu.edu wrote: In a sense you just want to change the 'fault blame' designation when  e/d ... moves

Re: [racket-dev] fuzz testing the bytecode reader

2010-10-19 Thread Carl Eastlund
Caveat Emptor: be wary of running code designed to produce random, unsafe results if the computer you are running it on has any data you really care about. Chances of catastrophic failure *should* be low, but they may not be, and sometimes lightning does strike anyway. Carl Eastlund On Tue, Oct

Re: [racket-dev] planet remove triggers re-installation?

2010-10-26 Thread Carl Eastlund
a reference to it, although perhaps the documentation index simply did not get rebuilt appropriately. Carl Eastlund On Tue, Oct 26, 2010 at 2:55 PM, John Clements cleme...@brinckerhoff.org wrote: Let me preface this by saying that I'm sure this is somehow my fault.   Nevertheless, it seems broken

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

2010-10-26 Thread Carl Eastlund
On Mon, Oct 25, 2010 at 11:09 PM, Eli Barzilay e...@barzilay.org wrote: 9 hours ago, Ryan Culpepper wrote: [...] -- Release candidates are at --   http://pre.racket-lang.org/release/installers There is now a build there that includes Matthew's change to the unsafe bindings.  (As I said

Re: [racket-dev] relative lines of C in gracket vs. gracket2

2010-10-28 Thread Carl Eastlund
On Thu, Oct 28, 2010 at 2:12 PM, namekuseijin namekusei...@gmail.com wrote: On Thu, Oct 28, 2010 at 3:48 PM, John Clements cleme...@brinckerhoff.org wrote: So, if I'm reading this correctly, we've gone from ~590K lines of C to about ~340K lines of C. That's amazing. hope that doesn't mean

Re: [racket-dev] Strange module mismatch

2010-11-03 Thread Carl Eastlund
program. Carl Eastlund On Wed, Nov 3, 2010 at 2:24 PM, Casey Klein clkl...@eecs.northwestern.edu wrote: I'm hitting a module mismatch that won't go away no matter how many times I type raco make or raco setup. Running the module #lang racket (require redex) variables-not-in produces link

Re: [racket-dev] How about adding this simple list-shuffling procedure to racket?

2010-11-11 Thread Carl Eastlund
On Thu, Nov 11, 2010 at 12:18 PM, Neil Toronto neil.toro...@gmail.com wrote: Eric Hanchrow wrote: I find myself using this all the time; it seems it'd be handy to have built in. (define (shuffled list)  (sort list #:key (lambda (_) (random)) #:cache-keys? #t)) Is the distribution of

Re: [racket-dev] How about adding this simple list-shuffling procedure to racket?

2010-11-11 Thread Carl Eastlund
On Thu, Nov 11, 2010 at 12:40 PM, Neil Toronto neil.toro...@gmail.com wrote: I don't know. I know that the run through the list and swap with another random element algorithms are usually non-uniform, and so are a lot of other things that seem like they'd work. I wouldn't use something that

Re: [racket-dev] TR - no source locations?

2010-11-20 Thread Carl Eastlund
Do you have a sample program where Racket preserves source locations and Typed Racket doesn't? Carl Eastlund On Sat, Nov 20, 2010 at 1:51 PM, John Clements cleme...@brinckerhoff.org wrote: It appears to me that TR does not preserve source locations, which makes testing extremely painful

Re: [racket-dev] enter! verbosity

2010-12-10 Thread Carl Eastlund
Why is it more useful for enter! to give this output than load or require? Carl Eastlund On Fri, Dec 10, 2010 at 3:05 PM, Noel Welsh noelwe...@gmail.com wrote: It is moderately useful to see what is reloaded if you renter enter! N. On Fri, Dec 10, 2010 at 5:26 PM, Carl Eastlund c

Re: [racket-dev] enter! verbosity

2010-12-11 Thread Carl Eastlund
On Sat, Dec 11, 2010 at 4:58 PM, Eli Barzilay e...@barzilay.org wrote: Yesterday, Jakub Piotr Cłapa wrote: On 10.12.10 21:05, Noel Welsh wrote: It is moderately useful to see what is reloaded if you renter enter! Just a quick thought: Let it output what it is reloading and not what is

Re: [racket-dev] enter! verbosity

2010-12-11 Thread Carl Eastlund
On Sat, Dec 11, 2010 at 5:17 PM, Eli Barzilay e...@barzilay.org wrote: I'm not sure what your intended use is (= what is that language in question), but IIUC, it sounds like you really want  racket -I typed/racket Almost, apparently I need to throw a -i in there to get the REPL back. But

[racket-dev] Compile error from DrRacket

2010-12-16 Thread Carl Eastlund
DrRacket 5.0.2 gave me this error in a program using rackunit: compiled/drracket/errortrace/rackunit_rkt.zo:1:0: read (compiled): code compiled for version 5.0.1, not 5.0.2 Is this a bug or a feature? Carl Eastlund _ For list-related

Re: [racket-dev] Compile error from DrRacket

2010-12-16 Thread Carl Eastlund
Ah ha, I have figured out the problem. I had the .zo file, but *not* the original .rkt file, so there was nothing for DrRacket to recompile. Sorry for the false alarm! Carl Eastlund On Thu, Dec 16, 2010 at 3:05 PM, Robby Findler ro...@eecs.northwestern.edu wrote: That shouldn't happen, since

Re: [racket-dev] Git

2011-01-06 Thread Carl Eastlund
with yourself, but not trouble anyone else. Carl Eastlund On Thu, Jan 6, 2011 at 7:25 AM, Robby Findler ro...@eecs.northwestern.edu wrote: Thanks guys for the explanations. I'll study them -- I think I'm missing some (probably simple) key piece of how git works internally that would probably make

Re: [racket-dev] Git

2011-01-06 Thread Carl Eastlund
On Thu, Jan 6, 2011 at 8:35 AM, Robby Findler ro...@eecs.northwestern.edu wrote: Thanks, Carl. I have tried that route in the past and I found that I let robby/plt get too far out of sync with the tree. So I'm looking for a workflow where, perhaps, what I do is create robby/plt only when I

Re: [racket-dev] Git

2011-01-06 Thread Carl Eastlund
On Thu, Jan 6, 2011 at 8:45 AM, Robby Findler ro...@eecs.northwestern.edu wrote: On Thu, Jan 6, 2011 at 7:41 AM, Carl Eastlund c...@ccs.neu.edu wrote: You can always just leave robby/plt around, but only use it for that purpose.  Even if you've left it in some odd state, at any point in time

Re: [racket-dev] Git

2011-01-06 Thread Carl Eastlund
On Thu, Jan 6, 2011 at 12:06 PM, Robby Findler ro...@eecs.northwestern.edu wrote: On Thu, Jan 6, 2011 at 8:00 AM, Carl Eastlund c...@ccs.neu.edu wrote: In case you find it to be an improved workflow, here's what I do: I maintain cce/plt as a clone of plt.  I work on it, on whatever branch

Re: [racket-dev] Git

2011-01-06 Thread Carl Eastlund
On Thu, Jan 6, 2011 at 1:29 PM, Robby Findler ro...@eecs.northwestern.edu wrote: If your goal is to figure out this git stuff, I'm happy to keep answering questions.  If your goal is, more immediately, to figure out if you need those 53 commits, open up read permissions to robby/plt and I (or

Re: [racket-dev] Blame and re-provided bindings

2011-01-15 Thread Carl Eastlund
On Sat, Jan 15, 2011 at 6:53 AM, Robby Findler ro...@eecs.northwestern.edu wrote: On Fri, Jan 14, 2011 at 9:13 PM, Carl Eastlund c...@ccs.neu.edu wrote: I think that most of the time that you re-provide something you really wanted to put the same contract on it, so it seems like we should make

Re: [racket-dev] Blame and re-provided bindings

2011-01-16 Thread Carl Eastlund
On Sun, Jan 16, 2011 at 11:03 PM, Matthias Felleisen matth...@ccs.neu.edu wrote: On Jan 15, 2011, at 5:05 PM, Casey Klein wrote: On Sat, Jan 15, 2011 at 11:26 AM, Stevie Strickland sstri...@ccs.neu.edu wrote: On Jan 15, 2011, at 12:19 PM, Robby Findler wrote: I think that we are just

Re: [racket-dev] Blame and re-provided bindings

2011-01-16 Thread Carl Eastlund
the client breaks the contracts. On Jan 16, 2011, at 11:06 PM, Carl Eastlund wrote: On Sun, Jan 16, 2011 at 11:03 PM, Matthias Felleisen matth...@ccs.neu.edu wrote: On Jan 15, 2011, at 5:05 PM, Casey Klein wrote: On Sat, Jan 15, 2011 at 11:26 AM, Stevie Strickland sstri...@ccs.neu.edu wrote

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

2011-02-04 Thread Carl Eastlund
On Thu, Feb 3, 2011 at 9:08 PM, Ryan Culpepper ry...@ccs.neu.edu wrote: * Carl Eastlund c...@ccs.neu.edu  - Dracula Tests (confirm that Dracula runs from PLaneT) Done. --Carl _ For list-related administrative tasks: http://lists.racket

Re: [racket-dev] tool-names - drracket-tool-names ?

2011-02-04 Thread Carl Eastlund
Dracula only has tool-names, and it loads properly in the pre-release installer I tried. I don't know if tool-names is deprecated or not, but it appears to still work. Carl Eastlund On Fri, Feb 4, 2011 at 4:04 PM, John Clements cleme...@brinckerhoff.org wrote: It looks like the infotab/setup

Re: [racket-dev] Final v5.1 build is ready

2011-02-11 Thread Carl Eastlund
Done; Dracula works in v5.1. Carl Eastlund On Fri, Feb 11, 2011 at 2:28 PM, Eli Barzilay e...@barzilay.org wrote: The final v5.1 build is now ready at the same place:   http://pre.racket-lang.org/5.1/installers It is a good idea to run quick tests with it to make sure that version related

Re: [racket-dev] okay to add planet error check?

2011-02-15 Thread Carl Eastlund
partway through. On the other hand, I don't need this behavior to be the default. If you want to make raco signal an error by default, and add a --quiet or --force option to restore the current behavior, that would be fine by me. Carl Eastlund On Tue, Feb 15, 2011 at 3:41 PM, John Clements

Re: [racket-dev] massive penalty for (except-in (planet ...) ...) require ?

2011-02-17 Thread Carl Eastlund
-in, rename-in, etc. might seriously impact compile time. Carl Eastlund On Thu, Feb 17, 2011 at 5:04 PM, John Clements cleme...@brinckerhoff.org wrote: Running a particular file has been crushingly slow for me, and I finally traced it down (apparently) to the addition of an except-in wrapper

Re: [racket-dev] massive penalty for (except-in (planet ...) ...) require ?

2011-02-17 Thread Carl Eastlund
Have you tried this with non-planet files? I'm curious whether the planet aspect is really a factor here, or just except-in. Carl Eastlund On Thu, Feb 17, 2011 at 5:18 PM, John Clements cleme...@brinckerhoff.org wrote: On Feb 17, 2011, at 2:12 PM, Carl Eastlund wrote: I don't know precisely

Re: [racket-dev] Packaging

2011-02-22 Thread Carl Eastlund
place. Carl Eastlund On Tue, Feb 22, 2011 at 3:37 PM, Jay McCarthy jay.mccar...@gmail.com wrote: I don't feel strongly about this and you seem to, so supposing we support any conflicting installations, it makes sense for Planet 2.0 to have both major and minor versions. Jay 2011/2/19 Robby

Re: [racket-dev] Packaging

2011-02-22 Thread Carl Eastlund
the maintainer wants. Carl Eastlund On Tue, Feb 22, 2011 at 4:06 PM, Robby Findler ro...@eecs.northwestern.edu wrote: Carl: your message is unclear to me. Are you saying that attempting to solve the problem of matching up require requests with available versions of software packages is hopeless and we

Re: [racket-dev] Packaging

2011-02-22 Thread Carl Eastlund
I am aware of the external versions, but since I can't put them in a require spec to identify the package I want, they aren't terribly useful as an identifying feature of a package. Carl Eastlund On Tue, Feb 22, 2011 at 4:34 PM, Robby Findler ro...@eecs.northwestern.edu wrote: Thanks

[racket-dev] unhygienic bindings in syntax/module-reader

2011-03-01 Thread Carl Eastlund
be provided by the user, or bound as syntax parameters. Carl Eastlund _ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev

Re: [racket-dev] weak boxes in a script

2011-03-16 Thread Carl Eastlund
collection, the compiled form of the first term still exists: (define b (make-weak-box 'not-used)) Thus there is a reference to the symbol not-used, and it is not garbage collected. Carl Eastlund On Wed, Mar 16, 2011 at 5:09 PM, David Vanderson david.vander...@gmail.com wrote: I'm seeing

[racket-dev] Alpha-equivalence for Racket

2011-03-25 Thread Carl Eastlund
Has anyone ever implemented alpha-equivalence for fully expanded Racket programs? It seems like it might be useful for testing macros, and I'd rather not duplicate effort if it's already been done. Carl Eastlund _ For list-related administrative

[racket-dev] Module metadata

2011-04-19 Thread Carl Eastlund
-expansion metadata associated with modules? Carl Eastlund _ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev

Re: [racket-dev] Module metadata

2011-04-19 Thread Carl Eastlund
. Are these mechanisms documented, or do you mean I should look at the code? --Carl On Tue, Apr 19, 2011 at 4:02 PM, Carl Eastlund c...@ccs.neu.edu wrote: I would like to associate metadata with a module based on its expansion.  In my case, I want the Dracula language to be able to construct

Re: [racket-dev] Module metadata

2011-04-19 Thread Carl Eastlund
On Tue, Apr 19, 2011 at 5:32 PM, Robby Findler ro...@eecs.northwestern.edu wrote: On Tue, Apr 19, 2011 at 4:29 PM, Carl Eastlund c...@ccs.neu.edu wrote: On Tue, Apr 19, 2011 at 5:22 PM, Robby Findler (Also you might want to go check and see how scribble does proc-doc and possibly scribble/lp

Re: [racket-dev] guidelines on error messages -- please send feedback

2011-06-03 Thread Carl Eastlund
that must be correct because DrRacket said so. Carl Eastlund On Fri, Jun 3, 2011 at 3:12 PM, Jon Rafkind rafk...@cs.utah.edu wrote: Somewhat offtopic but could the *SL languages use levenshtien distances to find symbolically related variables? clang (a c++ compiler) does this and I find

Re: [racket-dev] `regexp-match**'

2011-06-04 Thread Carl Eastlund
Why does regexp-match** need to take this extra argument? Can't we just use map like normal? If we want users to process each match in turn, possibly to allow early garbage collection, it sounds like an in-regexp-matches sequence would be better. Carl Eastlund On Sat, Jun 4, 2011 at 5:08 PM

Re: [racket-dev] `regexp-match**'

2011-06-04 Thread Carl Eastlund
You wrote: (define (regexp-match* . xs) (apply regexp-match** car xs)) I'm asking why it's not just this instead: (define (regexp-match* . xs) (map car (apply regexp-match** xs)) Why does regexp-match** need to do the mapping? Carl Eastlund On Sat, Jun 4, 2011 at 7:17 PM, Eli Barzilay

Re: [racket-dev] Racket startup

2011-06-28 Thread Carl Eastlund
On Tue, Jun 28, 2011 at 10:06 AM, Neil Van Dyke n...@neilvandyke.org wrote: Eli Barzilay wrote at 06/28/2011 09:52 AM: This makes `MAIN' the Racket equivalent of Python's `__main__' thing. As for the name, if you could promise me that this name isn't a slippery slope to a proliferation of

Re: [racket-dev] Racket startup

2011-06-28 Thread Carl Eastlund
On Tue, Jun 28, 2011 at 10:20 AM, Eli Barzilay e...@barzilay.org wrote: Three minutes ago, Carl Eastlund wrote: The Racketish name would be #%main, wouldn't it? Yes.  But the problem is that `#%foo' names are intended to be things that you don't write in end-user code, only if you implement

Re: [racket-dev] Racket startup

2011-06-28 Thread Carl Eastlund
On Tue, Jun 28, 2011 at 11:27 AM, Eli Barzilay e...@barzilay.org wrote: An hour ago, Carl Eastlund wrote: On Tue, Jun 28, 2011 at 10:20 AM, Eli Barzilay e...@barzilay.org wrote: Three minutes ago, Carl Eastlund wrote: The Racketish name would be #%main, wouldn't it? Yes

Re: [racket-dev] syntax taints instead of syntax certificates

2011-06-29 Thread Carl Eastlund
On Wed, Jun 29, 2011 at 9:19 PM, Matthew Flatt mfl...@cs.utah.edu wrote: I've pushed a change to Racket's macro system that throws out the syntax-certificate system and adds a syntax-taint system. Syntax taints, like syntax certificates before, are intended to protect macro expansions from

Re: [racket-dev] syntax taints instead of syntax certificates

2011-06-29 Thread Carl Eastlund
On Wed, Jun 29, 2011 at 10:10 PM, Eli Barzilay e...@barzilay.org wrote: A few seconds ago, Eli Barzilay wrote: 8 minutes ago, Carl Eastlund wrote: On Wed, Jun 29, 2011 at 9:19 PM, Matthew Flatt mfl...@cs.utah.edu wrote: I've pushed a change to Racket's macro system that throws out

Re: [racket-dev] syntax taints instead of syntax certificates

2011-06-29 Thread Carl Eastlund
On Wed, Jun 29, 2011 at 10:55 PM, Matthew Flatt mfl...@cs.utah.edu wrote: 8 minutes ago, Carl Eastlund wrote: On Wed, Jun 29, 2011 at 9:19 PM, Matthew Flatt mfl...@cs.utah.edu wrote: Things you need to know:  * When writing a macro (without `syntax-rules', `define-syntax-rule

Re: [racket-dev] documentation reorganization

2011-07-01 Thread Carl Eastlund
Great stuff. This is a big improvement. Carl Eastlund On Fri, Jul 1, 2011 at 8:45 PM, Ryan Culpepper r...@cs.utah.edu wrote: I just pushed a commit intended to improve the usability of the main documentation page, especially for newcomers to Racket. You can also see the new version here

Re: [racket-dev] syntax taints instead of syntax certificates

2011-07-02 Thread Carl Eastlund
On Thu, Jun 30, 2011 at 2:20 PM, Stephan Houben steph...@planet.nl wrote: Something like this springs to mind: (define-syntax provide/protection  (syntax-rules ()    ((_ name)     (begin       (define-syntax tmp         (syntax-rules ()           ((_ . args) (name . args      

Re: [racket-dev] New error messages for *SL

2011-07-06 Thread Carl Eastlund
A click away can be one too many. Students have enough difficulty finding documentation as it is. The reference for ISL cond should include all the necessary details of ISL cond. How about we have a note saying that ISL cond is the same as ASL cond, then write it all out anyway. And presumably

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

2011-07-27 Thread Carl Eastlund
On Tue, Jul 19, 2011 at 5:16 PM, Ryan Culpepper r...@cs.utah.edu wrote: * Carl Eastlund c...@ccs.neu.edu  - Dracula Tests (confirm that Dracula runs from PLaneT) Done. _ For list-related administrative tasks: http://lists.racket-lang.org

Re: [racket-dev] A basic package system

2011-07-27 Thread Carl Eastlund
On Wed, Jul 27, 2011 at 11:32 AM, Eli Barzilay e...@barzilay.org wrote: 10 minutes ago, Robby Findler wrote: They have more similarities than your message suggests I believe. And it is probably worth exploring that.  As far as I can see a facet/modulet has less stuff than a package and

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

2011-07-27 Thread Carl Eastlund
On Wed, Jul 27, 2011 at 1:29 AM, Ryan Culpepper r...@cs.utah.edu wrote: * Carl Eastlund c...@ccs.neu.edu  - Dracula Tests (confirm that Dracula runs from PLaneT) Done, in case my [late] response on the prior thread was missed. --Carl

Re: [racket-dev] Racket on Rockets

2011-07-27 Thread Carl Eastlund
On Wed, Jul 27, 2011 at 4:17 PM, Sam Tobin-Hochstadt sa...@ccs.neu.edu wrote: On Wed, Jul 27, 2011 at 1:10 PM, Tony Garnock-Jones to...@ccs.neu.edu wrote: On 2011-07-27 4:01 PM, Sam Tobin-Hochstadt wrote: If you have a sufficiently powerful inspector, you can traverse any structure.  In

Re: [racket-dev] A basic package system

2011-07-27 Thread Carl Eastlund
On Thu, Jul 28, 2011 at 12:35 AM, Jay McCarthy jay.mccar...@gmail.com wrote: On Wed, Jul 27, 2011 at 8:12 PM, Carl Eastlund c...@ccs.neu.edu wrote: On Wed, Jul 27, 2011 at 11:32 AM, Eli Barzilay e...@barzilay.org wrote: 10 minutes ago, Robby Findler wrote: They have more similarities than your

Re: [racket-dev] testing

2011-08-04 Thread Carl Eastlund
On Thu, Aug 4, 2011 at 12:11 PM, Matthias Felleisen matth...@ccs.neu.edu wrote: One of the responses to the draft of the Racket style guide contains the following paragraph: There should be unified way to test collections. Let's say I fix something in collect `foo', there should be an

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

2011-08-13 Thread Carl Eastlund
On Sat, Aug 13, 2011 at 1:26 PM, Matthias Felleisen matth...@ccs.neu.edu wrote: On Aug 13, 2011, at 12:58 PM, Sam Tobin-Hochstadt wrote: On Sat, Aug 13, 2011 at 12:51 PM, Eli Barzilay e...@barzilay.org wrote: 10 minutes ago, Sam Tobin-Hochstadt wrote: `match' also currently adds a syntax

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

2011-08-13 Thread Carl Eastlund
On Sat, Aug 13, 2011 at 2:05 PM, Sam Tobin-Hochstadt sa...@ccs.neu.edu wrote: On Aug 13, 2011 1:35 PM, Carl Eastlund c...@ccs.neu.edu wrote: On Sat, Aug 13, 2011 at 1:26 PM, Matthias Felleisen matth...@ccs.neu.edu wrote: On Aug 13, 2011, at 12:58 PM, Sam Tobin-Hochstadt wrote: On Sat

Re: [racket-dev] Running into phase-error issues

2011-08-14 Thread Carl Eastlund
I've run into the same issue. The way I sometimes to it is to eval code which requires the original module for syntax, extracts the value during macro expansion, and produces an expression that quotes it (or an expression that reconstructs it, if not an s-expression). Carl Eastlund On Sun

Re: [racket-dev] syntax property duplication

2011-08-18 Thread Carl Eastlund
On Wed, Aug 17, 2011 at 6:25 PM, Sam Tobin-Hochstadt sa...@ccs.neu.edu wrote: The following idiom duplicates the syntax properties on `stx':  (define-syntax (m stx) (datum-syntax #'here 'id stx stx)) This is a problem for me because I use syntax properties to indicate polymorphic type

Re: [racket-dev] using 'sort' in typed/racket?

2011-08-20 Thread Carl Eastlund
Have you tried using inst instead of ann? Telling TR what to fill in for a and b will probably be more helpful to it. Carl Eastlund On Sat, Aug 20, 2011 at 11:55 AM, John Clements cleme...@brinckerhoff.org wrote: I can't seem to make typed racket happy about using 'sort': #lang typed/racket

Re: [racket-dev] [Feature Request] for macro #:when clauses should bind their results if asked.

2011-09-06 Thread Carl Eastlund
You can also write: (for*/list ([(k v) (in-hash ht)] [res (in-value (f k v))] #:when res) res) The in-value sequence lifts values to length-one sequences for just such kinds of bindings. (The above is untested, so may need some fixing.) Carl Eastlund On Tue, Sep 6, 2011 at 2:35 PM

Re: [racket-dev] syntax property duplication

2011-09-07 Thread Carl Eastlund
On Wed, Sep 7, 2011 at 1:37 PM, John Clements cleme...@brinckerhoff.org wrote: On Sep 6, 2011, at 8:12 PM, Sam Tobin-Hochstadt wrote: On Tue, Sep 6, 2011 at 8:05 PM, John Clements cleme...@brinckerhoff.org wrote: On Aug 18, 2011, at 5:32 AM, Sam Tobin-Hochstadt wrote: Yes, I understand

Re: [racket-dev] Dotted syntax/parse patterns and scribble/eval

2011-09-23 Thread Carl Eastlund
On Wed, Sep 21, 2011 at 7:44 PM, Ryan Culpepper r...@cs.utah.edu wrote: This particular bug only affects patterns of the form  (stuff . var:expr) If you've seen pattern variables get non-syntax values in some other way, please let me know! (BTW, by pattern variable I mean a name bound

Re: [racket-dev] contract-out

2011-09-25 Thread Carl Eastlund
How about we write a define-toggle-contract-out form, so everyone can define their own without actually implementing their own. Something like so: (define-toggle-contract-out my-contract-out #:disable) ;; comment out keyword to enable (provide (my-contract-out [thing thing/c])) Carl Eastlund

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

2011-10-18 Thread Carl Eastlund
On Mon, Oct 17, 2011 at 9:02 PM, Ryan Culpepper r...@cs.utah.edu wrote: * Carl Eastlund c...@ccs.neu.edu  - Dracula Tests (confirm that Dracula runs from PLaneT) Done. --Carl _ For list-related administrative tasks: http://lists.racket

[racket-dev] Difficulties building a custom expander

2011-10-21 Thread Carl Eastlund
is available.) Of course, no one should take this as a complaint about Racket overall; its language-building tools are great. If they weren't, I wouldn't be able to have such detailed and esoteric complaints in the first place. Carl Eastlund

Re: [racket-dev] cross-module function inlining

2011-12-01 Thread Carl Eastlund
On Thu, Dec 1, 2011 at 9:49 AM, Matthew Flatt mfl...@cs.utah.edu wrote: The bytecode compiler now supports cross-module inlining of functions. As a result, for example, `empty?' and `cons?' should now perform just as well as `null?' and `pair?'. Excellent! To avoid expanding bytecode too

Re: [racket-dev] feature request: gcd, lcm for rationals

2011-12-09 Thread Carl Eastlund
What does divides even mean in Q? I think we need David to explain what his extension of GCD and LCM means here, in that divisors and multiples are fairly trivial things in Q. Carl Eastlund On Fri, Dec 9, 2011 at 3:08 PM, J. Ian Johnson i...@ccs.neu.edu wrote: What? The greatest common divisor

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

2012-01-20 Thread Carl Eastlund
On Tue, Jan 17, 2012 at 6:44 PM, Ryan Culpepper r...@cs.utah.edu wrote: * Carl Eastlund c...@ccs.neu.edu - Dracula Tests (confirm that Dracula runs from PLaneT) Done. _ Racket Developers list: http://lists.racket-lang.org/dev

Re: [racket-dev] submodules

2012-03-09 Thread Carl Eastlund
On Fri, Mar 9, 2012 at 5:58 PM, Jay McCarthy jay.mccar...@gmail.com wrote: I just pushed... - module** Like module* but combines multiple occurrences of the same submodule name into one module* - when-testing An abbreviation of module** with the name test and the #f language - raco

[racket-dev] Bad code day

2012-03-14 Thread Carl Eastlund
generator. So I added some printouts for manual debugging. And that caused a segfault. It's a good thing the segfault successfully created a crash report. If I had to start debugging C code, I imagine the next step would be my computer melting. Carl Eastlund _ Racket

Re: [racket-dev] current-*-port

2012-05-03 Thread Carl Eastlund
On Thu, May 3, 2012 at 3:58 PM, Danny Yoo d...@cs.wpi.edu wrote: IMO, anyone who is not coming from some kind of Scheme background would view this as ridiculously long. If they're renamed to the usual names, things look much better: (parameterize ([stderr (stdout)]) ...)

Re: [racket-dev] [plt-scheme] Bug or misuse? match-expander ids not properly working (patch)

2012-05-04 Thread Carl Eastlund
with _ and ..., but at least that's a known set of constant size. Carl Eastlund On Fri, May 4, 2012 at 2:16 PM, Eli Barzilay e...@barzilay.org wrote: This is an *ancient* patch suggestion that I dug up in my quest for smaller inbox... (It's really old, so won't work as is.) It makes it possible to define

Re: [racket-dev] [plt-scheme] Bug or misuse? match-expander ids not properly working (patch)

2012-05-04 Thread Carl Eastlund
is a binding position is a bit different.) Perhaps have an (id _) form that would allow putting your special identifiers there. And, Carl Eastlund wrote: If we add some kind of id expanders for match patterns, we need to add a way for pattern variables to shadow these names if the author

Re: [racket-dev] [plt-scheme] Bug or misuse? match-expander ids not properly working (patch)

2012-05-04 Thread Carl Eastlund
On Fri, May 4, 2012 at 3:11 PM, Eli Barzilay e...@barzilay.org wrote: Just now, Carl Eastlund wrote: It's not a question of how many there are, or who knows about them. Providing your own if does not prevent others from shadowing if with let or any other binding form. In a large enough

Re: [racket-dev] [plt-scheme] Bug or misuse? match-expander ids not properly working (patch)

2012-05-04 Thread Carl Eastlund
On Fri, May 4, 2012 at 4:37 PM, Eli Barzilay e...@barzilay.org wrote: 20 minutes ago, Carl Eastlund wrote: In case it wasn't clear enough, I said that I don't mind having it (and I'm willing to add it) -- I only added that I don't see any *practical* case where you'd use it. Okay, then I

Re: [racket-dev] Set Equality with Cyclic Structure is not as Expected

2012-05-08 Thread Carl Eastlund
This may be a consequence of updating mutable state inside a set datastructure. I haven't tried yet, but non-cyclic uses of mutable boxes inside sets may have similar results. Carl Eastlund On Tue, May 8, 2012 at 9:25 AM, Matthias Felleisen matth...@ccs.neu.eduwrote: Looks like a bug. Why

[racket-dev] Uninterned symbols in compiled code

2012-07-06 Thread Carl Eastlund
please clarify this issue, here and/or in the documentation? An example of the kind of problem that arises when using gensym in compiled code would be wonderful. Carl Eastlund [1] http://docs.racket-lang.org/reference/stxops.html#%28def._%28%28lib._racket/private/stxcase-scheme..rkt%29._generate

Re: [racket-dev] Uninterned symbols in compiled code

2012-07-06 Thread Carl Eastlund
On Fri, Jul 6, 2012 at 3:06 PM, Matthew Flatt mfl...@cs.utah.edu wrote: At Fri, 6 Jul 2012 12:59:34 -0600, Matthew Flatt wrote: As I try to make an example illustrating problems, I see that Racket is more resistant to problems created by `gensym' than I expected. Ah --- one more level of

Re: [racket-dev] Uninterned symbols in compiled code

2012-07-06 Thread Carl Eastlund
On Fri, Jul 6, 2012 at 3:11 PM, Carl Eastlund c...@ccs.neu.edu wrote: On Fri, Jul 6, 2012 at 3:06 PM, Matthew Flatt mfl...@cs.utah.edu wrote: At Fri, 6 Jul 2012 12:59:34 -0600, Matthew Flatt wrote: As I try to make an example illustrating problems, I see that Racket is more resistant

Re: [racket-dev] promise vs polym contracts

2012-07-06 Thread Carl Eastlund
On Fri, Jul 6, 2012 at 6:53 PM, Matthias Felleisen matth...@ccs.neu.edu wrote: I don't care about typed definitions. Sam didn't have a typed definition, just a type definition, note the significant d suffix. And yes, in an untyped world, you'd write (define (sum lt) (cond [(promise?

Re: [racket-dev] Uninterned symbols in compiled code

2012-07-07 Thread Carl Eastlund
On Sat, Jul 7, 2012 at 8:38 AM, Matthew Flatt mfl...@cs.utah.edu wrote: At Fri, 6 Jul 2012 15:19:25 -0400, Carl Eastlund wrote: While I'm thinking about this -- since gensym in macros is a common error, is it possible we could fix it so that it works? The unique marks on generate

Re: [racket-dev] Deprecating collects

2012-07-10 Thread Carl Eastlund
On Tue, Jul 10, 2012 at 6:44 PM, Neil Van Dyke n...@neilvandyke.org wrote: Robby Findler wrote at 07/10/2012 05:20 PM: On Tue, Jul 10, 2012 at 2:39 PM, Matthew Flattmfl...@cs.utah.edu wrote: - mzlib [...] - mzscheme [...] I don't think these should be removed or deprecated, ever. I have

Re: [racket-dev] Official PLaneT account?

2012-07-20 Thread Carl Eastlund
On Fri, Jul 20, 2012 at 7:23 AM, Sam Tobin-Hochstadt sa...@ccs.neu.edu wrote: On Fri, Jul 20, 2012 at 12:24 AM, Asumu Takikawa as...@ccs.neu.edu wrote: I heard rumours that there was once an official PLT PLaneT account intended for packages maintained by the dev team. Does anyone know if it

Re: [racket-dev] Official PLaneT account?

2012-07-20 Thread Carl Eastlund
On Fri, Jul 20, 2012 at 11:16 AM, Carl Eastlund c...@ccs.neu.edu wrote: On Fri, Jul 20, 2012 at 7:23 AM, Sam Tobin-Hochstadt sa...@ccs.neu.edu wrote: On Fri, Jul 20, 2012 at 12:24 AM, Asumu Takikawa as...@ccs.neu.edu wrote: I heard rumours that there was once an official PLT PLaneT account

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

2012-07-20 Thread Carl Eastlund
On Fri, Jul 20, 2012 at 4:33 PM, Vincent St-Amour stamo...@ccs.neu.edu wrote: At Fri, 20 Jul 2012 16:17:22 -0400, as...@racket-lang.org wrote: 3582b57 Asumu Takikawa as...@racket-lang.org 2012-07-20 15:10 : | Move mzlib/defmacro = racket/defmacro I'm not sure this belongs in `racket'. This

Re: [racket-dev] conditional code [was Re: Best way to handle duplicate identifiers]

2012-07-25 Thread Carl Eastlund
On Wed, Jul 25, 2012 at 10:00 PM, D Herring dherr...@tentpost.com wrote: On 07/25/2012 04:50 PM, Robby Findler wrote: On Wednesday, July 25, 2012, Doug Williams wrote: Racket now includes nan? and infinite? in the core language, which were already defined and provided by the science

[racket-dev] Short-circuiting comprehensions

2012-09-14 Thread Carl Eastlund
don't want to move this condition into the sequence any more than I want to write sequence-filter instead of #:when or #:unless. Has this been brought up before? I can't recall. Does anyone else run into the same issue? Carl Eastlund _ Racket Developers list: http

Re: [racket-dev] Short-circuiting comprehensions

2012-09-14 Thread Carl Eastlund
. . 5)) i) '(0 1 2 3 4) I imagine that `#:break-when' and `#:break-unless' are allowed among the clauses much like `#:when' and `#:unless', but also allowed at the end of the body. Is that what you had in mind? At Fri, 14 Sep 2012 10:09:52 -0400, Carl Eastlund wrote: I would like

Re: [racket-dev] Short-circuiting comprehensions

2012-09-14 Thread Carl Eastlund
and until, is hard to confuse with when and unless, and do isn't that much extra to read. And it's positive, so it doesn't reverse the meaning of the second word. Carl Eastlund On Fri, Sep 14, 2012 at 4:25 PM, Matthew Flatt mfl...@cs.utah.edu wrote: At Fri, 14 Sep 2012 15:30:22 -0400, Eli Barzilay

[racket-dev] Dracula development

2012-09-24 Thread Carl Eastlund
Short, short version: I will be working on a new Dracula implementation; see https://github.com/carl-eastlund/dracula (currently just a bare Racket fork). Short version: While the new Dracula is still spiritually ACL2 via Racket, the new one will be very different from the old

Re: [racket-dev] Dracula development

2012-09-26 Thread Carl Eastlund
On Mon, Sep 24, 2012 at 7:26 PM, Carl Eastlund c...@racket-lang.org wrote: Short, short version: I will be working on a new Dracula implementation; see https://github.com/carl-eastlund/dracula (currently just a bare Racket fork). Anyway, the repository is up on Github, linked above

[racket-dev] Falling through cond clauses

2012-10-02 Thread Carl Eastlund
message. Carl Eastlund _ Racket Developers list: http://lists.racket-lang.org/dev

  1   2   3   >