Re: [racket-dev] Identifier macros

2012-12-05 Thread Carl Eastlund
of the low-level expansion model, which is not written terribly plainly to begin with. --Carl Carl Eastlund On Wed, Dec 5, 2012 at 2:12 PM, Matthew Flatt wrote: > At Wed, 5 Dec 2012 09:41:37 -0500, Matthias Felleisen wrote: > > > > I think two additions/refinements would be good h

[racket-dev] Identifier macros

2012-12-04 Thread Carl Eastlund
s. Turns out I was wrong, set! transformers are in fact only required to transform set! references. So why are they listed under the documentation for "identifier macros" and why does that documentation imply that normal transformers can't handle bare references? Carl Eastlund _

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

2012-12-03 Thread Carl Eastlund
in (submod ".." greeting) "Santa Claus" "Easter Bunny") Carl Eastlund On Mon, Dec 3, 2012 at 3:46 PM, Stephen Chang wrote: > When doing quick experiments, I've often wanted the ability to define > a new language and then use it in the same file. I tho

Re: [racket-dev] Planet 2 package names

2012-12-03 Thread Carl Eastlund
Yay! Carl Eastlund On Mon, Dec 3, 2012 at 3:10 PM, Jay McCarthy wrote: > That's a typo in the docs. Numbers are allowed. > > Jay > > On Mon, Dec 3, 2012 at 1:03 PM, Carl Eastlund wrote: > > Currently (the latest nightly build), the names of Planet 2 packages are

[racket-dev] Planet 2 package names

2012-12-03 Thread Carl Eastlund
ht it was worth bringing up. If we leave both cases in, we at least need to make sure programs that run on Windows and Unix don't break on Mac due to package names conflicting on the filesystem. Carl Eastlund _ Racket Developers list: http://lists.racket-lang.org/dev

Re: [racket-dev] The `var` pattern in `match`

2012-11-29 Thread Carl Eastlund
sonally I think it would be nice if match supported this pattern. I would, however, entirely support renaming this pattern to something more obscure, like "match:pattern-variable" or something, so that unintentional uses stop being a problem. Carl Eastlund On Thu, Nov 29, 2012 at 12:1

Re: [racket-dev] Planet 2 Beta Release

2012-11-08 Thread Carl Eastlund
Perhaps we want a GUI Planet2 installation tool? And options for auto-install from DrRacket to be silent, confirm/cancel, or auto-fail? That would give us the range from full manual control to automatic "Something Good happens", all without command lines. Carl Eastlund On Thu, Nov 8,

Re: [racket-dev] Planet 2 Beta Release

2012-11-08 Thread Carl Eastlund
someone has a design that really gets it "right". Until then, I'd much rather have my options open and a system that stays out of my way. Carl Eastlund On Thu, Nov 8, 2012 at 5:22 PM, Tobias Hammer wrote: > Just out of curiosity: What are your / the teams objections against

Re: [racket-dev] Planet 2 Beta Release

2012-11-08 Thread Carl Eastlund
Thanks, Jay! This is great news. After my dissertation defense next week, I imagine I'll be putting Planet 2 to the test. Carl Eastlund On Thu, Nov 8, 2012 at 8:16 AM, Jay McCarthy wrote: > Now that the 5.3.1 release is finished, I've just pushed the beta release > of Planet

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

2012-10-05 Thread Carl Eastlund
On Fri, Oct 5, 2012 at 11:47 AM, Eli Barzilay wrote: > On Tuesday, Carl Eastlund wrote: > > Oops, I hadn't meant to push that to the main repository without > > consulting anyone. Hope this change is okay, it seemed weird for > > read-json to error instead of producing

Re: [racket-dev] Falling through cond clauses

2012-10-03 Thread Carl Eastlund
thing. Or even better, if there were some expression in the default clause that caused TR to raise an intelligent error message if that clause were anything but dead code. (For instance, if TR knew to say something special about raised exceptions of the hypothetical struct exn:fail:cond.) Carl Eastlu

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

2012-10-02 Thread Carl Eastlund
Oops, I hadn't meant to push that to the main repository without consulting anyone. Hope this change is okay, it seemed weird for read-json to error instead of producing eof. Carl Eastlund On Tue, Oct 2, 2012 at 1:46 PM, wrote: > cce has updated `master' from 937c901ce7

Re: [racket-dev] Falling through cond clauses

2012-10-02 Thread Carl Eastlund
e a better idea than I do about the prevailing trends in the Racket code base. Carl Eastlund On Tue, Oct 2, 2012 at 10:36 AM, Robby Findler wrote: > IIRC, we even experimented with this one briefly and quickly gave up > as we got overwhelmed. > > Robby > > On Tue, Oct 2, 2012 at 9

Re: [racket-dev] Falling through cond clauses

2012-10-02 Thread Carl Eastlund
expression or a cond-specific keyword, into a triple-overload including definition special form names. Carl Eastlund On Tue, Oct 2, 2012 at 10:11 AM, Jay McCarthy wrote: > In addition to this, I want internal definitions in conds: > > (cond > [test1 body1] > (define var ...) > [

Re: [racket-dev] Falling through cond clauses

2012-10-02 Thread Carl Eastlund
Oh, no, as far as a "does it work out of the box" experiment goes, it fails. Racket doesn't even compile. I meant more along the lines of our immutable-cons experiment, where we fix a bunch of code and see how problematic the compatibility issue becomes over time. Carl Eastlund

[racket-dev] Falling through cond clauses

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

Re: [racket-dev] Dracula development

2012-09-26 Thread Carl Eastlund
On Mon, Sep 24, 2012 at 7:26 PM, Carl Eastlund 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, lin

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

Re: [racket-dev] Short-circuiting comprehensions

2012-09-14 Thread Carl Eastlund
ly mnemonic "while" 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:2

[racket-dev] Documentation for dynamic-require and related terms is confusing.

2012-09-14 Thread Carl Eastlund
ime. Now that we've had it a while, though, I think we can do a lot to improve the clarity of these features. I hope someone who understands them better than I do can take a stab at it. Carl Eastlund _ Racket Developers list: http://lists.racket-lang.org/dev

Re: [racket-dev] Short-circuiting comprehensions

2012-09-14 Thread Carl Eastlund
) i) > '(0 1 2 3 4 0 1 2 3 4) > > (for*/list ([j 2] [i 10] #:break-unless (i . < . 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 a

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

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

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

2012-07-25 Thread Carl Eastlund
On Tue, Jul 24, 2012 at 11:03 AM, Ryan Culpepper wrote: > > * Carl Eastlund > - Dracula Tests (confirm that Dracula runs from PLaneT) Done. _ Racket Developers list: http://lists.racket-lang.org/dev

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 wrote: > At Fri, 20 Jul 2012 16:17:22 -0400, > as...@racket-lang.org wrote: >> 3582b57 Asumu Takikawa 2012-07-20 15:10 >> : >> | Move mzlib/defmacro => racket/defmacro > > I'm not sure this belongs in `racket'. This is not a Racket feature. > It's

Re: [racket-dev] Official PLaneT account?

2012-07-20 Thread Carl Eastlund
On Fri, Jul 20, 2012 at 11:16 AM, Carl Eastlund wrote: > On Fri, Jul 20, 2012 at 7:23 AM, Sam Tobin-Hochstadt > wrote: >> On Fri, Jul 20, 2012 at 12:24 AM, Asumu Takikawa wrote: >>> I heard rumours that there was once an official PLT PLaneT account >>> intended

Re: [racket-dev] Official PLaneT account?

2012-07-20 Thread Carl Eastlund
On Fri, Jul 20, 2012 at 7:23 AM, Sam Tobin-Hochstadt wrote: > On Fri, Jul 20, 2012 at 12:24 AM, Asumu Takikawa 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 >> exists and how to go about get

Re: [racket-dev] Deprecating collects

2012-07-10 Thread Carl Eastlund
On Tue, Jul 10, 2012 at 6:44 PM, Neil Van Dyke wrote: > Robby Findler wrote at 07/10/2012 05:20 PM: >> >> On Tue, Jul 10, 2012 at 2:39 PM, Matthew Flatt wrote: >> - mzlib [...] - mzscheme [...] >>> >>> I don't think these should be removed or deprecated, ever. I have lots >>> of co

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

Re: [racket-dev] promise vs polym contracts

2012-07-06 Thread Carl Eastlund
On Fri, Jul 6, 2012 at 6:53 PM, Matthias Felleisen 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? lt) lt]

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 wrote: > On Fri, Jul 6, 2012 at 3:06 PM, Matthew Flatt 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

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 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 indirection demo

[racket-dev] Uninterned symbols in compiled code

2012-07-06 Thread Carl Eastlund
obably ignoring an important subtlety. Can someone 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%2

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 wrote: > > Looks like a bug. Why don'

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

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 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" > > wi

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

2012-05-04 Thread Carl Eastlund
ition of what 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 > > ad

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

2012-05-04 Thread Carl Eastlund
least that's a known set of constant size. Carl Eastlund On Fri, May 4, 2012 at 2:16 PM, Eli Barzilay 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 de

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

2012-05-03 Thread Carl Eastlund
On Thu, May 3, 2012 at 3:58 PM, Danny Yoo 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)]) > >...) > > > Defini

[racket-dev] Bad code day

2012-03-14 Thread Carl Eastlund
debugging file 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 __

Re: [racket-dev] submodules

2012-03-10 Thread Carl Eastlund
On Sat, Mar 10, 2012 at 11:00 AM, Matthias Felleisen wrote: > > Two minor notes: > > 1. .. is a valid binding *SL > > 2. I would much prefer 'section' over 'slice'. Think of projects as books, > modules as chapters, which consist of sections, and we may even have a need > for paragraphs one day. >

Re: [racket-dev] submodules

2012-03-09 Thread Carl Eastlund
On Fri, Mar 9, 2012 at 5:58 PM, Jay McCarthy 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 test > > Find

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 wrote: > * Carl Eastlund > - Dracula Tests (confirm that Dracula runs from PLaneT) > Done. _ Racket Developers list: http://lists.racket-lang.org/dev

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 wrote: > What?

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

2011-12-01 Thread Carl Eastlund
On Thu, Dec 1, 2011 at 9:49 AM, Matthew Flatt 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 much, the compiler

[racket-dev] Difficulties building a custom expander

2011-10-21 Thread Carl Eastlund
an original binding without additional marks 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

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 wrote: > > * Carl Eastlund >  - Dracula Tests (confirm that Dracula runs from PLaneT) Done. --Carl _ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev

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

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 wrote: > > This particular bug only affects patterns of the form > >  ( . 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 directly > in the

Re: [racket-dev] syntax property duplication

2011-09-07 Thread Carl Eastlund
On Wed, Sep 7, 2011 at 1:37 PM, John Clements wrote: > > On Sep 6, 2011, at 8:12 PM, Sam Tobin-Hochstadt wrote: > >> On Tue, Sep 6, 2011 at 8:05 PM, John Clements >> wrote: >>> >>> On Aug 18, 2011, at 5:32 AM, Sam Tobin-Hochstadt wrote: >>> Yes, I understand why this happens.  As I see

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

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 wrote: > I can't seem to make typed racket happy about using 'sort':

Re: [racket-dev] syntax property duplication

2011-08-18 Thread Carl Eastlund
On Wed, Aug 17, 2011 at 6:25 PM, Sam Tobin-Hochstadt 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 instantiation.  I

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 O

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 wrote: > > On Aug 13, 2011 1:35 PM, "Carl Eastlund" wrote: >> >> On Sat, Aug 13, 2011 at 1:26 PM, Matthias Felleisen >> wrote: >> > >> > On Aug 13, 2011, at 12:58 PM, Sam Tobin-Hochstadt wro

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 wrote: > > On Aug 13, 2011, at 12:58 PM, Sam Tobin-Hochstadt wrote: > >> On Sat, Aug 13, 2011 at 12:51 PM, Eli Barzilay wrote: >>> 10 minutes ago, Sam Tobin-Hochstadt wrote: `match' also currently adds a syntax property to help the Typed >>

Re: [racket-dev] testing

2011-08-04 Thread Carl Eastlund
On Thu, Aug 4, 2011 at 12:11 PM, Matthias Felleisen 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 obvious way to r

Re: [racket-dev] A basic package system

2011-07-27 Thread Carl Eastlund
On Thu, Jul 28, 2011 at 12:35 AM, Jay McCarthy wrote: > On Wed, Jul 27, 2011 at 8:12 PM, Carl Eastlund wrote: >> On Wed, Jul 27, 2011 at 11:32 AM, Eli Barzilay wrote: >>> 10 minutes ago, Robby Findler wrote: >>>> They have more similarities than your message sugg

Re: [racket-dev] Racket on Rockets

2011-07-27 Thread Carl Eastlund
On Wed, Jul 27, 2011 at 4:17 PM, Sam Tobin-Hochstadt wrote: > On Wed, Jul 27, 2011 at 1:10 PM, Tony Garnock-Jones 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 principle, you can even traverse

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 wrote: > * Carl Eastlund >  - Dracula Tests (confirm that Dracula runs from PLaneT) Done, in case my [late] response on the prior thread was missed. --Carl _ For list-related administrative

Re: [racket-dev] A basic package system

2011-07-27 Thread Carl Eastlund
On Wed, Jul 27, 2011 at 11:32 AM, Eli Barzilay 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 possibly a differe

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 wrote: > > * Carl Eastlund >  - Dracula Tests (confirm that Dracula runs from PLaneT) Done. _ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev

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] syntax taints instead of syntax certificates

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

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 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-06-29 Thread Carl Eastlund
On Wed, Jun 29, 2011 at 10:55 PM, Matthew Flatt wrote: >> >> 8 minutes ago, Carl Eastlund wrote: >> >> > On Wed, Jun 29, 2011 at 9:19 PM, Matthew Flatt >> >> > wrote: >> >> > > Things you need to know: >> >> > >

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 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 wrote: >> > > I've pushed a change to Racket's macro system that

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 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 abuse. "Abuse"

Re: [racket-dev] Racket startup

2011-06-28 Thread Carl Eastlund
On Tue, Jun 28, 2011 at 11:27 AM, Eli Barzilay wrote: > An hour ago, Carl Eastlund wrote: >> On Tue, Jun 28, 2011 at 10:20 AM, Eli Barzilay wrote: >> > Three minutes ago, Carl Eastlund wrote: >> >> >> >> The Racketish name would be #%main, wouldn

Re: [racket-dev] Racket startup

2011-06-28 Thread Carl Eastlund
On Tue, Jun 28, 2011 at 10:20 AM, Eli Barzilay 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

Re: [racket-dev] Racket startup

2011-06-28 Thread Carl Eastlund
On Tue, Jun 28, 2011 at 10:06 AM, Neil Van Dyke 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 all-uppercase v

Re: [racket-dev] more general typed/scheme bafflement...

2011-06-07 Thread Carl Eastlund
ean T ... followed by i. It means T ... *indexed* by i. It's clarifying what the ... ranges over. Carl Eastlund On Tue, Jun 7, 2011 at 7:16 PM, John Clements wrote: > I see that map works on multiple lists in at least one circumstance, e.g. > (map + (list 3 4) (list 4 5)).  I couldn&

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, El

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:

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

2011-06-03 Thread Carl Eastlund
fix" it to be "foobar" instead, and assume that must be correct because DrRacket said so. Carl Eastlund On Fri, Jun 3, 2011 at 3:12 PM, Jon Rafkind wrote: > Somewhat offtopic but could the *SL languages use levenshtien distances to > find symbolically related variables? cl

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

2011-04-21 Thread Carl Eastlund
On Wed, Apr 20, 2011 at 11:41 PM, Ryan Culpepper wrote: > * Carl Eastlund >  - Dracula Tests (confirm that Dracula runs from PLaneT) Done. --Carl _ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev

Re: [racket-dev] Module metadata

2011-04-19 Thread Carl Eastlund
On Tue, Apr 19, 2011 at 5:32 PM, Robby Findler wrote: > On Tue, Apr 19, 2011 at 4:29 PM, Carl Eastlund 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. I forge

Re: [racket-dev] Module metadata

2011-04-19 Thread Carl Eastlund
nd. 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 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 >>

[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] built-in syntax-parse syntax class for "match" patterns?

2011-03-31 Thread Carl Eastlund
Match patterns are macro-extensible. Just about any s-expression is a potential match pattern. I don't think there's anything for a syntax class to discern, just accept whatever someone puts there, and trust expansion to sort out any errors. Carl Eastlund On Thu, Mar 31, 2011 at 3:2

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

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

2011-03-16 Thread Carl Eastlund
er garbage 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 wrote: > I'm seeing a diff

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

2011-03-01 Thread Carl Eastlund
ly 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] 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 wrote: > Thanks for clarifying. And

Re: [racket-dev] Packaging

2011-02-22 Thread Carl Eastlund
written however the maintainer wants. Carl Eastlund On Tue, Feb 22, 2011 at 4:06 PM, Robby Findler 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 hopeles

Re: [racket-dev] Packaging

2011-02-22 Thread Carl Eastlund
en hard to detect in the first place. Carl Eastlund On Tue, Feb 22, 2011 at 3:37 PM, Jay McCarthy 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 v

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 wrote: > > On Feb 17, 2011, at 2:12 PM, Carl Eastlund wrote: > >> I don't know p

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

2011-02-17 Thread Carl Eastlund
xcept-in, rename-in, etc. might seriously impact compile time. Carl Eastlund On Thu, Feb 17, 2011 at 5:04 PM, John Clements 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"

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

2011-02-15 Thread Carl Eastlund
an have it fail 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

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 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 &g

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 wrote: > It looks like the inf

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 wrote: > * Carl Eastlund >  - Dracula Tests (confirm that Dracula runs from PLaneT) Done. --Carl _ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev

Re: [racket-dev] Phase distinctions and "compile: identifier used out of context"

2011-02-01 Thread Carl Eastlund
On Tue, Feb 1, 2011 at 3:09 PM, Matthew Flatt wrote: > At Sat, 29 Jan 2011 15:07:37 -0500, Carl Eastlund wrote: >> The following program binds => at both phase 0 (module-scoped macro) >> and phase 1 (lexically-scoped value).  The use of the => macro at the >> e

[racket-dev] Phase distinctions and "compile: identifier used out of context"

2011-01-29 Thread Carl Eastlund
hyp (=> hyps ... result) #t)])) =>)) (=> (odd? 1) (odd? 3) (even? (+ 1 3))) Carl Eastlund _ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev

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

2011-01-16 Thread Carl Eastlund
ent 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 >> wrote: >>> >>> On Jan 15, 2011, at 5:05 PM, Casey Klein wrote: >>> >>>> On Sat, Jan 15, 201

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 wrote: > > On Jan 15, 2011, at 5:05 PM, Casey Klein wrote: > >> On Sat, Jan 15, 2011 at 11:26 AM, Stevie Strickland >> wrote: >>> On Jan 15, 2011, at 12:19 PM, Robby Findler wrote: I think that we are just throwing up stumbling blocks. It

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 wrote: > On Fri, Jan 14, 2011 at 9:13 PM, Carl Eastlund 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-14 Thread Carl Eastlund
On Fri, Jan 14, 2011 at 8:32 PM, Robby Findler wrote: > On Fri, Jan 14, 2011 at 5:10 PM, Casey Klein > wrote: >> On Fri, Jan 14, 2011 at 4:35 PM, Stevie Strickland >> wrote: >>> On Jan 14, 2011, at 5:24 PM, Casey Klein wrote: >>> Regardless, though, I still think we need some way to re-exp

Re: [racket-dev] Git

2011-01-06 Thread Carl Eastlund
On Thu, Jan 6, 2011 at 1:44 PM, Robby Findler wrote: > On Thu, Jan 6, 2011 at 12:34 PM, Carl Eastlund wrote: >> On Thu, Jan 6, 2011 at 1:29 PM, Robby Findler >> wrote: >>> >>>> If your goal is to figure out this git stuff, I'm happy to keep >>

Re: [racket-dev] Git

2011-01-06 Thread Carl Eastlund
On Thu, Jan 6, 2011 at 1:29 PM, Robby Findler 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 someone) more fami

<    1   2   3   >