[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] 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 k...@cs.meiji.ac.jpwrote: 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. (2014/01

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 ry...@ccs.neu.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] Generics updates

2013-10-02 Thread Carl Eastlund
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. On Oct 2, 2013 4

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 as...@ccs.neu.edu wrote: On 2013-09-16 16:17:33 -0400, as...@racket

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

2013-09-09 Thread Carl Eastlund
Does run-analysis have the form (lambda () actually-run-analysis)? 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 i...@ccs.neu.edu wrote: I'm running my analysis benchmarks in the context

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 i...@ccs.neu.edu wrote: I changed it to (call-with-limits (* 30 60) 2048 (lambda () run-analysis

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

2013-09-08 Thread Carl Eastlund
. Carl Eastlund On Fri, Sep 6, 2013 at 2:31 PM, Stephen Chang stch...@ccs.neu.edu wrote: Among the bodys, besides stopping the iteration and preventing later body evaluations, a #:break guard-expr or #:final guard-expr clause starts a new internal-definition context

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 stch...@ccs.neu.edu wrote: Among the bodys, besides stopping

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

2013-09-06 Thread Carl Eastlund
-for-body. Carl Eastlund On Fri, Sep 6, 2013 at 12:38 PM, Matthew Flatt mfl...@cs.utah.edu 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-syntax racket/base syntax/parse

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 stch...@ccs.neu.edu wrote: On Fri, Sep 6, 2013 at 2:36 PM, Carl Eastlund c...@ccs.neu.edu wrote: They have to be separate internal definition contexts in order for #:break and #:final to be able to stop execution before the definitions

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, Sep 6, 2013 at 12

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

2013-09-06 Thread Carl Eastlund
-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 mfl...@cs.utah.edu wrote: #lang racket/base (require (for-syntax racket/base syntax/parse

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

2013-09-06 Thread Carl Eastlund
), 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 with split-for-body? Carl Eastlund _ Racket

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 i...@ccs.neu.edu 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). -Ian

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 stch...@ccs.neu.edu wrote: Ah, thanks. That's exactly what I wanted. How stable are these features? Shall I add them

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

2013-08-22 Thread Carl Eastlund
representation, but they don't combine representations. Carl Eastlund On Thu, Aug 22, 2013 at 9:03 AM, J. Ian Johnson i...@ccs.neu.edu wrote: No, it doesn't seem to be using the fallback in this case. ianj@sampson:~/racket/racket/bin$ ./racket -il xrepl Welcome to Racket v5.90.0.8. - (set

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

2013-08-22 Thread Carl Eastlund
is. So currently, I just reject all of them. Carl Eastlund On Thu, Aug 22, 2013 at 1:52 PM, Jay McCarthy jay.mccar...@gmail.comwrote: I find this an unsatisfying consequence of the implementation and not necessary. For instance, you could implement set-union purely generically as: (define

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

2013-08-22 Thread Carl Eastlund
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 stch...@ccs.neu.edu wrote: Is there a way for a syntax-class to automatically inherit attributes

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 i...@ccs.neu.edu wrote: I just wasted about 2

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

2013-08-21 Thread Carl Eastlund
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 i...@ccs.neu.edu wrote: Okay, I can abide. However, that doesn't really get at my frustration. I'm using the set constructor, that appears to now

Re: [racket-dev] Generics scoping issues

2013-08-16 Thread Carl Eastlund
/generic if it's not working. Carl Eastlund On Fri, Aug 16, 2013 at 4:36 PM, J. Ian Johnson i...@ccs.neu.edu 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 rebind method identifiers

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 i...@ccs.neu.edu wrote: WRT the struct abstraction, using syntax-local-introduce on #'gen:binds

Re: [racket-dev] Generics scoping issues

2013-08-16 Thread Carl Eastlund
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 compose. Carl Eastlund On Fri, Aug 16, 2013

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, Aug 16

Re: [racket-dev] Generics updates

2013-08-02 Thread Carl Eastlund
On Fri, Aug 2, 2013 at 1:47 PM, Stephen Chang stch...@ccs.neu.edu wrote: With that in mind, I think it would make sense to move `set-first' and `set-empty?' to the primitive set (making it clear that they are optional, and can be derived from `set-stream' if need be). With those two in

Re: [racket-dev] Generics updates

2013-08-02 Thread Carl Eastlund
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 messages with some refactoring. Carl Eastlund On Fri, Aug 2, 2013 at 3:43 PM, Stephen Chang stch

Re: [racket-dev] Generics updates

2013-08-01 Thread Carl Eastlund
, 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 stch...@ccs.neu.edu wrote: Just played a bit with gen:set. It looks great and in particular

Re: [racket-dev] Generics updates

2013-08-01 Thread Carl Eastlund
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 describing things? Carl Eastlund On Thu, Aug 1

Re: [racket-dev] Generics updates

2013-08-01 Thread Carl Eastlund
be derivable. Carl Eastlund On Thu, Aug 1, 2013 at 7:26 PM, Stephen Chang stch...@ccs.neu.edu 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 descriptions? Is there some better way I should

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

2013-07-30 Thread Carl Eastlund
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 as...@ccs.neu.edu wrote: On 2013-07-27 07:10:54 -0600, Matthew Flatt wrote: I'm still unsure that submodules

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 i...@ccs.neu.edu wrote: I've done a complete nuke of my local racket install, and many things have just broken. The two

[racket-dev] Broken docs

2013-07-25 Thread Carl Eastlund
. It 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: http

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

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 c...@ccs.neu.edu wrote: My work on adding gen:set, and related changes to define-generics and gen:dict

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, Matthew Flatt

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 tobias.ham...@dlr.de 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 from

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

2013-07-22 Thread Carl Eastlund
for 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 stch...@ccs.neu.edu wrote: When compiling a fresh git head clone, I still get some cross-phase persistence errors (see below

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 ry...@ccs.neu.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

[racket-dev] Generics update

2013-07-10 Thread Carl Eastlund
; it 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] generate-temporaries and #%top

2013-07-10 Thread Carl Eastlund
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] Compilation dependencies

2013-07-10 Thread Carl Eastlund
, what does? Carl Eastlund _ Racket Developers list: http://lists.racket-lang.org/dev

Re: [racket-dev] Compilation dependencies

2013-07-10 Thread Carl Eastlund
/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/collects/setup/parallel-do.rkt:420:20: loop Carl Eastlund On Wed, Jul 10, 2013 at 8

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 mfl...@cs.utah.edu 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 unit tests. I think I've narrowed

[racket-dev] Package compatibility

2013-07-07 Thread Carl Eastlund
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] dependencies for `racket-test` package

2013-07-02 Thread Carl Eastlund
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 2, 2013

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 ro...@eecs.northwestern.eduwrote: I looked into this too and didn't come up with a good solution. It would be nice

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 mfl...@cs.utah.edu wrote: The package system has a notion of auto packages, which are packages that were automatically installed

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. Carl Eastlund

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

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

2013-06-18 Thread Carl Eastlund
like any other change./rant 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 mfl...@cs.utah.edu wrote: Here's the latest (in a pkg2 branch): https://github.com

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 e...@barzilay.org 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 subtree=/some/path. There's also a subtree

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:

[racket-dev] Generics

2013-06-17 Thread Carl Eastlund
. 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 mutable sets

Re: [racket-dev] Racket build dependencies

2013-06-14 Thread Carl Eastlund
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 c...@ccs.neu.edu wrote: It looks like get-module-code from syntax/modcode does what I want internally. I've submitted a pull request

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 mfl...@cs.utah.edu wrote: I think more people need to speak up on this question --- particularly authors

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

2013-06-14 Thread Carl Eastlund
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 jay.mccar...@gmail.comwrote: I'll try to respond to these four messages

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 ro...@eecs.northwestern.edu wrote: Also, Jay: can you explain more why 'raco setup' isn't something that we should think about

[racket-dev] Racket build dependencies

2013-06-09 Thread Carl Eastlund
instead of SOURCE_rkt.zo I want to create SOURCE_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

Re: [racket-dev] Racket build dependencies

2013-06-09 Thread Carl Eastlund
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 c...@ccs.neu.edu wrote

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 ro...@eecs.northwestern.eduwrote: Can't we do better than a memo table? On Thursday, June 6, 2013

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 stamo...@ccs.neu.eduwrote: At Thu, 6 Jun 2013 18:39:57 -0400, Carl Eastlund

[racket-dev] Unique identifiers

2013-05-31 Thread Carl Eastlund
fresh.rkt original.rkt identical.rkt different.rkt) (begin-for-syntax (unless (free-identifier=? original identical) (error 'fresh ~v != ~v\n original identical)) (when (free-identifier=? original different) (error 'fresh ~v == ~v\n original different))) -- Carl Eastlund

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 Dobson

Re: [racket-dev] Unique identifiers

2013-05-31 Thread Carl Eastlund
. 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 c...@ccs.neu.edu wrote: I'm having trouble creating identifiers that are unique with respect

Re: [racket-dev] Unique identifiers

2013-05-31 Thread Carl Eastlund
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 Fri, May 31, 2013 at 9:58

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 e...@barzilay.org 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 little more intelligent

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 e...@barzilay.org wrote: A few minutes ago, Carl Eastlund wrote: On Thu, May 23, 2013 at 5:49 AM, Eli Barzilay e...@barzilay.org wrote: 9 hours ago, Carl Eastlund wrote: I was going to comment on the same thing. While a naive use

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 e...@barzilay.org wrote: Just now, Carl Eastlund wrote: On Thu, May 23, 2013 at 6:57 AM, Eli Barzilay e...@barzilay.org wrote: A few minutes ago, Carl Eastlund wrote: It doesn't seem wrong to me. It's an accurate

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 matth...@ccs.neu.eduwrote: On May 23, 2013, at 9:34 AM, Sam Tobin-Hochstadt sa...@ccs.neu.edu 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

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 ry...@ccs.neu.edu 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

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 c...@ccs.neu.edu wrote: On Thu, May 23, 2013 at 4:13 PM, Ryan Culpepper ry...@ccs.neu.edu 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

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

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 as...@ccs.neu.edu wrote: On 2013-05-20 14:42:15 -0600, Matthew Flatt wrote: Eventually, when the dust settles

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 as...@ccs.neu.edu 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

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

2013-05-17 Thread Carl Eastlund
the rename comes from. Carl Eastlund On Fri, May 17, 2013 at 7:30 PM, Asumu Takikawa as...@ccs.neu.edu 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 `syntax-local-value/immediate` (define

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 ry...@ccs.neu.edu wrote * Carl Eastlund c...@ccs.neu.edu - 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
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 e...@barzilay.org wrote: Is there a real need to make this whole thing a public interface? I'd think that a general direction

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

2013-04-11 Thread Carl Eastlund
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 e...@barzilay.org wrote: OK, that's a valid use case -- but isn't it better

[racket-dev] Cross-phase persistent modules

2013-04-05 Thread Carl Eastlund
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] 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 c...@ccs.neu.edu wrote: These seem great. I'd like to build a macro that defines cross-phase persistent structures, so that I can make

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

2013-02-27 Thread Carl Eastlund
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 nor...@astro.gla.ac.uk wrote: Greetings. On 2013 Feb 27, at 01:14, Matthew

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

2013-01-24 Thread Carl Eastlund
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 list

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 jay.mccar...@gmail.comwrote: 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 my

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 ry...@ccs.neu.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] Attempted clarification for planet2 docs

2013-01-02 Thread Carl Eastlund
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 jay.mccar...@gmail.com wrote: The documentation already says A package

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 jay.mccar...@gmail.com wrote: I agree in that context

[racket-dev] raco make clean

2012-12-16 Thread Carl Eastlund
, 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
Throw cons? in with empty?, please. Carl Eastlund On Thu, Dec 13, 2012 at 2:13 PM, Asumu Takikawa as...@ccs.neu.edu 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 `empty

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 e...@barzilay.org wrote: -1, since they are different from what some people

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

2012-12-13 Thread Carl Eastlund
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 Thu, Dec 13, 2012 at 2:40 PM, Jay McCarthy jay.mccar

[racket-dev] Planet 2 default package name services

2012-12-12 Thread Carl Eastlund
-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 list

Re: [racket-dev] planet2 and versions

2012-12-12 Thread Carl Eastlund
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 at 2:29 PM, Ryan Culpepper r...@cs.utah.edu wrote: I'm trying to understand how things are supposed

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

2012-12-10 Thread Carl Eastlund
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 i...@ccs.neu.edu wrote: I just made a pull request for making and/or expand to functions that perform and/or following a discussion with stamourv and asumu

Re: [racket-dev] Identifier macros

2012-12-05 Thread Carl Eastlund
terribly plainly to begin with. --Carl Carl Eastlund On Wed, Dec 5, 2012 at 2:12 PM, Matthew Flatt mfl...@cs.utah.edu wrote: At Wed, 5 Dec 2012 09:41:37 -0500, Matthias Felleisen wrote: I think two additions/refinements would be good here: 1. The section on identifier macros in the Guide

[racket-dev] Planet 2 package names

2012-12-03 Thread Carl Eastlund
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] Planet 2 package names

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

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

2012-12-03 Thread Carl Eastlund
) Carl Eastlund On Mon, Dec 3, 2012 at 3:46 PM, Stephen Chang stch...@ccs.neu.edu wrote: When doing quick experiments, I've often wanted the ability to define a new language and then use it in the same file. I thought submodules might allow me to do this, but I've realized that I still can't

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

2012-11-29 Thread Carl Eastlund
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:17 AM, Neil Toronto neil.toro...@gmail.comwrote

  1   2   3   >