Re: [racket-dev] Can't log in to pkg.racket-lang.org

2014-01-26 Thread Carl Eastlund
Thanks, that worked. Carl Eastlund On Mon, Jan 27, 2014 at 12:18 AM, Kazuhiro HISHINUMA wrote: > Me too. I think your browser maybe blocks SSL certificate of > https://pkg.racket-lang.org/. > Try to access https://pkg.racket-lang.org/ and approve its certificate. > > >

[racket-dev] Can't log in to pkg.racket-lang.org

2014-01-26 Thread Carl Eastlund
I've put in my email and password, but clicking "Log In" does nothing. Neither does pressing enter. Anyone else seeing this behavior, or know what the problem is? Carl Eastlund _ Racket Developers list: http://lists.racket-lang.org/dev

Re: [racket-dev] Pre-Release Checklist for v6.0, Second Call

2014-01-05 Thread Carl Eastlund
On Sun, Dec 29, 2013 at 1:57 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] Generics updates

2013-10-02 Thread Carl Eastlund
by which I justified set-add and set-add! In one interface. And if we separate them, we need one interface with just queries, then four more for add, remove, add!, and remove!, at the very least. It's a messy direction to go in. Carl Eastlund -- WARNING! Poorly-typed cell phone email precedes. O

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

2013-09-16 Thread Carl Eastlund
Perhaps some macro hackery on the defmodule form to make it into defmodule-if-exists and only document that the module is typed if it is actually installed? Carl Eastlund On Mon, Sep 16, 2013 at 4:21 PM, Asumu Takikawa wrote: > On 2013-09-16 16:17:33 -0400, as...@racket-lang.org wr

Re: [racket-dev] call-with-limits memory bound isn't actually bounding memory usage

2013-09-09 Thread Carl Eastlund
Argh, sorry, I read the docs for the wrong one, sorry for the misleading response. Carl Eastlund -- WARNING! Poorly-typed cell phone email precedes. On Sep 9, 2013 12:16 PM, "J. Ian Johnson" wrote: > I changed it to (call-with-limits (* 30 60) 2048 (lambda () > )) for a sanit

Re: [racket-dev] call-with-limits memory bound isn't actually bounding memory usage

2013-09-09 Thread Carl Eastlund
Does have the form (lambda () )? Because if not, that's the problem. Carl Eastlund -- WARNING! Poorly-typed cell phone email precedes. On Sep 9, 2013 11:55 AM, "J. Ian Johnson" wrote: > I'm running my analysis benchmarks in the context of (with-limits (* 30 > 60)

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

2013-09-08 Thread Carl Eastlund
te them. I don't think calling them #:when or #:unless makes sense outside the for clauses. > >> > Carl Eastlund > >> > > >> > > >> > On Fri, Sep 6, 2013 at 2:31 PM, Stephen Chang > >> > wrote: > >> >> > &g

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

2013-09-06 Thread Carl Eastlund
yntax-rule (for/print/fixed clauses pre .. result) (for clauses pre ... (printf "~v\n" (let () result Carl Eastlund On Fri, Sep 6, 2013 at 12:25 PM, Matthew Flatt wrote: > > #lang racket/base > (require (for-syntax racket/base >

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

2013-09-06 Thread Carl Eastlund
ase result is (begin defn expr), but that's still simpler than using split-for-body. My question is -- have I overlooked some clever subtlety here that makes split-for-body necessary, or is it usually easier to just decompose pre ... result rather than bothering

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

2013-09-06 Thread Carl Eastlund
Right, that's the issue with needing the (let () result) in my define-syntax-rule version. I still didn't need split-for-body, which doesn't guarantee there are no definitions in the post ... part. All it guarantees to eliminate are #:final and #:break. Carl Eastlund On Fri, Se

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

2013-09-06 Thread Carl Eastlund
On Fri, Sep 6, 2013 at 2:43 PM, Stephen Chang wrote: > On Fri, Sep 6, 2013 at 2:36 PM, Carl Eastlund wrote: > > They have to be separate internal definition contexts in order for > #:break > > and #:final to be able to stop execution before the definitions > themselves >

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

2013-09-06 Thread Carl Eastlund
ns over for loops need to use split-for-body. Carl Eastlund On Fri, Sep 6, 2013 at 12:38 PM, Matthew Flatt wrote: > Sorry that I forgot to add the `let` while turning the code you sent > into a full example. Here's another try. > > #lang racket/base > (require (for

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

2013-09-06 Thread Carl Eastlund
They have to be separate internal definition contexts in order for #:break and #:final to be able to stop execution before the definitions themselves get run. Carl Eastlund On Fri, Sep 6, 2013 at 2:31 PM, Stephen Chang wrote: > > "Among the bodys, besides stopping the iteration and

Re: [racket-dev] Output value of program changes depending on whether I pretty-print an opaque struct value

2013-08-28 Thread Carl Eastlund
, obviously. Carl Eastlund On Tue, Aug 27, 2013 at 6:58 PM, J. Ian Johnson wrote: > Weird you can't repro. > I only use hasheq when I know the keys are symbols, or the table is local > and only used for a graph traversal (where the graph is not changing during > traversal). > -

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

2013-08-23 Thread Carl Eastlund
You'd have to ask Ryan to be sure, but I think they're pretty stable. I've been using them for some time. Carl Eastlund On Fri, Aug 23, 2013 at 12:53 PM, Stephen Chang wrote: > Ah, thanks. That's exactly what I wanted. > > How stable are these features? Shall I

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

2013-08-22 Thread Carl Eastlund
identifier, you just get X. So now you just have X bound in both clauses, and that's automatically made an attribute of AorB, and it all works like you want. Carl Eastlund On Fri, Aug 23, 2013 at 12:22 AM, Stephen Chang wrote: > Is there a way for a syntax-class to automatically

Re: [racket-dev] Lists aren't sets, but have set-like operations

2013-08-22 Thread Carl Eastlund
eaningful results. But that restriction is documented and predates my changes, so I'm leaving it in unless someone wants to propose a better way. That means rejecting all other kinds of sets beyond hash sets and lists for union, intersection, etc. Carl Eastlund On Thu, Aug 22, 2013 at 12:27

Re: [racket-dev] Lists aren't sets, but have set-like operations

2013-08-22 Thread Carl Eastlund
e notion of equality is. So currently, I just reject all of them. Carl Eastlund On Thu, Aug 22, 2013 at 1:52 PM, Jay McCarthy wrote: > I find this an unsatisfying consequence of the implementation and not > necessary. For instance, you could implement set-union purely > generically a

Re: [racket-dev] Lists aren't sets, but have set-like operations

2013-08-22 Thread Carl Eastlund
way, right now, generic sets are designed so you can use any one representation, but they don't combine representations. Carl Eastlund On Thu, Aug 22, 2013 at 9:03 AM, J. Ian Johnson wrote: > No, it doesn't seem to be using the fallback in this case. > > ianj@sampson:~/racke

Re: [racket-dev] Lists aren't sets, but have set-like operations

2013-08-21 Thread Carl Eastlund
perhaps I should. It's a weird name, since "hash-set" and "hash-set!" are already existing, unrelated functions. Carl Eastlund On Wed, Aug 21, 2013 at 7:08 PM, J. Ian Johnson wrote: > Okay, I can abide. However, that doesn't really get at my frustration. I'm &

Re: [racket-dev] Lists aren't sets, but have set-like operations

2013-08-21 Thread Carl Eastlund
Ian, sets are now a generic datatype, like dictionaries. Association lists are dictionaries, and lists are now sets. They're also streams and sequences. They're not just "set-like". Carl Eastlund On Wed, Aug 21, 2013 at 6:56 PM, J. Ian Johnson wrote: > I just wasted

Re: [racket-dev] Generics scoping issues

2013-08-16 Thread Carl Eastlund
Mind you, I don't think this example -- using a method in a #:fast-defaults predicate -- can work. The implementation of free-box will have to check the predicate in order to perform generic dispatch, and the predicate has to call free-box, so it will diverge. Carl Eastlund On Fri, A

Re: [racket-dev] Generics scoping issues

2013-08-16 Thread Carl Eastlund
ree. After that, you get the error "free-box: undefined" because the #:fast-defaults predicate is lifted to a definition that comes before the definition of the free-box method. I'll fix that by reordering the definitions; meanwhile you can fix that by just eta-expanding your use of

Re: [racket-dev] Generics scoping issues

2013-08-16 Thread Carl Eastlund
The method names are always going to be in the context of the generic interface name. There's nowhere else they can come from. Carl Eastlund On Fri, Aug 16, 2013 at 5:39 PM, J. Ian Johnson wrote: > WRT the struct abstraction, using syntax-local-introduce on > #'gen:binds-var

Re: [racket-dev] Generics scoping issues

2013-08-16 Thread Carl Eastlund
Okay, let me dig into this. The expansion of define/generic is an odd thing in the way it treats the method names; I'm not at all sure I've gotten it right, or that it's clear what "right" should even be. I'll get back to you shortly. Carl Eastlund On Fri, A

Re: [racket-dev] Generics scoping issues

2013-08-16 Thread Carl Eastlund
efine/generic if it's not working. Carl Eastlund On Fri, Aug 16, 2013 at 4:36 PM, J. Ian Johnson wrote: > I'm starting to use generics, and me being myself, I wrote some macros to > make writing method definitions easier. > But, I'm seeing that #:methods seems to rebin

Re: [racket-dev] Generics updates

2013-08-02 Thread Carl Eastlund
pported method, allows the documentation to imply all the direct dependencies of set->stream on things that need to be implemented methods, without having to restate them all. For the implementation, what we have would fit the docs, and it might also be possible to slightly improve the error m

Re: [racket-dev] Generics updates

2013-08-02 Thread Carl Eastlund
On Fri, Aug 2, 2013 at 1:47 PM, Stephen Chang wrote: > > 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

Re: [racket-dev] Generics updates

2013-08-01 Thread Carl Eastlund
-rest, it should be derivable. Carl Eastlund On Thu, Aug 1, 2013 at 7:26 PM, Stephen Chang wrote: > > Would it be better to just remove the "primitve" / "derived" distinction, > > since it's somewhat artificial, and leave it up to the individual method &g

Re: [racket-dev] Generics updates

2013-08-01 Thread Carl Eastlund
down to primitive methods (in some sense) if all else failed. Would it be better to just remove the "primitve" / "derived" distinction, since it's somewhat artificial, and leave it up to the individual method descriptions? Is there some better way I should be describin

Re: [racket-dev] Generics updates

2013-08-01 Thread Carl Eastlund
others you needed to implement, or if I just forgot to think that whole thing through. Do you have examples of which ones don't come "for free" with the primitive methods? Carl Eastlund On Thu, Aug 1, 2013 at 6:27 PM, Stephen Chang wrote: > Just played a bit with gen:set.

Re: [racket-dev] git submodule for native-library packages

2013-07-30 Thread Carl Eastlund
d you only need to do it once. Hopefully I misunderstood git-subtree, but if I didn't, I found its interface disappointing. Carl Eastlund On Tue, Jul 30, 2013 at 5:41 PM, Asumu Takikawa wrote: > On 2013-07-27 07:10:54 -0600, Matthew Flatt wrote: > > I'm still unsure that su

Re: [racket-dev] Using new package system: rackunit still pointing to collects?

2013-07-29 Thread Carl Eastlund
Yes, instead you want to run 'make' at the top of the repository. Carl Eastlund -- WARNING! Poorly-typed cell phone email precedes. On Jul 29, 2013 12:23 PM, "J. Ian Johnson" wrote: > I've done a complete nuke of my local racket install, and many things have >

Re: [racket-dev] package scopes

2013-07-25 Thread Carl Eastlund
I currently use PLTADDONDIR to make each repo's packages install to a different place, within the repo tree, so that they're both separate, and get cleaned up if and when I remove the repo. Will that still work with these changes? Carl Eastlund On Thu, Jul 25, 2013 at 1:59 PM, Mat

Re: [racket-dev] Generics updates

2013-07-25 Thread Carl Eastlund
After some fixes, mostly to contracts and documentation, I've pushed the new generics and set features to the master branch. Carl Eastlund On Tue, Jul 23, 2013 at 11:37 AM, Carl Eastlund wrote: > My work on adding gen:set, and related changes to define-generics and > gen:dict, i

Re: [racket-dev] Broken docs

2013-07-25 Thread Carl Eastlund
That fixed it, thanks Matthew! Carl Eastlund On Thu, Jul 25, 2013 at 11:54 AM, Matthew Flatt wrote: > When you visit the main user-specific documentation page, then a cookie > is installed to remember that page as your user-specific page (which > would include user-scoped packa

[racket-dev] Broken docs

2013-07-24 Thread Carl Eastlund
still wants to use the search page from the other, now nonexistent, tree. Anyone know what might be going wrong? I'm going insane here trying to figure out what lingering reference there might be to the now-removed tree. Carl Eastlund _ Racket Developers list:

Re: [racket-dev] Generics updates

2013-07-24 Thread Carl Eastlund
Thanks for those pointers, Tobias, I'll get those fixed. Carl Eastlund On Wed, Jul 24, 2013 at 1:34 PM, Tobias Hammer wrote: > I really like the new set features, especially mutable sets and lists as > sets. > > Two things i have notices: > * The docs for set-intersect seem

[racket-dev] Generics updates

2013-07-23 Thread Carl Eastlund
My work on adding gen:set, and related changes to define-generics and gen:dict, is ready for review and (hopefully) to push to the master branch. The branch moved in the process of cleaning things up, it's now at: https://github.com/carl-eastlund/racket/tree/generics-from-scratch (The

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

2013-07-22 Thread Carl Eastlund
On Mon, Jul 22, 2013 at 3:13 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] `#%declare' and cross-phase persistent modules

2013-07-22 Thread Carl Eastlund
every use of #%declare in the code base, and tracking down every macro that can possibly expand into it. Carl Eastlund On Mon, Jul 22, 2013 at 5:14 PM, Stephen Chang wrote: > When compiling a fresh git head clone, I still get some cross-phase > persistence errors (see below). Is this my fau

Re: [racket-dev] expand, local-expand, and syntax-procedure-converted-arguments-property

2013-07-10 Thread Carl Eastlund
Carl Eastlund On Wed, Jul 10, 2013 at 11:28 PM, Matthew Flatt wrote: > At Wed, 10 Jul 2013 23:15:46 -0400, Ryan Culpepper wrote: > > On 07/10/2013 09:04 PM, Asumu Takikawa wrote: > > > Hi all, > > > > > > I'm currently trying to fix the Typed Racket uni

Re: [racket-dev] Compilation dependencies

2013-07-10 Thread Carl Eastlund
nerics/racket/lib/collects/compiler/cm.rkt:510:0: maybe-compile-zo raco setup: /Users/cce/git/racket/generics/racket/lib/collects/compiler/cm.rkt:622:2: do-check raco setup: /Users/cce/git/racket/generics/racket/lib/collects/compiler/cm.rkt:703:4 raco setup: /Users/cce/git/racket/generics/racket/lib

[racket-dev] Compilation dependencies

2013-07-10 Thread Carl Eastlund
o setup" don't re-compile dependencies, what does? Carl Eastlund _ Racket Developers list: http://lists.racket-lang.org/dev

[racket-dev] generate-temporaries and #%top

2013-07-10 Thread Carl Eastlund
at the top level? Or is there a smarter way to use them that I'm missing? Carl Eastlund _ Racket Developers list: http://lists.racket-lang.org/dev

[racket-dev] Generics update

2013-07-10 Thread Carl Eastlund
allows define/generic and unsupported (absent) methods - there is now a #:fallbacks option for define-generics Carl Eastlund _ Racket Developers list: http://lists.racket-lang.org/dev

[racket-dev] Package compatibility

2013-07-07 Thread Carl Eastlund
t;books", and I wrote a dissertation to try to solve it. I hope we're not repeating their mistake, but it seems like we have yet another flat namespace with no resolution mechanism. Carl Eastlund _ Racket Developers list: http://lists.racket-lang.org/dev

Re: [racket-dev] A broken contract test & feature

2013-07-02 Thread Carl Eastlund
Could you simply forge the source location on the syntax object to make it look like it's from a collection? Carl Eastlund On Tue, Jul 2, 2013 at 7:10 PM, Robby Findler wrote: > I looked into this too and didn't come up with a good solution. > > It would be nice if there were

Re: [racket-dev] dependencies for `racket-test` package

2013-07-02 Thread Carl Eastlund
m the default distribution, and (b) re-enable compilation for them. That way the dependencies will be computed properly. It also suggests that if they aren't already included, perhaps we should add planet packages to the list of things we consider among dependencies? Carl Eastlund On Tue, Jul

Re: [racket-dev] Package management

2013-06-27 Thread Carl Eastlund
That all sounds like exactly what I had in mind, with different (pretty much better) terminology. Carl Eastlund On Thu, Jun 27, 2013 at 3:17 PM, Matthew Flatt wrote: > The package system has a notion of "auto" packages, which are packages > that were automatically inst

[racket-dev] Package management

2013-06-27 Thread Carl Eastlund
be to implement this, but I think it would make the package system much more usable to present 90% of the interactions solely in terms of the top-level packages the user cares about, and do all the cleanup of dependency packages silently in the background when possible. Carl Eastlund _ Racket Developers list: http://lists.racket-lang.org/dev

Re: [racket-dev] Things we could move out of the core

2013-06-26 Thread Carl Eastlund
What does being "so fundamental" have to do with being in the core vs being in a package? We should not confuse putting things in packages with making them second-class concepts. We can put racket/sandbox in a package without necessarily making it any less fundamental to Racket. Car

[racket-dev] Difficulty running racket tests

2013-06-22 Thread Carl Eastlund
module path: # path: /Users/cce/git/racket/plt/build/native-pkgs/gui-x86_64-macosx/racket/string.rkt system error: No such file or directory; errno=2 Anyone know what's up? Carl Eastlund _ Racket Developers list: http://lists.racket-lang.org/dev

Re: [racket-dev] ready for the package switch?

2013-06-18 Thread Carl Eastlund
I ran 'make', after rebasing, and eventually got this error: pkg: missing dependencies for package: pkgs/gui-pkgs/gui-lib missing packages: gui-x86_64-macosx Anyone know what might have gone wrong? --Carl _ Racket Developers list: http://lists.racket-lang.org/dev

Re: [racket-dev] ready for the package switch?

2013-06-18 Thread Carl Eastlund
On Tue, Jun 18, 2013 at 2:02 PM, Eli Barzilay wrote: > 20 minutes ago, Carl Eastlund wrote: > > [...] > > > > git rebase -s recursive -X rename-threshold=50% mflatt/pkg2 > > From a brief reading, I think that you're much better off with > "-X subt

Re: [racket-dev] hash->list stability?

2013-06-18 Thread Carl Eastlund
On Tue, Jun 18, 2013 at 3:21 PM, Dan Liebgold wrote: > According to the docs, hash->list returns a list in an unspecified order. > Can anyone tell me a little about how hash->list might return two > different orders give the same hash table? Possibly across different > invocations of Racket? > >

Re: [racket-dev] ready for the package switch?

2013-06-18 Thread Carl Eastlund
t cycle and should be recorded like any other change. Anyway, if any of you out there are having trouble rebasing onto Matthew's packages branch, try the commands above. Carl Eastlund On Tue, Jun 18, 2013 at 12:47 PM, Matthew Flatt wrote: > Here's the latest (in a "pkg2"

[racket-dev] Generics

2013-06-17 Thread Carl Eastlund
work. This is still a work in progress, it will be a while before it's ready for final review and push. https://github.com/carl-eastlund/racket/tree/generic-sets For sets, the main purpose has been to add gen:set and allow the set datatype to be extended. Along with that, I've added m

Re: [racket-dev] experience using the `pkg` branch

2013-06-14 Thread Carl Eastlund
e system! It wouldn't be worth all this nitpicking if it weren't a great system; we've come a long way from distributing source code via ".plt" files, to having something worth using to bundle up our core software. Carl Eastlund On Fri, Jun 14, 2013 at 10:13 AM, Jay McCarthy wrot

Re: [racket-dev] PLaneT(2): Single vs multi-collection packages

2013-06-14 Thread Carl Eastlund
I vote for this change. I'll happily update my package in order to make it easier for others to contribute new ones. Carl Eastlund On Fri, Jun 14, 2013 at 10:07 AM, Matthew Flatt wrote: > I think more people need to speak up on this question --- particularly > authors of existi

Re: [racket-dev] Racket build dependencies

2013-06-14 Thread Carl Eastlund
path names based on PLTCOMPILEDROOTS and similar settings. Thanks to Matthew for reviewing the diff. Carl Eastlund On Mon, Jun 10, 2013 at 12:38 AM, Carl Eastlund wrote: > It looks like get-module-code from syntax/modcode does what I want > internally. I've submitted a pull requ

Re: [racket-dev] experience using the `pkg` branch

2013-06-13 Thread Carl Eastlund
It does run 'raco setup', it just doesn't have much to do in response to a failure, at least right now. Carl Eastlund On Thu, Jun 13, 2013 at 11:14 PM, Robby Findler wrote: > Also, Jay: can you explain more why 'raco setup' isn't something that we > should

Re: [racket-dev] Racket build dependencies

2013-06-09 Thread Carl Eastlund
anges -- turning let into define and so forth. That makes this a fairly big change, line-by-line; sorry about that, I know it makes reading the diff tougher, but it made it easier to figure out what I was working with in the file. Carl Eastlund On Sun, Jun 9, 2013 at 10:29 AM, Carl Eastlund wro

[racket-dev] Racket build dependencies

2013-06-09 Thread Carl Eastlund
le name the same way as compilation does, except instead of _rkt.zo I want to create _rkt.lisp or some such. Is _this_ functionality available somewhere? I think that's all I would need to get started. Any help would be appreciated, thanks. Carl Eastlund _ Racket Developers list: http://lists.racket-lang.org/dev

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

2013-06-06 Thread Carl Eastlund
Good point. Might be an argument for a procedure-closure-contents-hash-code function. Of course, never mind that if you can forego memoization entirely. Carl Eastlund On Thu, Jun 6, 2013 at 7:46 PM, Vincent St-Amour wrote: > At Thu, 6 Jun 2013 18:39:57 -0400, > Carl Eastlund wrote: &g

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

2013-06-06 Thread Carl Eastlund
Also if you're going to memoize things, why are you using assoc rather than a hash table? Or if at all possible, a weak hash table? Carl Eastlund On Thu, Jun 6, 2013 at 6:35 PM, Robby Findler wrote: > Can't we do better than a memo table? > > > On Thursday, June 6, 2013

Re: [racket-dev] Unique identifiers

2013-05-31 Thread Carl Eastlund
ted name in the same module and have them be immediately unique via free-identifier=?, as the binding would not have taken effect yet, so to speak. This is one of those cases where my life would be so much easier if I could relax any one of the constraints I'm working under. Carl Eastlund On

Re: [racket-dev] Unique identifiers

2013-05-31 Thread Carl Eastlund
n identifiers for this purpose. So unless someone has a breakthrough and can solve this problem purely using identifiers, I'll look to other kinds of solutions for now. Carl Eastlund On Fri, May 31, 2013 at 9:20 AM, Carl Eastlund wrote: > I'm having trouble creating identif

Re: [racket-dev] Unique identifiers

2013-05-31 Thread Carl Eastlund
I want a non-probabilistic guarantee of uniqueness, partly because I'd rather not rely on something nondeterministic, and partly because in an ideal solution, I'd like to have control over the printed names of these identifiers. Carl Eastlund On Fri, May 31, 2013 at 9:27 AM, Eric Do

[racket-dev] Unique identifiers

2013-05-31 Thread Carl Eastlund
7;fresh "~v != ~v\n" original identical)) (when (free-identifier=? original different) (error 'fresh "~v == ~v\n" original different))) -- Carl Eastlund _ Racket Developers list: http://lists.racket-lang.org/dev

Re: [racket-dev] Constructing an identifier to an unexported binding

2013-05-23 Thread Carl Eastlund
> On Thu, May 23, 2013 at 3:13 PM, Carl Eastlund wrote: > > On Thu, May 23, 2013 at 4:13 PM, Ryan Culpepper > wrote: > >> > >> On 05/23/2013 01:57 AM, Eric Dobson wrote: > >>> > >>> Some modules have macros which expand into identifiers that

Re: [racket-dev] Constructing an identifier to an unexported binding

2013-05-23 Thread Carl Eastlund
On Thu, May 23, 2013 at 4:13 PM, Ryan Culpepper wrote: > On 05/23/2013 01:57 AM, Eric Dobson wrote: > >> Some modules have macros which expand into identifiers that are not >> exported, as they want to protect those bindings. TR currently has the >> following code which allows it to generate an i

Re: [racket-dev] Constructing an identifier to an unexported binding

2013-05-23 Thread Carl Eastlund
On Thu, May 23, 2013 at 9:39 AM, Matthias Felleisen wrote: > > On May 23, 2013, at 9:34 AM, Sam Tobin-Hochstadt > wrote: > > >> 2. Is it possible that we could solve the problem via a > bootstrapping-only violation of our policy that you can add types to Racket > w/o modifying existing modules? >

Re: [racket-dev] proposal for moving to packages: repository

2013-05-23 Thread Carl Eastlund
On Thu, May 23, 2013 at 7:09 AM, Eli Barzilay wrote: > Just now, Carl Eastlund wrote: > > On Thu, May 23, 2013 at 6:57 AM, Eli Barzilay wrote: > > > > A few minutes ago, Carl Eastlund wrote: > > > > > > It doesn't seem wrong to me. It&#

Re: [racket-dev] proposal for moving to packages: repository

2013-05-23 Thread Carl Eastlund
On Thu, May 23, 2013 at 6:57 AM, Eli Barzilay wrote: > A few minutes ago, Carl Eastlund wrote: > > On Thu, May 23, 2013 at 5:49 AM, Eli Barzilay wrote: > > > > 9 hours ago, Carl Eastlund wrote: > > > I was going to comment on the same thing. While a naiv

Re: [racket-dev] proposal for moving to packages: repository

2013-05-23 Thread Carl Eastlund
On Thu, May 23, 2013 at 5:49 AM, Eli Barzilay wrote: > 9 hours ago, Carl Eastlund wrote: > > I was going to comment on the same thing. While a naive use of "git > > filter-branch" might not retain the history, it should be entirely > > possible to do something a l

Re: [racket-dev] proposal for moving to packages: repository

2013-05-22 Thread Carl Eastlund
On Wed, May 22, 2013 at 8:21 PM, Matthew Flatt wrote: > At Wed, 22 May 2013 14:50:41 -0400, Eli Barzilay wrote: > > That's true, but the downside of changing the structure and having > > files and directories move post structure change will completely > > destroy the relevant edit history of the

Re: [racket-dev] proposal for moving to packages

2013-05-21 Thread Carl Eastlund
On Mon, May 20, 2013 at 11:20 PM, Juan Francisco Cantero Hurtado < i...@juanfra.info> wrote: > On 05/20/13 23:24, Carl Eastlund wrote: > >> On Mon, May 20, 2013 at 4:58 PM, Asumu Takikawa >> wrote: >> >> On 2013-05-20 14:42:15 -0600, Matthew Flatt wrote

Re: [racket-dev] proposal for moving to packages

2013-05-20 Thread Carl Eastlund
On Mon, May 20, 2013 at 4:58 PM, Asumu Takikawa wrote: > On 2013-05-20 14:42:15 -0600, Matthew Flatt wrote: > > Eventually, when the dust settles, I think we'll want to convert every > > directory to its own git repo, and then we can incorporate the > > individual repos as git submodules. > > One

Re: [racket-dev] set!-transformers and syntax-local-value/immediate

2013-05-17 Thread Carl Eastlund
where the rename comes from. Carl Eastlund On Fri, May 17, 2013 at 7:30 PM, Asumu Takikawa wrote: > Hi all, > > I'm confused about an aspect of set! and rename transformers. I'll > explain with this example: > > #lang racket > > ;; a macro that uses `synt

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

2013-04-24 Thread Carl Eastlund
On Mon, Apr 22, 2013 at 11:29 PM, Ryan Culpepper wrote > * Carl Eastlund > - Dracula Tests (confirm that Dracula runs from PLaneT) > Done. --Carl _ Racket Developers list: http://lists.racket-lang.org/dev

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

2013-04-11 Thread Carl Eastlund
bining the two arity-includes? functions, I wasn't sure whether the extra overloading would make things clearer or more confused. I can see doing it either way. Carl Eastlund On Thu, Apr 11, 2013 at 11:33 AM, Eli Barzilay wrote: > OK, that's a valid use case -- but isn't

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

2013-04-11 Thread Carl Eastlund
x27;t see any reason to close this stuff off, when it's the one useful, non-opaque aspect of procedure values. Carl Eastlund On Thu, Apr 11, 2013 at 11:13 AM, Eli Barzilay wrote: > Is there a real need to make this whole thing a public interface? I'd > think that a general dire

Re: [racket-dev] Cross-phase persistent modules

2013-04-05 Thread Carl Eastlund
, and that doesn't make a lot of sense. Presumably these should be restricted to cross-expr as well. Carl Eastlund On Fri, Apr 5, 2013 at 7:31 AM, Carl Eastlund wrote: > These seem great. I'd like to build a macro that defines cross-phase > persistent structures, so that I can mak

[racket-dev] Cross-phase persistent modules

2013-04-05 Thread Carl Eastlund
se persistent modules, but their existence makes this feature more desirable than it has been previously. Thanks to anyone [especially if your name is Matthew Flatt] who can give this all a look! Carl Eastlund _ Racket Developers list: http://lists.racket-lang.org/dev

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

2013-02-27 Thread Carl Eastlund
roving the situation. Second, for a name, how about some variation of "phase-global" or "cross-phase"? An amusing but probably not too informative name: "one-phase-fits-all". ;) Carl Eastlund On Wed, Feb 27, 2013 at 4:58 AM, Norman Gray wrote: > > Greetings. >

Re: [racket-dev] http vs https urls for pnr.racket-lang.org

2013-01-24 Thread Carl Eastlund
I maintain that I went to the right website, you just didn't know it yet. ;-) Carl Eastlund On Thu, Jan 24, 2013 at 12:44 PM, Jay McCarthy wrote: > Yes, someone else reported that when they go to a different website > than the PNR they don't get to the PNR. I have it on

[racket-dev] http vs https urls for pnr.racket-lang.org

2013-01-24 Thread Carl Eastlund
kages. We should make the http:// version automatically redirect to the https:// version. The current behavior is very confusing. Sorry for any redundancy if this is already on a todo list for the release somewhere. Carl Eastlund P.S. Sorry for any redundancy if this is already on a todo li

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

2013-01-19 Thread Carl Eastlund
On Thu, Jan 17, 2013 at 1:46 PM, Ryan Culpepper wrote: > * Carl Eastlund > - Dracula Tests (confirm that Dracula runs from PLaneT) > Done. _ Racket Developers list: http://lists.racket-lang.org/dev

[racket-dev] Racket sources getting mysteriously out of sync

2013-01-17 Thread Carl Eastlund
. For reference, I always have the following environment variables set: PLTHOME = root of whichever PLT tree I am using PLTADDONDIR = $PLTHOME/add-on PLTPLANETDIR=$PLTHOME/add-on/planet PLTCOMPILEDROOTS=$PLTHOME/zos/v@(version): Carl Eastlund _ Racket Developers list: http://lists.racket-lang.org/dev

Re: [racket-dev] Attempted clarification for planet2 docs

2013-01-02 Thread Carl Eastlund
It doesn't need to be phrased as a comparison to Planet1, but it can be given as a reassurance that this "package system" thingy does not add any baggage to require lines. Carl Eastlund On Wed, Jan 2, 2013 at 3:49 PM, Jay McCarthy wrote: > I agree in that context that it i

Re: [racket-dev] Attempted clarification for planet2 docs

2013-01-02 Thread Carl Eastlund
et. Clarifying that Planet2 simplifies the require lines, and makes user packages on a peer level with built-in collections, is a useful thing to put early on in the Planet2 docs. Carl Eastlund On Wed, Jan 2, 2013 at 3:27 PM, Jay McCarthy wrote: > The documentation already says "A pac

[racket-dev] raco make clean

2012-12-16 Thread Carl Eastlund
o files for its arguments, if it doesn't already exist. Carl Eastlund _ Racket Developers list: http://lists.racket-lang.org/dev

Re: [racket-dev] first and rest in racket/base

2012-12-13 Thread Carl Eastlund
. They're very simple names for very, very common operations. I use them all the time, and it makes me write different code in racket/base than in racket when I can't get them. I would like to either always have them, or be convinced of why I should never have them. Carl Eastlund On

Re: [racket-dev] first and rest in racket/base

2012-12-13 Thread Carl Eastlund
If they do the wrong thing, we should fix them, not deprecate them. We're not LISP, let's not promote car/cdr as the primary names for list operations. Carl Eastlund On Thu, Dec 13, 2012 at 2:19 PM, Eli Barzilay wrote: > -1, since they are different from what some people woul

Re: [racket-dev] first and rest in racket/base

2012-12-13 Thread Carl Eastlund
Throw cons? in with empty?, please. Carl Eastlund On Thu, Dec 13, 2012 at 2:13 PM, Asumu Takikawa wrote: > On 2012-12-13 12:44:38 -0500, Vincent St-Amour wrote: > > Does this sound reasonable? > > +1. While we're at it, might as well also put at least `empty` and >

Re: [racket-dev] planet2 and versions

2012-12-12 Thread Carl Eastlund
e do eventually want a default system that package developers can use without too much mucking about with "experimental" versioning systems. But I think an initial period of "crowd-sourcing" the design of that system will do us some good. Carl Eastlund On Wed, Dec 12, 2012 a

[racket-dev] Planet 2 default package name services

2012-12-12 Thread Carl Eastlund
acket-lang.org for plt-etc.byu.edu:9003 and legacy.planet2.racket-lang.org for ...:9004, or something like that? That would be more intuitive for anyone looking at the URLs, and flexible in case we decide to move the hosting at a later date. Carl Eastlund _ Racket Developers

Re: [racket-dev] And/or as procedures when not in application position

2012-12-10 Thread Carl Eastlund
ction/disjunction are useful. We could call these things andf / orf, and/proc / or/proc, conj / disj, or any number of other paired names that aren't already taken for conditional special forms. Carl Eastlund On Mon, Dec 10, 2012 at 6:16 PM, J. Ian Johnson wrote: > I just made a pull r

  1   2   3   >