Re: [racket-dev] Feature request - contract form that splits provide/contract into two parts

2012-12-16 Thread Harry Spier
On Fri, Dec 14, 2012 at 10:44 AM, Matthias Felleisen matth...@ccs.neu.edu wrote: So, if you want to be good, put provide contract-out at the top of your module. How about having a link on the Racket webpage to the Style Guide for this and other style issues? Harry Spier

[racket-dev] raco make clean

2012-12-16 Thread Carl Eastlund
How do I remove .zo files corresponding to various source files if I have set the PLTCOMPILEDROOTS environment variable? I can no longer just rm -r compiled, and I don't want to destroy more than necessary by deleting the entire PLTCOMPILEDROOTS tree. However, if I just leave .zo files sitting

Re: [racket-dev] Embedding racket in vim

2012-12-16 Thread Eric Dobson
Yes I was using the official source. Here is the patch of my changes, some of which you may already have. diff -r 52bfa939fc07 src/auto/configure --- a/src/auto/configure Thu Dec 06 21:30:29 2012 +0100 +++ b/src/auto/configure Sun Dec 16 14:37:19 2012 -0800 @@ -4927,7 +4927,8 @@ if test

[racket-dev] bit-vectors and serialization

2012-12-16 Thread Ryan Culpepper
I'd like to make bit-vectors serializable so I can replace sql-bits with them. I'll deprecate the current sql-bits names but keep them around for a while. The issue is that bit-vectors are implemented using fxvectors, which are serializable, but simply serializing them will presumably cause

Re: [racket-dev] bit-vectors and serialization

2012-12-16 Thread Robby Findler
If there's no significant performance penalty, then I'd say that we should make things work between 32bit and 64bit builds. (If there is a performance penalty then I'd still want to try to achieve that, at least.) Robby On Sun, Dec 16, 2012 at 6:18 PM, Ryan Culpepper r...@cs.utah.edu wrote:

Re: [racket-dev] bit-vectors and serialization

2012-12-16 Thread Neil Toronto
I'd call it an error if something couldn't be correctly serialized and deserialized between platforms. Neil ⊥ On 12/16/2012 05:22 PM, Robby Findler wrote: If there's no significant performance penalty, then I'd say that we should make things work between 32bit and 64bit builds. (If there is

[racket-dev] Fwd: [DrDr] R25903 (timeout 0) (unclean 1) (stderr 1) (changes 63)

2012-12-16 Thread Neil Toronto
I got this email from DrDr after I added `typed/plot'. The error: dependencies: unsatisfied dependency for dr-bin: racket/collects/plot/common/axis-transform.rkt (in: racket/collects/typed/plot/common/compiled/types_rkt.dep) It looks like `typed/plot' is being distributed in circumstances

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

2012-12-16 Thread Matthew Flatt
At Sun, 16 Dec 2012 00:40:05 -0500, Eli Barzilay wrote: 10 minutes ago, Neil Toronto wrote: On 12/15/2012 10:24 PM, Eli Barzilay wrote: Two notes: 1. This looks like another case where a `plot/typed' is better than the other way. Better for users or for separating code by

Re: [racket-dev] Fwd: [DrDr] R25903 (timeout 0) (unclean 1) (stderr 1) (changes 63)

2012-12-16 Thread Matthew Flatt
Looks like my other message was seven minutes late If you want to leave `typed/plt' as-is, you can probably imitate the handling of typed/rackunit in `meta/dist-specs'. At Sun, 16 Dec 2012 17:40:16 -0700, Neil Toronto wrote: I got this email from DrDr after I added `typed/plot'. The error:

Re: [racket-dev] Fwd: [DrDr] R25903 (timeout 0) (unclean 1) (stderr 1) (changes 63)

2012-12-16 Thread Eli Barzilay
20 minutes ago, Neil Toronto wrote: I got this email from DrDr after I added `typed/plot'. The error: [] BTW, I did point out the failure when it happened... To explain it, maybe for future similar questions too (though this explanation gets lost in the noise and comes up relatively

Re: [racket-dev] Fwd: [DrDr] R25903 (timeout 0) (unclean 1) (stderr 1) (changes 63)

2012-12-16 Thread Neil Toronto
On 12/16/2012 05:58 PM, Eli Barzilay wrote: 20 minutes ago, Neil Toronto wrote: I got this email from DrDr after I added `typed/plot'. The error: [] BTW, I did point out the failure when it happened... It had an I told you so kind of tone, so I ignored it. :p To explain it, maybe for

Re: [racket-dev] Fwd: [DrDr] R25903 (timeout 0) (unclean 1) (stderr 1) (changes 63)

2012-12-16 Thread Eli Barzilay
10 minutes ago, Neil Toronto wrote: On 12/16/2012 05:58 PM, Eli Barzilay wrote: 20 minutes ago, Neil Toronto wrote: I got this email from DrDr after I added `typed/plot'. The error: [] BTW, I did point out the failure when it happened... It had an I told you so kind of tone, so I

Re: [racket-dev] Embedding racket in vim

2012-12-16 Thread Sergey Khorev
Looks good except one thing: you really wouldn't want to gc environment (see MZ_GC_CHECK) before registering it with MZ_REGISTER_STATIC. BTW are there any guarantees that MZ_REGISTER_STATIC doesn't trigger garbage collection? @@ -861,6 +865,12 @@ scheme_set_stack_base(stack_base, 1);

Re: [racket-dev] Typed versions of untyped collections

2012-12-16 Thread Neil Toronto
Changing the subject line for wider appeal. On 12/16/2012 06:41 PM, Eli Barzilay wrote: 10 minutes ago, Neil Toronto wrote: I think I'd rather have a convention in Typed Racket that (require foo) imports `foo/typed' when it exists. +14. I think it came up in the past, but I don't know why