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

2013-05-23 Thread Eli Barzilay
9 hours ago, 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 files, since it will not

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

2013-05-23 Thread Eli Barzilay
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 and keep that history. Just to be clear, this is exactly what you can't

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 Eli Barzilay
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 of git filter-branch might not retain the history, it should be

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 Eli Barzilay
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 representation of the history of the project, which is exactly what git is

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 Matthias Felleisen
This has a scary feeling to it. Can you raise the level of discourse one level and perhaps figure out whether this is needed at all? I.e., find a different way to solve the problem? (What is the real problem?) On May 23, 2013, at 1:57 AM, Eric Dobson eric.n.dob...@gmail.com wrote: Some

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

2013-05-23 Thread J. Ian Johnson
There are several identifiers that get introduced via expansion that TR needs to give types to. Not all are exported. Sam probably knows the reasons why they are not. I had to use the same code when concocting an analysis of racket core forms. -Ian - Original Message - From: Matthias

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

2013-05-23 Thread Sam Tobin-Hochstadt
On Thu, May 23, 2013 at 1:54 PM, Matthias Felleisen matth...@ccs.neu.edu wrote: Can you raise the level of discourse one level and perhaps figure out whether this is needed at all? I.e., find a different way to solve the problem? (What is the real problem?) This is important, and it's the

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

2013-05-23 Thread Matthias Felleisen
1. At some point, we had a macro that opened up modules and made all module-level identifiers available. Wouldn't a flavor of this macro work here and, if so, wouldn't it be cheaper? Or is this what you call dumpster-diving, traversing the expansion and extracting ids from there? 2. Is it

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

2013-05-23 Thread Sam Tobin-Hochstadt
On Thu, May 23, 2013 at 2:29 PM, Matthias Felleisen matth...@ccs.neu.edu wrote: 1. At some point, we had a macro that opened up modules and made all module-level identifiers available. Wouldn't a flavor of this macro work here and, if so, wouldn't it be cheaper? Or is this what you call

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

2013-05-23 Thread Matthias Felleisen
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 modifying existing modules? No. We can't specify types inside `racket/base`

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 Sam Tobin-Hochstadt
On Thu, May 23, 2013 at 2:39 PM, Matthias Felleisen matth...@ccs.neu.edu wrote: 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 Matthias Felleisen
+1 On May 23, 2013, at 9:42 AM, Carl Eastlund c...@ccs.neu.edu wrote: On Thu, May 23, 2013 at 9:39 AM, Matthias Felleisen matth...@ccs.neu.edu wrote: 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

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

2013-05-23 Thread Matthias Felleisen
On May 23, 2013, at 9:42 AM, Sam Tobin-Hochstadt sa...@ccs.neu.edu wrote: Given that we're currently working on splitting the entire system to make this dependency impossible, I don't think this is a viable option currently. Perhaps that's a mistake. _ Racket

Re: [racket-dev] Parens/string quotes automatic behavior

2013-05-23 Thread Nadeem Abdul Hamid
Hello Racket devs, I'm working on tweaking how typing a double quote is handled in strings when DrRacket's auto parens mode is on, per recent post on the users list. If any of you use the mode and can offer feedback on the following, it'd be appreciated: In addition to handling Laurent's initial

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

2013-05-23 Thread Robby Findler
This sounds like the right solution to me too. Robby On Thursday, May 23, 2013, Matthias Felleisen wrote: +1 On May 23, 2013, at 9:42 AM, Carl Eastlund c...@ccs.neu.edu javascript:; wrote: On Thu, May 23, 2013 at 9:39 AM, Matthias Felleisen matth...@ccs.neu.edu javascript:; wrote:

Re: [racket-dev] [racket] Parens/string quotes automatic behavior

2013-05-23 Thread Robby Findler
On Thursday, May 23, 2013, Nadeem Abdul Hamid wrote: Hello Racket devs, I'm working on tweaking how typing a double quote is handled in strings when DrRacket's auto parens mode is on, per recent post on the users list. If any of you use the mode and can offer feedback on the following, it'd

Re: [racket-dev] [racket] Parens/string quotes automatic behavior

2013-05-23 Thread John Clements
On May 23, 2013, at 8:13 AM, Robby Findler wrote: On Thursday, May 23, 2013, Nadeem Abdul Hamid wrote: Hello Racket devs, I'm working on tweaking how typing a double quote is handled in strings when DrRacket's auto parens mode is on, per recent post on the users list. If any of you

Re: [racket-dev] [racket] Parens/string quotes automatic behavior

2013-05-23 Thread Laurent
+1 indeed, that way you can follow easily with typing a paren, thus enclosing it again. Laurent Le 23 mai 2013 17:17, John Clements cleme...@brinckerhoff.org a écrit : On May 23, 2013, at 8:13 AM, Robby Findler wrote: On Thursday, May 23, 2013, Nadeem Abdul Hamid wrote: Hello Racket

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

2013-05-23 Thread Robby Findler
Hi Eli: I'm trying to understand your point. Do I have this right? Background: The git history consists of a series checkpoints in time of the entire repository, not a collection of individual files. So, when I do git log x.rkt then what I get is essentially a filtered list (except where people

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

2013-05-23 Thread Ryan Culpepper
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 identifier which is free-identifier=? to what would appear in the

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] proposal for moving to packages: repository

2013-05-23 Thread Matthew Flatt
At Thu, 23 May 2013 07:09:17 -0400, Eli Barzilay wrote: Relevant history is vague. The history I want corresponds to `git log --follow' on each of the files that end up in a repository. The thing that you can't do with filter-branch is keep the complete history if you remove files from the

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

2013-05-23 Thread Eric Dobson
Isn't that exactly what free-indentifier=? is checking for on identfiers with a module level binding? Or is there something else it does? 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

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

2013-05-23 Thread Carl Eastlund
Essentially yes. It doesn't do anything else, but it needs an identifier to do it. Currently, TR starts with a module and a symbol, goes through an expensive process to forge an identifier from them, just to call free-identifier=? to compare based on the module and the symbol after all. Doing

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

2013-05-23 Thread Eric Dobson
Right, but why cannot we forge an identifier easily? I'm happy getting an armed identifier. What are the reasons for preventing such a construction? On Thu, May 23, 2013 at 6:04 PM, Carl Eastlund c...@ccs.neu.edu wrote: Essentially yes. It doesn't do anything else, but it needs an identifier to