On Tue, Feb 10, 2009 at 5:31 PM, Jens Axel Soegaard
jensa...@soegaard.net wrote:
My attempts of uploading a new version of math.plt failed.
Is there a problem with PLaneT?
I suspect that this error corresponds to the stacktrace I found in the
log (below). I'm running a very old version of web
.)
On Feb 13, 2009, at 5:46 PM, Robby Findler wrote:
Is there a good way to typeset HtDP-style data definitions in
Scribble? I've just been doing this:
@verbatim[#---
;; a state is either:
;; - 'playing
;; - 'cat-won
;; - 'cat-lost
---
]
@verbatim[#---
;; a board is
;; (listof
Thanks. That's fixed now. (There were also some problems with multiple
tabs interfering with each other's logs, but I think that's fixed now
too.)
Robby
On Thu, Feb 19, 2009 at 10:27 AM, Dave Herman dher...@ccs.neu.edu wrote:
Oh! Even simpler:
1. Create the file.
2. View | Show Log
3. Run
I'm sucking down the various downloads to start a new mirror at
Northwestern. Can someone update the web page to point to it? (It
should be done in about 20 minutes, I'm guessing.)
This is the url:
http://www.eecs.northwestern.edu/plt-scheme/
Thanks,
Robby
, I have a suspicion where the
Dracula/ACL2 communication may be running up large amounts of memory.
I'll keep it in mind if this happens again. Thanks for the
suggestion.
--Carl
On Thu, Feb 19, 2009 at 6:22 PM, Robby Findler
ro...@eecs.northwestern.edu wrote:
I'm saying you got that message
Yes, I have tcsh. Probably a red herring, then.
Robby
On Sat, Feb 28, 2009 at 6:28 AM, Eli Barzilay e...@barzilay.org wrote:
On Feb 28, Robby Findler wrote:
When I searched for bitmap% by putting my mouse on the word and
hitting f1 in drscheme, I got this:
browser-run: process execute
On Tue, Mar 3, 2009 at 3:07 PM, Dimitris Vyzovitis v...@media.mit.edu wrote:
On Tue, 3 Mar 2009, Matthew Flatt wrote:
Also, with regards to composition: by limiting the specific to a single
cell, the compositional properties can be managed at the language level
(scheme/base) where you are not
Did you consider having the scribble reader be more sophisticated with
the strings it generates? That is, if a string comes from {} in
Scribble (as opposed to something in a s-expression position --
those don't get this special treatment), then it only puts enough
spaces in to go from the { to the
Hm. I don't know who messed up the indentation below, but the first
example should look like the output of this expression:
(display @f{a\n b\n c})
Robby
On Fri, Mar 6, 2009 at 2:52 PM, Robby Findler
ro...@eecs.northwestern.edu wrote:
Did you consider having the scribble reader be more
at 10:40 PM, Eli Barzilay e...@barzilay.org wrote:
On Mar 6, Robby Findler wrote:
Can you please point me to the code and explain the fix?
It's just the bug that I described below. Revision 13971.
On 3/6/09, Eli Barzilay e...@barzilay.org wrote:
On Fri, Mar 6, 2009 at 2:52 AM, Matthias
FWIW, I did do a spell checker for SirMail that uses the same setup as
the syntax colorer, so one could turn that on for strings or for
comments, I expect.
Robby
On Tue, Mar 10, 2009 at 7:40 PM, Matthias Felleisen
matth...@ccs.neu.edu wrote:
On Mar 10, 2009, at 8:20 PM, pnkfe...@ccs.neu.edu
Anyone recognize this?
(file
C:\\cygwin\\home\\robby\\svn\\exp\\plt\\collects\\xml\\private\\reader.ss)
broke the contract
(-
(or/c location? symbol? #f)
(or/c location? symbol? #f)
symbol?
(listof attribute?)
(listof
(or/c
permissive/c
pcdata?
element?
I bonk'd my head!
But I seem to be stuck -- is it possible the maze generation doesn't
actually connect everything? (I might have just not walked in the
right place, possibly ...)
Robby
On Mon, Mar 16, 2009 at 11:05 PM, Jay McCarthy jay.mccar...@gmail.com wrote:
That's PR 10129. Fixed in SVN
connected mazes.
You can move diagonal with y for upper left, u for upper right, b for
lower left, and n for lower right. (You can also use the appropriate
keys of the number pad.)
:)
Jay
On Tue, Mar 17, 2009 at 5:55 AM, Robby Findler
ro...@eecs.northwestern.edu wrote:
I bonk'd my head
What would happen if we threw it out now (on the trunk, not on the
release branch)?
Robby
On Tue, Mar 17, 2009 at 9:52 AM, Matthias Felleisen
matth...@ccs.neu.edu wrote:
On Mar 17, 2009, at 10:16 AM, Kathryn Gray wrote:
On 17 Mar 2009, at 1:53:33, Matthias Felleisen wrote:
On Mar 17,
On Wed, Mar 18, 2009 at 2:35 AM, Eli Barzilay e...@barzilay.org wrote:
* Robby Findler ro...@eecs.northwestern.edu
- DrScheme Tests
- Framework Tests
- Contracts Tests
- Games Tests
- Teachpacks Tests: image tests
- PLaneT Tests
Updates:
- DrScheme Updates: update HISTORY
What is the 'event not registered' bug?
On Wed, Mar 18, 2009 at 6:15 PM, Matthias Felleisen
matth...@ccs.neu.edu wrote:
On Mar 18, 2009, at 3:35 AM, Eli Barzilay wrote:
* Matthias Felleisen matth...@ccs.neu.edu
- Teachpacks Tests: check that new teachpacks are addable
- Teachpack Docs:
Carl: is it possible to release 1.4 of your package that just deals
with this bug? Or is there no fix to the bug that doesn't also break
the interface somehow?
Robby
On Thu, Mar 19, 2009 at 1:19 PM, Doug Williams
m.douglas.willi...@gmail.com wrote:
It seems to be one of the sxml or ssax
On Thu, Mar 19, 2009 at 1:44 PM, Carl Eastlund carl.eastl...@gmail.com wrote:
I do wish there were a way to specify an upper limit on the version
number with which a package is compatible, just like we have a lower
limit. That way users would get an error message stating clearly that
the
On Thu, Mar 19, 2009 at 2:06 PM, Carl Eastlund carl.eastl...@gmail.com wrote:
On Thu, Mar 19, 2009 at 2:54 PM, Robby Findler
ro...@eecs.northwestern.edu wrote:
On Thu, Mar 19, 2009 at 1:44 PM, Carl Eastlund carl.eastl...@gmail.com
wrote:
I do wish there were a way to specify an upper limit
There is misc stuff, but I don't see anything worth mentioning in the
release particularly.
Robby
On Thu, Mar 19, 2009 at 7:38 PM, Eli Barzilay e...@barzilay.org wrote:
The release announcement sketch that I have so far is below. I didn't
get any additional edits.
Specific people:
*
How about this: Mike has (I believe) string-constant-izied some files
so that he can use the testing code in German. I'll take what he's
done and abstract it slightly differently so that we just have two
versions, a German one and an English one and htdp will use one and
deinprogramm the other.
On Thu, Apr 23, 2009 at 1:46 AM, Michael Sperber
sper...@deinprogramm.de wrote:
Robby Findler ro...@eecs.northwestern.edu writes:
This I'm not sure. I see that creating a distribution archive with a
'check-expect' expression in just ignore the check-expects, so maybe
there is special-case
-expect code up and end up having to make all
deinprogramm uses of it give German error messages and all htdp uses
give English error messages, regardless of the user's language
preferences. But not today.
Robby
On Thu, Apr 23, 2009 at 1:46 AM, Michael Sperber
sper...@deinprogramm.de wrote:
Robby
On Thu, Apr 30, 2009 at 10:38 AM, David Van Horn dvanh...@ccs.neu.edu wrote:
I can't check in, but here's the whole file.
Thanks, I've checked it in.
Robby
_
For list-related administrative tasks:
I've checked in a change to profj so that the preferences dialog
should now fit on your screen.
Robby
On Thu, Apr 16, 2009 at 3:18 PM, Robby Findler
ro...@eecs.northwestern.edu wrote:
Ah, yeah. I actually did this:
(plt:framework-pref:drscheme:tools-configuration lib
profjWizard
I'm getting this behavior pretty consistently:
setup-plt: making: rnrs
setup-plt: in rnrs
PLT Scheme virtual machine has run out of memory; aborting
Abort
Exit 134
_
For list-related administrative tasks:
, at 7:14 AM, Robby Findler wrote:
I didn't fix anything, so I'm cc'ing plt-dev in case the person who
did is there.
Robby
On Sunday, May 10, 2009, Matthias Felleisen matth...@ccs.neu.edu wrote:
Correct. It went away with an update. (I had thursday's drscheme
running.)
BUT, now I am getting
I dropped bugs since this is not the same bug as the original PR.
The problem appears to be a combination of the way big-bang expands
and the way test coverage works. Here's a shorter program that I think
illustrates this a little bit better:
;; BSL:
(require 2htdp/universe)
(define (clack ws x
If you have any redex models lying around, can you look and see if you
use 'where' clauses? If so, can you look to see if the variable bound
in the where clause has an appropriate name for what it is bound to?
That is, if it is bound to a number, the variable must be named
number_x (for some 'x')?
I believe you want to look at the handin server. It has lots of
support and is easy to set up and use.
Robby
On Thu, May 14, 2009 at 12:41 PM, David Van Horn dvanh...@ccs.neu.edu wrote:
Shriram Krishnamurthi wrote:
I don't know how much of sand-boxing there is, but TestFest has a lot
of
Could this be useful for contracts? It expands into a macro definition
and there are generally lots of irrelevant identifiers kept, I think.
You know -- this also makes me wonder if there could be a performance
debugging tool in there. Perhaps something that takes a syntax object
or a .zo file
, Robby Findler wrote:
Just to be clear, I essentially agree with everything you've written.
We do need something better and tool support for it. A GUI that helps
the user's control the upgrades would be a great idea. (IF you were to
write one I'd be happy to take it!)
I am still wondering
On Mon, May 18, 2009 at 1:02 PM, Jon Rafkind rafk...@cs.utah.edu wrote:
Robby Findler wrote:
All of the database functionality in the server is separated out, so
it shoudl not be too hard to add a web-based interface to it (see
db.ss in iplt/planet/).
That looks like a database
Oh yes, you're right. That is old.
Robby
On Wed, May 20, 2009 at 4:45 PM, John Clements
cleme...@brinckerhoff.org wrote:
The contract for drscheme:eval:expand-program specifies that it accepts an
'iter' argument fulfilling this contract:
(- (or/c eof-object? syntax? (cons/c string? any/c))
I'm getting the following:
[robby-laptop2] ~/svn svn checkout
http://svn.plt-scheme.org/usr/mflatt/text/scribble
usr/mflatt/text/scribble
svn: REPORT of '/usr/!svn/vcc/default': Could not read response body:
Connection reset by peer (http://svn.plt-scheme.org)
Exit 1
I have version 1.5.1. Anyone
With an empty definitions window:
Welcome to DrScheme, version 4.1.900-svn20may2009 [3m].
Language: Advanced Student custom; memory limit: 256 megabytes.
Teachpack: hangman.ss.
1
This program should be tested.
define-compound-unit/infer: untagged initialization dependent
signature mred^ is
AM, Robby Findler wrote:
With an empty definitions window:
Welcome to DrScheme, version 4.1.900-svn20may2009 [3m].
Language: Advanced Student custom; memory limit: 256 megabytes.
Teachpack: hangman.ss.
1
This program should be tested.
define-compound-unit/infer: untagged initialization
tell me what the error message means, I'll start looking
into it. (I am wondering whether it's related to the backdoor into drscheme
that hangman opens up.)
On May 21, 2009, at 12:07 PM, Robby Findler wrote:
I don't know what it means, but it happens in #lang scheme, too:
#lang scheme
I was doing similar things when Matthew sent his message. Guess it
pays to have written the error messages, eh? :)
Thanks, Matthew.
Robby
On Thu, May 21, 2009 at 11:35 AM, Matthias Felleisen
matth...@ccs.neu.edu wrote:
The following program triggers the error.
#lang scheme/load
(module
On Wed, May 20, 2009 at 5:05 AM, Eli Barzilay e...@barzilay.org wrote:
* Robby Findler ro...@eecs.northwestern.edu
- DrScheme Tests
- Teachpacks Tests: image tests
- Framework Tests
- Contracts Tests
- Games Tests
- PLaneT Tests
Updates:
- DrScheme Updates: update HISTORY
Are you quoting my message specifically for a reason?
And major version bumps are when things are least stable, not most stable!
Robby
On Fri, May 22, 2009 at 1:59 PM, John Clements
cleme...@brinckerhoff.org wrote:
On May 22, 2009, at 11:45 AM, Robby Findler wrote:
On Wed, May 20, 2009 at 5
On Fri, May 22, 2009 at 2:14 PM, John Clements
cleme...@brinckerhoff.org wrote:
On May 22, 2009, at 12:04 PM, Robby Findler wrote:
Are you quoting my message specifically for a reason?
Honestly, the reason that your message prompted my response was that I just
fixed a bug in the stepper
Findler wrote:
On Fri, May 22, 2009 at 2:14 PM, John Clements
cleme...@brinckerhoff.org wrote:
On May 22, 2009, at 12:04 PM, Robby Findler wrote:
Are you quoting my message specifically for a reason?
Honestly, the reason that your message prompted my response was that I
just
fixed a bug
I tried to follow the steps with collects/drscheme/private/rep.ss and
couldn't make it fail. Specifically, I hit return on the second line
(making the buffer modified) and then check syntax; I waited until it
was in coloring mode (according to the status line) and then hit
cmd-s (for save) and
On Sat, May 30, 2009 at 1:17 PM, Matthias Felleisen
matth...@ccs.neu.edu wrote:
1. what does this really mean:
Making Web pages in /Users/matthias/0Unison/0Web/
link: module mismatch, probably from old bytecode whose dependencies have
changed: variable not provided (directly or indirectly
On Sat, May 30, 2009 at 2:46 PM, Jay McCarthy jay.mccar...@gmail.com wrote:
On Sat, May 30, 2009 at 12:17 PM, Matthias Felleisen
matth...@ccs.neu.edu wrote:
1. what does this really mean:
Making Web pages in /Users/matthias/0Unison/0Web/
link: module mismatch, probably from old bytecode
I think PLaneT does indeed work that way. Even worse, there is a bug
somewhere that causes CM to not compile package B (or C or D ...)
making things even worse. I got as far as figuring out that it was a
parameter that changed (I think it was the namespace?) that somehow
causes CM to disable
I was svn v1.5.4 to check out usr/robby and getting this error:
svn: REPORT of '/usr/!svn/vcc/default': Could not read response body:
Connection reset by peer (http://svn.plt-scheme.org)
Exit 1
so I upgraded to 1.6.2 and now I get this:
svn checkout http://svn.plt-scheme.org/usr/robby robby
Turns out I didn't include http support when I built 1.6.2. After
doing that, I was able to check everything out fine.
Robby
On Fri, Jun 5, 2009 at 10:50 AM, Paulo J. Matospocma...@gmail.com wrote:
On Fri, Jun 5, 2009 at 3:57 PM, Robby
Findlerro...@eecs.northwestern.edu wrote:
I was svn
I'm starting from a clean build directory and get the error:
configure: error: source directory already configured; run make
distclean there first
configure: error: ../../../../foreign/gcc/libffi/configure failed for
foreign/gcc/libffi
Full transcript below.
Robby
[chienshi] ~/svn/exp/plt/src%
Deleting all of the src tree and re-downloading it worked. I don't
think that I'd run configure outside of that build directory, but it
is possible, I suppose.
Robby
On Sat, Jun 6, 2009 at 7:42 PM, Robby
Findlerro...@eecs.northwestern.edu wrote:
I'm starting from a clean build directory and get
Now that I'm using svn v1.6.2, I can't seem to login to get
/usr/matthias/Papers/Universe. This might be because of a new way of
interpreting permissions (as I can still get the files via the web
browser).
Anyone know? (Eli, could you just give me more permissions, if that
seems like it would
I think the concern is for code that is being written by people who
aren't working in our SVN repository.
Robby
On Tue, Jun 9, 2009 at 8:21 AM, Matthias Felleisenmatth...@ccs.neu.edu wrote:
We routinely update collections in the core code base and most of the time,
it suffices to run setup on
Eli so.
On Jun 9, 2009, at 9:36 AM, Robby Findler wrote:
I think the worry goes something like this:
a) I use the plt web server and scheme unit (to pick two arbitrary
parts of the distribution, really this could be X and Y iiuc).
b) a new release comes out that has a bugfix in the web
:31 AM, Robby Findler wrote:
I think the concern is for code that is being written by people who
aren't working in our SVN repository.
Robby
On Tue, Jun 9, 2009 at 8:21 AM, Matthias Felleisenmatth...@ccs.neu.edu
wrote:
We routinely update collections in the core code base and most
, Robby Findler wrote:
I think PLaneT does indeed work that way. Even worse, there is a bug
somewhere that causes CM to not compile package B (or C or D ...)
making things even worse. I got as far as figuring out that it was a
parameter that changed (I think it was the namespace?) that somehow
I'd like to create a branch from a specific revision. I tried this:
svn copy http://svn.plt-scheme.org/plt/trunk/collects/re...@14919
http://svn.plt-scheme.org/plt/branches/robby/redex-pat
but got the usual please give me your password message which I now
interpret as something is broken.
Does
Just in case anyone else wants to do this, Dave helpfully supplied a workaround.
(Note that I'm using svn v1.6.2, so this isn't fixed there yet.)
Robby
On Fri, Jun 19, 2009 at 10:40 AM, Dave Gurnelld.j.gurn...@gmail.com wrote:
On 19 Jun 2009, at 16:33, Robby Findler wrote:
I'd like
Thanks, fixed in SVN.
Robby
On Wed, Jul 1, 2009 at 8:27 AM, Noel Welshnoelwe...@gmail.com wrote:
(require scheme/contract)
(define/contract (foo-x f) (- (vector-immutableof number?) number?)
(vector-ref f 0))
(foo-x #(1 2 3))
1
(foo-x '(1 2 3))
. (file
On Wed, Jul 1, 2009 at 12:46 PM, Jos Kootjos.k...@telefonica.net wrote:
Two wishes (low priority AFAIAC)
1
Making parameters for x-spacing and y-spacing in redex/private/traces.ss.
Done.
2
When in a traces gui an arrow makes a small incoming angle with the vertical
or horizontal edge of a
I believe I've fixed this. (I've only tested in mac os x, but this was
a Scheme-level change, so it should be the same under windows).
Do let me know if you see any more problems. You should be able to try
it out tomorrow with the nightly build binaries here:
Personally, I think the name cons* is better because the function
does a whole bunch of cons's (and whole bunch of is one common
meaning of *).
Robby
On Sun, Jul 12, 2009 at 10:50 AM, Eli Barzilaye...@barzilay.org wrote:
On Jul 12, Paulo J. Matos wrote:
On Sun, 2009-07-12 at 10:43 -0400, Carl
...@barzilay.org wrote:
On Jul 20, Robby Findler wrote:
I think define-relation is new this time, in Redex...?
(Most of the text I'm including at this stage is coming from scanning
the commit messages.)
--
((lambda (x) (x x)) (lambda (x) (x x))) Eli Barzilay
On Mon, Jul 20, 2009 at 5:45 PM, Eli Barzilaye...@barzilay.org wrote:
* Robby Findler ro...@eecs.northwestern.edu
- DrScheme Tests
- Framework Tests
- Contracts Tests
- Games Tests
- Teachpacks Tests: image tests
- PLaneT Tests
Done.
Updates:
- DrScheme Updates: update HISTORY
Anyone understand svn merging enough to be able to decode this error
message? I was doing a merge from some (old) code that I wanted to
get back to (figuring that a merge was the way to get started).
Conflict for property 'svn:mergeinfo' discovered on 'stxclass/main.ss'.
They want to delete
Thanks . :)
I've gone with mine full and hopefully everything will be fine when
I merge back into the trunk
Robby
On Mon, Jul 27, 2009 at 7:57 AM, Noel Welshnoelwe...@gmail.com wrote:
Perhaps the revision dates from before svn 1.5, which added (some)
merge tracking, and uses the
Do you still have those places handy? I didn't have much luck with my
google queries.
Robby
On Mon, Jul 27, 2009 at 10:52 AM, Eli Barzilaye...@barzilay.org wrote:
On Jul 27, Robby Findler wrote:
Thanks . :)
I've gone with mine full and hopefully everything will be fine
when I merge back
Thanks.
Robby
On Mon, Jul 27, 2009 at 11:00 AM, Eli Barzilaye...@barzilay.org wrote:
On Jul 27, Robby Findler wrote:
Do you still have those places handy? I didn't have much luck with my
google queries.
I just googled for Conflict for property 'svn:mergeinfo' discovered
on (with the double
Hi all (Ryan?): I've got a question about pgsql. From what I can tell,
string data is stored in the database in the latin-1 encoding
(sql-data.ss line 191), but is then retrieved from the database in the
utf-8 encoding (io.ss line 205). Am I getting that right?
This doesn't mean much, but I
...@eecs.northwestern.edu wrote:
On Tue, Jul 28, 2009 at 2:45 AM, Ryan Culpepperry...@ccs.neu.edu wrote:
Robby Findler wrote:
Hi all (Ryan?): I've got a question about pgsql. From what I can tell,
string data is stored in the database in the latin-1 encoding
(sql-data.ss line 191), but is then retrieved from
Thanks for the reply, Dave!
The encoding of my database is SQL_ASCII which, IIUC, means that the
bug really is in the SCheme code side for putting the data in one way
and expecting it to come out the other way.
I don't suppose you (or anyone!) could recommend how this should work?
If I change
On Wed, Jul 29, 2009 at 7:34 PM, Ryan Culpepperry...@ccs.neu.edu wrote:
Robby Findler wrote:
Thanks for the reply, Dave!
The encoding of my database is SQL_ASCII which, IIUC, means that the
bug really is in the SCheme code side for putting the data in one way
and expecting it to come out
On Wed, Jul 29, 2009 at 8:38 PM, Ryan Culpepperry...@ccs.neu.edu wrote:
Ryan Culpepper wrote:
Robby Findler wrote:
Thanks for the reply, Dave!
The encoding of my database is SQL_ASCII which, IIUC, means that the
bug really is in the SCheme code side for putting the data in one way
, 2009 at 1:37 AM, Ryan Culpepperry...@ccs.neu.edu wrote:
Robby Findler wrote:
Did someone do an svn cp somehow related to the file
collects/tests/typed-scheme/succeed/pr9053-2.ss?
If so, I think svn cp shoudl be permanently banned from now on. If you
want to rename, you just lose the history
Sorry, Doug. I'll lay off the date-sensitive easter eggs from now on. :(
I believe these are all of the the special days:
3/2
3/26
4/8
6/11
7/2
7/30
10/29
10/31
11/1
12/25
Eli: does it make sense to add something that could test this stuff on
a nightly basis (ie set the date to the dates listed
(I ask because it would be helpful to see what was happening when it
worked and also to be able to build a test case. I also tried 4.2.1
and I'm not seeing it work there either.)
Thanks,
Robby
On Thu, Jul 30, 2009 at 3:36 PM, Robby
Findlerro...@eecs.northwestern.edu wrote:
Does 4.1.5 work
I'm not actually doing anything with that code, but I went ahead and
removed it from the file in SVN.
Robby
On Wed, Aug 5, 2009 at 4:03 PM, Matthias Felleisenmatth...@ccs.neu.edu wrote:
On Aug 5, 2009, at 3:44 PM, Robby Findler wrote:
Also, looking at syn-aux.ss, I see this:
;; Symbol
? or use the source file instead?
On Aug 12, 2009, at 11:42 AM, Robby Findler wrote:
I see a few possibilities. I think that this is a problem specific to
people who work regularly with SVN, so we can expect such people to
have extra sophistication:
- (IMO, the second best option and one
I see a few possibilities. I think that this is a problem specific to
people who work regularly with SVN, so we can expect such people to
have extra sophistication:
- (IMO, the second best option and one that is available now):
instead of saying mzscheme file.ss, say mzc file.ss mzscheme
On Wed, Aug 12, 2009 at 10:49 AM, Matthias
Felleisenmatth...@ccs.neu.edu wrote:
On Aug 12, 2009, at 11:47 AM, Robby Findler wrote:
Yes, it could. That's the second option I suggested below. I was more
conservative, tho, and suggested that it only be turned on with a
flag. But perhaps
Okay, after some more thought and offline consultation, I've changed
the way DrScheme works wrt to saving compiled .zo files. It now saves
its compiled files in compiled/drscheme/ (and
compiled/drscheme/errortrace), meaning that the files will be ignored
when mzscheme runs. It also only looks in
On Wed, Aug 12, 2009 at 4:45 PM, Eli Barzilaye...@barzilay.org wrote:
On Aug 12, Robby Findler wrote:
Okay, after some more thought and offline consultation, I've changed
the way DrScheme works wrt to saving compiled .zo files. It now
saves its compiled files in compiled/drscheme
On Wed, Aug 12, 2009 at 4:21 PM, Sam THsa...@ccs.neu.edu wrote:
What if mzscheme-compiled files already exist? Does it use those?
Yes. With preference given to the drscheme ones.
If
it doesn't, won't it recompile the entire collects tree the first time
you try to do anything?
No, the don't
release, the change is
that the compilation is now cached, so overall a speed up.
Robby
On Mon, Aug 17, 2009 at 11:08 AM, Jon Rafkindrafk...@cs.utah.edu wrote:
Robby Findler wrote:
The default for the module language is now *with* errortrace enabled.
Note that this means that drscheme
On Fri, Aug 14, 2009 at 3:08 PM, Sam THsa...@ccs.neu.edu wrote:
So, I think I just encountered the following problem:
1. Turn on all the new-fangled auto-compilation.
2. Add a planet require (for something not currently installed) to the
module in the definitions window.
3. Watch while your
Actually, that can't be the whole story, since it is trying to compile
errortrace .zo files, not regular ones and that is controlled via
parameters. So there must be some sharing going on, somehow. Hm.
Robby
On Tue, Aug 18, 2009 at 9:03 PM, Robby
Findlerro...@eecs.northwestern.edu wrote:
On
On Tue, Aug 18, 2009 at 9:48 PM, Robby
Findlerro...@eecs.northwestern.edu wrote:
Actually, that can't be the whole story, since it is trying to compile
errortrace .zo files, not regular ones and that is controlled via
parameters. So there must be some sharing going on, somehow. Hm.
Oh, I
-0500, Robby Findler wrote:
At this point, it seemed to me that it would be hopeless to try to get
the original values of the scheme/base parameters (specifically
current-compile),
I think we should work on making this possible. A program might set all
sorts of parameters before (dynamically
On Wed, Aug 19, 2009 at 11:40 AM, Matthew Flattmfl...@cs.utah.edu wrote:
Done in SVN (v4.2.1.7). I've adjusted `planet/resolver' to accept an
original-parameterization argument that the default module name
resolver provides. But `planet-resolve' still needs to use it somehow.
Thanks, Matthew.
I've noticed that (on my netbook, running linux) the choice of font
can be a significant factor in how zippy DrScheme feels. I'm sure that
eventually there will be improvements to the infrastructure to speed
things up, but in the meantime you can at least get a feel for the
text drawing speed with
I think that for the next few hours, you'd probably better either get
yesterday's SVN (maybe two days ago) or use the latest released
version.
Sorry :(
Robby
On Thu, Aug 27, 2009 at 3:56 PM, Matthias Felleisenmatth...@ccs.neu.edu wrote:
Switching to Module in drscheme immediately produces
On Thu, Aug 27, 2009 at 6:15 PM, Matthias Felleisenmatth...@ccs.neu.edu wrote:
I blew away my tree and compiled the whole thing from scratch. All bugs
disappeared.
That makes sense to me.
The trick is to understand how your .zo files got into the wrong state
in the first place.
One possible
Felleisenmatth...@ccs.neu.edu wrote:
On Aug 27, 2009, at 7:26 PM, Robby Findler wrote:
On Thu, Aug 27, 2009 at 6:15 PM, Matthias Felleisenmatth...@ccs.neu.edu
wrote:
I blew away my tree and compiled the whole thing from scratch. All bugs
disappeared.
That makes sense to me.
The trick
: who does not work does not eat, has been
replaced by a new one: who does not obey shall not eat.- Leon Trotsky
2009/8/27 Robby Findler ro...@eecs.northwestern.edu:
Sorry -- this was not aimed at you specifically. In this case, I think
it is going to be tricky to reproduce.
In any case, I
, Robby Findler wrote:
I've added #:exists to provide/contract, as a way to hide information
ala type t declarations on ML signatures.
See the contracts section in the Guide for a worked example and a
discussion of a gotcha. The short version is that you can now write
things like
Right. That wouldn't be parametric.
Robby
On Sat, Sep 5, 2009 at 7:58 PM, Matthias Felleisenmatth...@ccs.neu.edu wrote:
On Sep 5, 2009, at 6:04 PM, Robby Findler wrote:
No. As we discussed, there can't be with this meaning of #:exists. If
there were, you'd run into the same problem
On Sun, Sep 6, 2009 at 6:14 PM, Matthew Flattmfl...@cs.utah.edu wrote:
At Sun, 6 Sep 2009 14:22:34 -0600, Doug Williams wrote:
I assume that if I use these and introduce a dependency on 4.2.2 or later
that I should also bump the version number of the science collection in
PLaneT - even if the
On Tue, Sep 8, 2009 at 7:18 AM, Matthias Felleisenmatth...@ccs.neu.edu wrote:
Thanks for reminding me of this. Sam and I had an example like this
that explained why we couldn't use plain polymorphic contracts to
control exports from Typed Scheme.
I don't see how an example along these lines
Likely the files in compiled/drscheme/ are out of date. Why cm isn't
bringing them back into sync is unclear to me, but you can at least
get out of the bad loop by deleting those directories.
Robby
On Tue, Sep 8, 2009 at 6:01 PM, Carl Eastlundc...@ccs.neu.edu wrote:
Running code in DrScheme
1 - 100 of 401 matches
Mail list logo
