On Tue, Dec 7, 2010 at 7:52 PM, Eli Barzilay wrote:
> 6 minutes ago, Robby Findler wrote:
>> It is a kind out of the way place but it would be a shame if someone
>> went there, esp. since the latest stuff is in the middle of the
>> list.
>
> OK, so I'll take it
For the #lang-based teaching languages, I hope to eventually move to
the sandbox for DrRacket. For the language-dialog based ones, I don't
plan to change them, just leaving them as legacy until people stop
using them.
So I'd suggest giving the sandbox a try and seeing if you can get the
stepper wo
Positive suggestions for improvement are welcome. Bad analogies that
don't help are like someone coming over to your house and hitting you
with hammer before you even get a chance to have some coffee.
Robby
On Fri, Dec 10, 2010 at 5:01 AM, Eli Barzilay wrote:
> 5 minutes ago, Casey Klein wrote:
Klein
wrote:
> On Thu, Dec 9, 2010 at 3:50 PM, wrote:
>>
>> 18dacad Robby Findler 2010-12-09 10:20
>> :
>> | a first attempt at a rewording of the blame error messages to admit the
>> possibility that the contract was wrong and also to claim that fixing the
>&g
m the top of a module and a define/contract nested inside a
define/contract.
Robby
On Fri, Dec 10, 2010 at 7:00 AM, Eli Barzilay wrote:
> 15 minutes ago, Robby Findler wrote:
>> Positive suggestions for improvement are welcome. Bad analogies that
>> don't help are like someone
On Fri, Dec 10, 2010 at 9:26 AM, Stevie Strickland wrote:
> On Dec 10, 2010, at 8:12 AM, Robby Findler wrote:
>> If someone besides me wants to take a stab at formulating a less painful
>> message, the code is in collects/racket/contract/private/blame.rkt and,
>> thanks to
d place" will help us make the contract system better, but perhaps
Casey's feedback is already enough to make us drop it, I'm not sure.
Robby
On Fri, Dec 10, 2010 at 10:22 AM, Eli Barzilay wrote:
> Three hours ago, Robby Findler wrote:
>> Okay. So I'll just start by spell
On Fri, Dec 10, 2010 at 10:38 AM, Robby Findler
wrote:
> Both this and Sam's idea seem like good ways to improve the error
> message to me. Not sure if Casey or Sam (or Christos?) wants to try to
> their hand at the actual formatting or not. I will, if not.
>
> I don't
Some spam system figured out my low-tech anti-spam device for planet
so I changed the regexp to insist that the version numbers begin with
a 'v' (and I give less of a clue in the error message now).
If this stops working soon, I"ll probably just disable planet bug
report submissions until I can fi
This seems like an unfortunate naming discrepancy.
Robby
On Sat, Dec 11, 2010 at 7:52 PM, Vincent St-Amour wrote:
> At Sat, 11 Dec 2010 18:35:17 -0700,
> Petey Aldous wrote:
>> I've discovered what may be a bug in the type system of Typed Racket. The
>> functions that round - (round), (truncate)
On Sat, Dec 11, 2010 at 9:49 PM, Sam Tobin-Hochstadt wrote:
> On Sat, Dec 11, 2010 at 9:47 PM, Robby Findler
> wrote:
>> This seems like an unfortunate naming discrepancy.
>
> I agree. I think the solution is to change Racket, however. From the
> perspective of the
On Sun, Dec 12, 2010 at 8:15 AM, Sam Tobin-Hochstadt wrote:
> On Sat, Dec 11, 2010 at 10:53 PM, Robby Findler
> wrote:
>>
>>> Changing Racket is tricky, but I think using the `Integer' type for
>>> something useless (it's not even currently represent
On Sun, Dec 12, 2010 at 9:15 AM, Doug Williams
wrote:
> Since Racket is not Scheme anymore, I think revisiting some of the
> annoyances of Scheme should be fair game.
Just to clarify what I wrote before, I certainly agree with this
point. My worry is that this particular change (in the meaning of
On Sunday, December 12, 2010, Matthias Felleisen wrote:
>
> All of this discussion suggests that we start developing RacketII, a language
> that is a true break from Scheme. Our backward compatibility constraints are
> just overwhelming our knowledge of what we know is 'bad' with Racket in
> re
On Sat, Dec 11, 2010 at 9:53 PM, Robby Findler
wrote:
> [ ... talking about changing integer? to only recognize exacts ... ]
> This seems like it would cause far too much breakage to far too much
> code. I certainly wouldn't want to attempt it. Changing TR (as I
> suggest below)
ive a new value to an inherited field?
>
> --Mark
>
> On Wed, Dec 15, 2010 at 9:13 PM, Robby Findler
> wrote:
>>
>> See define-local-member-name.
>>
>> Robby
>>
>> On Wed, Dec 15, 2010 at 10:38 PM, Mark Engelberg
>> wrote:
>> &g
On Thu, Dec 16, 2010 at 12:22 AM, Mark Engelberg
wrote:
> OK, it works when the set! occurs after the super-new. I didn't think set!
> would work at all in a class definition (as opposed to within a method); I
> was thinking of the whole system of defining classes as more of a
> declarative DSL t
(super-new)))
> (define o (new c%))
> (field-names o)
> (get-field x o)
> (get-field y o)
> --
> I agree that 'define' is like making a field, but fields are something
> special too.
> Jay
> On Thu, Dec 16, 2010 at 6:51 AM, Robby Findler
> wrote:
>>
>
> (define c%
>> > (class* object% ()
>> > (field [x 1])
>> > (define y 2)
>> > (super-new)))
>> > (define o (new c%))
>> > (field-names o)
>> > (get-field x o)
>> > (get-field y o)
>> > --
>> > I
That shouldn't happen, since that is a file created by DrRacket for
its own compilation thingy and when those are created either they are
ignored or they are brought up to date. I don't suppose you can make
this happen on command?
Robby
On Thu, Dec 16, 2010 at 1:51 PM, Carl Eastlund wrote:
> Er,
.zo file, but *not*
> the original .rkt file, so there was nothing for DrRacket to
> recompile. Sorry for the false alarm!
>
> Carl Eastlund
>
> On Thu, Dec 16, 2010 at 3:05 PM, Robby Findler
> wrote:
>> That shouldn't happen, since that is a file created by DrRack
Am I doing this wrong? (If so, how should I be doing this?)
C:\Users\Administrator\git\plt\doc\release-notes\drracket>git add HISTORY.txt
The following paths are ignored by one of your .gitignore files:
doc/release-notes
Use -f if you really want to add them.
fatal: no files added
Thanks,
Robby
_
What platform? And when you say "cursor" what are you referring to
exactly? The vertical blinking bar? (Also note that things are
changing pretty quickly in that area, so you probably should upgrade.)
Robby
On Fri, Dec 17, 2010 at 5:43 PM, Jakub Piotr Cłapa wrote:
> I believe that the cursor col
Well, I changed the regexp for the planet bug reports to insist that
there was a 'v' at the beginning and then dropped the regexp itself
from the error and the spammers just figured it out.
So I'm guessing that this means that they are serious about spamming
planet (why?!).
Sounds like it is time
nks. That makes a lot of sense. Made me go figure out how
to expunge the spam reports too!
On Sat, Dec 18, 2010 at 8:19 AM, Sam Tobin-Hochstadt wrote:
> On Sat, Dec 18, 2010 at 9:02 AM, Robby Findler
> wrote:
>
>> So I'm guessing that this means that they are serious about spamm
I've made another attempt on the contract violation error messages,
trying to do something like what Eli suggested below. Let me know what
you think.
Thanks,
Robby
On Fri, Dec 10, 2010 at 10:22 AM, Eli Barzilay wrote:
> How about this:
>
> client contract violation:
> at:
> contra
Whoops! Thanks.
Roby
On Friday, December 24, 2010, wrote:
> mflatt has updated `master' from 9c12f7aaa5 to 735c4e660c.
> http://git.racket-lang.org/plt/9c12f7aaa5..735c4e660c
>
> =[ 2 Commits ]==
>
> Directory summary:
> 30.9% collects
On Thu, Dec 30, 2010 at 8:13 AM, wrote:
> e6fd028 Matthew Flatt 2010-12-30 07:08
> :
> | avoid compiling "picturing-programs/tests"
> | because there are references to "installed-teachpacks"
> :
> M collects/picturing-programs/info.rkt | 1 +
These references should probably be eliminated i
2htdp/image now uses this feature.
Robby
On Fri, Dec 31, 2010 at 5:04 AM, Noel Welsh wrote:
> Great, thanks!
>
> N.
>
> On Thu, Dec 30, 2010 at 2:14 PM, Matthew Flatt wrote:
>> Done.
>>
>> At Wed, 24 Nov 2010 10:44:59 -0700, Matthew Flatt wrote:
>>> I would like to add alpha to `color%', but I
Probably whatever is writing to the preferences file should not be doing that.
If he could send along whatever is in the .racket/ directory (and
owned by root) that would be useful.
Robby
On Fri, Dec 31, 2010 at 1:38 AM, Jon Rafkind wrote:
> A user on IRC complained about an issue where after b
How about
(get-preference '|GRacket:defaultMenuPrefix| (lambda ()
(get-preference '|MrEd:defaultMenuPrefix| (lambda () 'ctl
?
Robby
On Sun, Jan 2, 2011 at 4:45 PM, wrote:
> clements has updated `master' from dbd8faee1b to 47e3db06ff.
> http://git.racket-lang.org/plt/dbd8faee1b..47e3db0
I'm not sure how much this helps, but you can at least postpone the
problem by using this config file (a modified version of the one in
the handin server quick start docs):
((active-dirs ("test"))
(use-https #f))
This way, the web server won't be started. I think students should
still be able to
Thanks Jay. I've removed the use of the argument and verified that the
handin-server still seems to work. I'll push the change when I get to
school.
Robby
On Monday, January 3, 2011, Jay McCarthy wrote:
> The option was removed because it didn't do anything.
>
> #:namespace in other places in th
Jon Rafkind wrote:
>> Well I'm not sure when he will pop into irc again but I'll try to
>> reproduce this scenario.
>>
>> On 12/31/2010 02:43 PM, Robby Findler wrote:
>>> Probably whatever is writing to the preferences file should not be doing
>>>
On Mon, Jan 3, 2011 at 11:42 AM, Matthew Flatt wrote:
> At Mon, 3 Jan 2011 11:39:28 -0600, Robby Findler wrote:
>> I've changed the handin server so it puts its docs in the main tree
>> like (I believe) it is supposed to.
>
> That breaks the distribution build. The
Ah. So the problem was that root owned the .racket directory itself.
Should I revert my commit?
Robby
On Mon, Jan 3, 2011 at 1:39 PM, Jon Rafkind wrote:
> On 01/03/2011 10:52 AM, Robby Findler wrote:
>> On Mon, Jan 3, 2011 at 11:42 AM, Matthew Flatt wrote:
>>> At Mon, 3
Robby
On Mon, Jan 3, 2011 at 1:48 PM, Jon Rafkind wrote:
> Won't that make .racket be owned by root again when some preference file
> gets written out during 'make install'?
>
> On 01/03/2011 12:47 PM, Robby Findler wrote:
>> Ah. So the problem was that root owned t
Would this mean that the handin server docs don't get built?
Robby
On Mon, Jan 3, 2011 at 3:11 PM, Matthew Flatt wrote:
> At Mon, 3 Jan 2011 14:55:05 -0500, Sam Tobin-Hochstadt wrote:
>> On Mon, Jan 3, 2011 at 2:51 PM, Robby Findler
>> wrote:
>> >
>> &
Jan 2011 14:17:42 -0700, Matthew Flatt wrote:
>> Yes, unless you run `raco setup' later.
>>
>> At Mon, 3 Jan 2011 15:15:42 -0600, Robby Findler wrote:
>> > Would this mean that the handin server docs don't get built?
>> >
>> > Robby
>> &
FWIW, DrRacket does have keyboard macros but I see that control-w
(under windows, with menu keys disabled) interrupts the sequence so I
can't actually use them to do Matthias's edit easily in DrRacket (also
DrRacket is missing that cool control-x e e e e e e that Emacs does
these days).
Robby
On
Fixed, thanks.
Robby
On Mon, Jan 3, 2011 at 7:34 PM, Matthias Felleisen wrote:
>
>> $ drracket board2.rkt global-constants.rkt graphics.rkt &
>> make-bitmap: expects type as 1st argument, given:
>> 19.0; other arguments were: 19.0 #t
>>
>> === context ===
>> /Users/matthias/plt/collects/racke
I seem have been assigned two recent PRs but I can't tell why and I
didn't seem to get email telling me about that. Is something broken
somewhere, by chance?
Robby
_
For list-related administrative tasks:
http://lists.racket-lang.org/listinfo/dev
ry, so maybe the problem is in the category's configuration.
>>
>> If that doesn't sound right, can you send me the PR numbers?
>>
>> Ryan
>>
>>
>> On 01/04/2011 07:36 PM, Robby Findler wrote:
>> > I seem have been assigned two rece
ad, and that's what I do now, except
> occasionally for bugs that have no category of their own... like contract
> bugs, up until recently.)
>
> Ryan
>
>
> On 01/05/2011 02:04 PM, Robby Findler wrote:
>
> In answer to Ryan, I don't think that I've gotten a
I too am quite happy we've switched. Thanks all. And Matthew, not too
long ago, showed me "git rebase -i origin" which, combined with git
commit --amend has really helped out my workflow.
So.. I have a question. I'd like to move from one machine to another
without pushing to the main repo. I know
I've just pushed a change that adds another little status indicator
thingy in the bottom of drracket. If you see a pair of parentheses
down there next to the gc icon that means that the syntax colorer's
internal state isn't up to date and it is working on bringing it back
in sync. Generally speakin
Thanks guys for the explanations. I'll study them -- I think I'm
missing some (probably simple) key piece of how git works internally
that would probably make this all obvious; hopefully these examples
will help me figure out what that piece is(!).
When I wrote "main repo", of course, I meant the
; anything I do before I push back to the main repository. (Which, git
> afficionados, is only "main" from a pragmatic standpoint.) If you
> create robby/plt, you can share your work with yourself, but not
> trouble anyone else.
>
> Carl Eastlund
>
> On Thu, Jan 6,
On Thu, Jan 6, 2011 at 7:41 AM, Carl Eastlund wrote:
> On Thu, Jan 6, 2011 at 8:35 AM, Robby Findler
> wrote:
>> Thanks, Carl. I have tried that route in the past and I found that I
>> let robby/plt get too far out of sync with the tree. So I'm looking
>> for a workf
On Thu, Jan 6, 2011 at 8:00 AM, Carl Eastlund wrote:
> In case you find it to be an improved workflow, here's what I do: I
> maintain cce/plt as a clone of plt. I work on it, on whatever branch.
> Whenever I feel it has gotten too far behind -- which can be daily,
> weekly, or whenever -- I run
On Thu, Jan 6, 2011 at 11:22 AM, Carl Eastlund wrote:
> It looks like you had 53 commits that were pushed to plt/master in a
> slightly modified form -- probably you had them locally, rebased a few
> commits from plt/master, then pushed them, and robby/plt never got
> updated to reflect the rebase
On Thu, Jan 6, 2011 at 12:25 PM, Carl Eastlund wrote:
> On Thu, Jan 6, 2011 at 12:37 PM, Robby Findler
> wrote:
>> On Thu, Jan 6, 2011 at 11:22 AM, Carl Eastlund wrote:
>>> It looks like you had 53 commits that were pushed to plt/master in a
>>> slightly modified
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
>>> answering questions. If your goal is, more immediately, to figure out
>
Yep, Eli's git overview had the answer, I think. I did "RW @all".
Robby
On Thu, Jan 6, 2011 at 12:50 PM, Carl Eastlund wrote:
> 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, J
Thanks, Carl! I think I got it!
My main missing piece was understanding what remotes & tags really are
and your messages plus a brush up on the
git-for-people-who-are-not-afraid-of-dags made all the difference in
the world.
Robby
_
For list-relate
I think it means something like this happened:
> (new (class object%
(super-new)
(super-new)))
. . collects\racket\private\class-internal.rkt:4455:0: instantiate:
superclass already initialized by class initialization for class:
unsaved-editor2155:3:7
>
but I don't know how you'
I think it was the four question marks in the subject that made me
reply like that :)
Robby
On Thu, Jan 6, 2011 at 6:18 PM, Matthias Felleisen wrote:
>
> I guess I am so old that you should assume I don't know that much :-)
>
>
> On Jan 6, 2011, at 7:10 PM, Robby Findler wr
Another question: what if I commit something just for the purpose of
moving to another machine and I don't want that commit to show up in
the main repository? Is that possible? (My tree is currently in that
state; it is one commit ahead of plt/master but that commit message is
a lie-- I've just sta
> where 10 is how many commits ahead of the master I am
>
> Jay
>
> 2011/1/7 Robby Findler :
>> Another question: what if I commit something just for the purpose of
>> moving to another machine and I don't want that commit to show up in
>> the main repository? I
orget if I forgot to push some changes from laptop or not.
What should I do to deal with this kind of situation?
Robby
On Fri, Jan 7, 2011 at 9:50 AM, Sam Tobin-Hochstadt wrote:
> On Fri, Jan 7, 2011 at 10:42 AM, Robby Findler
> wrote:
>> Another question: what if I commit somet
I think that chaperones let us implement this contract, but I don't
think that you can actually do it yet in the contract library (because
of the dependency), but Stevie would know best.
Robby
On Fri, Jan 7, 2011 at 9:58 AM, Matthias Felleisen wrote:
>
> 1. Is there a struct/contract?
>
> 2. I w
Okay, I tried an example of this and I'm getting stuck. I did one
commit and pushed on my laptop. On the desktop, I did another commit
and then I used an interactive rebase to swap the order of the
commits. Then, I did a push --force, which I think I understand and I
think worked.
Then, on the lap
On Fri, Jan 7, 2011 at 1:39 PM, John Clements wrote:
>
> On Jan 7, 2011, at 7:42 AM, Robby Findler wrote:
>
>> Another question: what if I commit something just for the purpose of
>> moving to another machine and I don't want that commit to show up in
>> the main r
On Fri, Jan 7, 2011 at 3:00 PM, Eli Barzilay wrote:
> 5 minutes ago, Stevie Strickland wrote:
>> On Jan 7, 2011, at 3:43 PM, Eli Barzilay wrote:
>> > Yesterday, Robby Findler wrote:
>> >>
>> >> So I did this ("git" means "git.racket-lang.o
I don't think it is possible with our current port support to make a
port that goes into a text% and returns #t to that predicate (is it?).
Robby
On Fri, Jan 7, 2011 at 2:36 PM, John Clements wrote:
> Currently, you can't run the mongodb tests in DrRacket, because they use
> "subprocess" with (
If you were willing to add /c to the end of it, that might make things ok.
Robby
On Sat, Jan 8, 2011 at 8:15 AM, Eli Barzilay wrote:
>> 92775c5 Stevie Strickland 2011-01-07 18:22
>> :
>> | Add instanceof.
>> |
>> | The instanceof contract combinator takes a class contract. The resulting
>> | c
I think I had a minor ephiphany yesterday about git: if I just do 'git
remote update' when I get to a new machine -- if things were out of
sync -- then I should essentially get the union of the two dags; my
local "master" and "remotes/origin/master" (in the gitk window) will
point to the two heads
I don't know if this is useful or not, but I enabled cm trace printfs
and it does indeed seem to get stuck during the actual compilation of
that file (as below; I added the 'mth' prefix). I also tried a little
thread that would try monitoring the stack of the thread doing the
work, but it comes up
(Sorry, I removed the trace; it doesn't seem very enlightening after all.)
On Tue, Jan 11, 2011 at 11:02 AM, Robby Findler
wrote:
> I don't know if this is useful or not, but I enabled cm trace printfs
> and it does indeed seem to get stuck during the actual compilation of
>
Which version of Racket are you using?
Robby
On Tue, Jan 11, 2011 at 12:12 PM, Stephen Chang wrote:
> Has anyone ever had issues with generating .eps files with
> render-language in Windows? Is there something I need to install to
> make it work? When I run render-language, it seems to be genera
)
(λ (x) e)
x)
(x variable-not-otherwise-mentioned))
(render-language lc "lc.eps")
Robby
On Tue, Jan 11, 2011 at 12:21 PM, Stephen Chang wrote:
> Oops, sorry, it's 5.0.1.7.
>
>
>
>
> On Tue, Jan 11, 2011 at 1:18 PM, Robby Findler
> wrote:
>
read-language is never supposed to return eof but in some situations I
cannot reproduce it does (this used to cause drracket to get stuck in
an edit sequence). So I added a printf at a callsite; if you can make
it happen that would be useful.
Robby
On Wednesday, January 12, 2011, Matthias Felleis
On Thu, Jan 13, 2011 at 3:40 PM, Matthew Flatt wrote:
> At Thu, 13 Jan 2011 16:30:08 -0500, Eli Barzilay wrote:
>> 15 minutes ago, Matthew Flatt wrote:
>> > Is there anything else in the main distribution that is uses
>> > `rename-file-or-directory' for atomic update?
>>
>> Is the handin-server's
On Thu, Jan 13, 2011 at 4:36 PM, Matthew Flatt wrote:
> At Thu, 13 Jan 2011 17:29:15 -0500, Eli Barzilay wrote:
>> 30 minutes ago, Matthew Flatt wrote:
>> >
>> > Unfortunately (again), the lock file has to exist alongside the data
>> > file, and our existing preferences files are not accompanied b
On Thu, Jan 13, 2011 at 4:42 PM, Eli Barzilay wrote:
> Two minutes ago, Matthew Flatt wrote:
>> At Thu, 13 Jan 2011 17:29:15 -0500, Eli Barzilay wrote:
>> > 30 minutes ago, Matthew Flatt wrote:
>> > >
>> > > Unfortunately (again), the lock file has to exist alongside the
>> > > data file, and our
e on any platform, right?
>>
>> I think the handin server probably depends on non-concurrent handins
>> for a given account, though, since it shuffles many files and
>> directories around. Probably it should use some sort of lock to
>> enforce non-concurrency.
>
> I
FWIW, Casey and I talked about this in my office and I've long advocated that
(require "f.rkt") ;; provide/contract's f with some contract
(provide f)
or
(require "f.rkt") ;; provide/contract's f with some contract
(provide (all-from-out "f.rkt"))
should be the equivalent of:
(requir
No, actually in this case the user message is also wrong. If you trace
thru the module dag, you'll see it.
Robby
On Fri, Jan 14, 2011 at 1:53 PM, Stevie Strickland wrote:
> On Jan 14, 2011, at 2:44 PM, Robby Findler wrote:
>> as far as the contract library is concerned, but now I
I've wanted to change the front page to change the 2htdp/image example
to use 'freeze' (making the program go from exponential to linear in
'n') too, but I've held off until it was in an actually released
release.
Lets do that instead of introducing any extra complexity.
Robby
On Fri, Jan 14, 20
The first. I think you've got it.
Robby
On Fri, Jan 14, 2011 at 3:28 PM, Stevie Strickland wrote:
> On Jan 14, 2011, at 4:22 PM, Robby Findler wrote:
>> No, actually in this case the user message is also wrong. If you trace
>> thru the module dag, you'll see it.
&
can be anywhere around the result if that helps at all.
Robby
On Fri, Jan 14, 2011 at 3:34 PM, Eli Barzilay wrote:
> 7 minutes ago, Robby Findler wrote:
>> I've wanted to change the front page to change the 2htdp/image
>> example to use 'freeze' (making the program
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-export a
>>> contracted value that makes the re-importer the negati
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
>> that easy.
>>
>> Robby
>
> On the other hand, that means the number of requires and provides
On Sat, Jan 15, 2011 at 7:21 AM, Carl Eastlund wrote:
> 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 t
This means you think that re-providing should act like a
provide/contract with the any/c contract (as it is currently
(attempting) to do)?
Robby
On Sat, Jan 15, 2011 at 11:14 AM, Matthias Felleisen
wrote:
>
> I think the bottom line is that we should stick to the explicit notion of
> re-exporti
was wrong)
Robby
On Sat, Jan 15, 2011 at 11:16 AM, Matthias Felleisen
wrote:
>
> Yes, I think that is correct and somehow in line with our 'market force'
> thinking.
>
>
> On Jan 15, 2011, at 12:15 PM, Robby Findler wrote:
>
>> This means you think that re-provi
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 is really a
>> design choice (does a reprovide "carry over" the contract or does it
>>
On Sat, Jan 15, 2011 at 11:29 AM, Stevie Strickland
wrote:
> On Jan 15, 2011, at 12:26 PM, 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 is really a
>>> design choice (does a
ias Felleisen
wrote:
>
> I am totally with you. (I don't understand how you can satisfy Carl's
> scenario and keep it inexpensive but all the power to you.)
>
>
>
>
> On Jan 15, 2011, at 12:42 PM, Stevie Strickland wrote:
>
>> On Jan 15, 2011, at 12:32 PM, Robb
On Sat, Jan 15, 2011 at 12:22 PM, Stevie Strickland
wrote:
> On Jan 15, 2011, at 1:19 PM, Matthias Felleisen wrote:
>> 2. I am not strictly opposed to your suggestion because I see value in your
>> reasoning. If we go with re-providing the identifier with its contract, I
>> would like to see the
On Sat, Jan 15, 2011 at 12:19 PM, Matthias Felleisen
wrote:
>
> On Jan 15, 2011, at 1:12 PM, Robby Findler wrote:
>
>> do you think this change I'm suggesting (act as if the contract were written
>> a second time) is the right behavior
>
>
>
> 1. My person
On Sat, Jan 15, 2011 at 12:26 PM, Stevie Strickland
wrote:
> On Jan 15, 2011, at 1:24 PM, Robby Findler wrote:
>> On Sat, Jan 15, 2011 at 12:22 PM, Stevie Strickland
>> wrote:
>>> On Jan 15, 2011, at 1:19 PM, Matthias Felleisen wrote:
>>>> 2. I am not strictl
On Sun, Jan 16, 2011 at 10: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
So far as I understand it, we have: Stevie opposed, Matthias neutral,
Robby and Casey for, with everyone agreeing that we should try to
preserve the "Carl constraints" of 'single contract wrapper' and 'same
identifier-ness'.
Note that in the current world we are *forced* to break the first of
the
On Mon, Jan 17, 2011 at 8:55 AM, Sam Tobin-Hochstadt wrote:
> On Mon, Jan 17, 2011 at 9:41 AM, Robby Findler
> wrote:
>> So far as I understand it, we have: Stevie opposed, Matthias neutral,
>> Robby and Casey for, with everyone agreeing that we should try to
>> preser
You can also set PLT_SETUP_OPTIONS to "-D" and then make install will
avoid building the docs. Also note that on a multi-core machine "make
-j " works and speeds things up a bit.
Robby
On Mon, Jan 17, 2011 at 9:02 AM, Sam Tobin-Hochstadt wrote:
> On Mon, Jan 17, 2011 at 10:01 AM, Noel Welsh wro
On Mon, Jan 17, 2011 at 9:28 AM, Matthias Felleisen
wrote:
>
> On Jan 17, 2011, at 10:10 AM, Robby Findler wrote:
>
>> On Mon, Jan 17, 2011 at 8:55 AM, Sam Tobin-Hochstadt
>> wrote:
>>> On Mon, Jan 17, 2011 at 9:41 AM, Robby Findler
>>> wrote:
>>
On Mon, Jan 17, 2011 at 9:49 AM, Robby Findler
wrote:
>> [...] remove the
>> contracts from 'private' modules to reduce the double hit.
Let me summarize what was important in Casey's message that relates to
this. He has these files:
redex/gui.rkt
redex/redu
On Mon, Jan 17, 2011 at 10:10 AM, Matthias Felleisen
wrote:
>
> On Jan 17, 2011, at 10:53 AM, Robby Findler wrote:
>
>>
>> Let me summarize what was important in Casey's message that relates to
>> this. He has these files:
>>
>> redex/gui.rkt
>>
Thanks for the comments, Neil. Do you have any specific
recommendations on how to avoid these problems?
(Eli can comment more, but the current downtime is because the machine
that runs planet (and a bunch of other services) was hacked and its
operating system is being re-installed now. We're not s
301 - 400 of 1676 matches
Mail list logo
