Re: [racket-dev] Pre-Release Checklist for v6.1

2014-07-21 Thread Vincent St-Amour
At Thu, 17 Jul 2014 20:03:12 -0400, Ryan Culpepper wrote: > * Sam Tobin-Hochstadt , >Vincent St-Amour > - Match Tests > - Typed Racket Tests Done. > - Typed Racket Updates: update HISTORY > (updates should show v6.1 as the most current version; email me > to

Re: [racket-dev] Pre-Release Checklist for v6.1

2014-07-21 Thread Vincent St-Amour
At Mon, 21 Jul 2014 16:24:24 -0400, Asumu Takikawa wrote: > > On 2014-07-21 16:14:27 -0400, Vincent St-Amour wrote: > > Sam, Asumu, Eric: what's new for this release? > > This came up on IRC the other day. I think Eric was saying the main > changes were inference speedu

Re: [racket-dev] [racket] Performance. Higher-order function

2014-08-12 Thread Vincent St-Amour
Ok, let's try to do that. Is there currently a way to include packages from 3rd party repos to the main distribution? Vincent At Tue, 12 Aug 2014 00:03:04 -0400, Greg Hendershott wrote: > > > Being in the main repo is different from being in the distribution (and > > thus automatically install

Re: [racket-dev] [racket] Performance. Higher-order function

2014-08-27 Thread Vincent St-Amour
Great, thanks! I didn't see changes to the main repo to reflect that addition. Are the contents of the main distribution not part of the repo anymore? Vincent At Wed, 27 Aug 2014 08:46:02 -0600, Matthew Flatt wrote: > > The Racket snapshots at > > http://www.cs.utah.edu/plt/snapshots/ > >

Re: [racket-dev] [racket] Performance. Higher-order function

2014-08-28 Thread Vincent St-Amour
At Thu, 28 Aug 2014 08:55:59 -0600, Matthew Flatt wrote: > > I didn't change the "main-distribution" package. I changed the Utah > snapshot's configuration to make the Racket distribution have > "main-distribution" plus "optimization-coach". Ah, I see. Got it. > Changing "main-distribution" woul

[racket-dev] Intermittent Segfault on DrDr

2014-10-02 Thread Vincent St-Amour
The file listed below has been segfaulting intermittently for about a month, but I can't reproduce the crash on any of my machines (Linux or Mac OS, both 64 bits). Walking backwards through the commit log from the first occurrence of the crash on DrDr, the first commit that looks like it may be re

Re: [racket-dev] Intermittent Segfault on DrDr

2014-10-03 Thread Vincent St-Amour
n that the bug that I fixed caused this crash, but the details > are a close match for the test content and crash reports. > > The bug was introduced in 2009 (commit bc47db42e4). > > At Thu, 02 Oct 2014 15:00:25 -0400, Vincent St-Amour wrote: > > The file listed below has been

[racket-dev] General DrRacket Tooltip API?

2014-10-14 Thread Vincent St-Amour
I'd like to use DrRacket's new tooltip support in Optimization Coach. I tried using the check syntax-based API, but since OC does not run during the dynamic extent of check syntax, that didn't work. Is there an API that DrRacket tools can use to show tooltips, that does not involve going through

Re: [racket-dev] Pre-Release Checklist for v6.1.1

2014-10-16 Thread Vincent St-Amour
At Thu, 16 Oct 2014 09:13:54 -0400, Ryan Culpepper wrote: > * Sam Tobin-Hochstadt , >Vincent St-Amour > - Match Tests > - Typed Racket Tests Done. > - Typed Racket Updates: update HISTORY > (updates should show v6.1.1 as the most current version; email me >

Re: [racket-dev] Pre-Release Checklist for v6.1.1

2014-10-16 Thread Vincent St-Amour
At Thu, 16 Oct 2014 11:22:04 -0400, Vincent St-Amour wrote: > > - Typed Racket Updates: update HISTORY > > (updates should show v6.1.1 as the most current version; email me > > to pick the changes when they're done, or tell me if there are no such > > changes.

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

2014-10-20 Thread Vincent St-Amour
racket-lib/typed-racket/base-env/ > > 83.0% > > pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/ > > > > ~~ > > > > 9030680 Vincent St-Amour 2014-10-20 11:34 > > : > > | Fix types for foldl and foldr with 3 lists.

Re: [racket-dev] Release Announcement for v6.1.1

2014-10-27 Thread Vincent St-Amour
For TR: * Exception handling changed to be safe. This may break existing programs that rely on unsafe behavior. * Exports from the GUI and framework libraries have types, and can be used transparently from typed programs. * Casts and predicates are supported in typed regions. Vincent At

Re: [racket-dev] Release process for split repos

2015-01-27 Thread Vincent St-Amour
That sounds good to me. One concern, though: it looks like recreating old releases requires that all the participating repos (1) still exist, (2) have the same name/location, and (3) still have the release tags. I'm not too worried about (1) and (3), but I could see (2) happening if, e.g., a packa

Re: [racket-dev] Switching to Google Groups

2015-01-28 Thread Vincent St-Amour
In case anyone would like to use a non-gmail address for sign up, you can sign up from this URL: https://groups.google.com/forum/#!forum/racket-dev/join The regular "sign up" button wouldn't let me. Vincent At Wed, 28 Jan 2015 16:47:58 -0800, John Clements wrote: > > > Dear developers, >

Re: [racket-dev] Github repo is two commits behind

2015-02-02 Thread Vincent St-Amour
FWIW, pulling from git.racket-lang.org has been slow (i.e. ~30mins) for some of us in the last couple of days. Something in the mirroring may be timing out for similar reasons. Vincent At Mon, 2 Feb 2015 18:41:56 -0300, Gustavo Massaccesi wrote: > > * openssl: recognize version "1.0.1j" #8265c

Re: [racket-dev] Github repo is two commits behind

2015-02-02 Thread Vincent St-Amour
I just pushed something, and now the Github mirror is up to date. The push must have kicked the mirroring mechanism. Vincent At Mon, 02 Feb 2015 16:54:10 -0500, Vincent St-Amour wrote: > > FWIW, pulling from git.racket-lang.org has been slow (i.e. ~30mins) for > some of us in the la

Re: [racket-dev] What is the policy on what is included in the core libraries?

2015-02-17 Thread Vincent St-Amour
I don't think we should add functions to TR that are not in Racket and that are not clearly type-related (e.g., `cast`). I also like Jens's solution better. Education vs crutches. Vincent At Tue, 17 Feb 2015 10:39:16 -0500, Matthias Felleisen wrote: > > > I'd add them to Typed Racket. That's

Re: [racket-dev] Fwd: [shootout-Feature Requests][312552] Scheme PLT should be renamed to Racket

2010-06-18 Thread Vincent St-Amour
At Fri, 18 Jun 2010 08:18:14 -0400, Sam Tobin-Hochstadt wrote: > I submitted a request to the computer language shootout to rename PLT > to Racket. The following message shows the difference in performance > between 4.2.5 and 5.0 - it's probably worth taking a look at the > discrepancies. The dis

Re: [racket-dev] Fwd: [shootout-Feature Requests][312552] Scheme PLT should be renamed to Racket

2010-06-18 Thread Vincent St-Amour
At Fri, 18 Jun 2010 08:38:24 -0500, Robby Findler wrote: > We're talking about this code, right? > > http://shootout.alioth.debian.org/u32/program.php?test=mandelbrot&lang=racket&id=2 > > It is already unsafe, I think? No, it uses fl+ and friends. An unsafe version would use unsafe-fl+ instead.

Re: [racket-dev] Fwd: [shootout-Feature Requests][312552] Scheme PLT should be renamed to Racket

2010-06-18 Thread Vincent St-Amour
At Fri, 18 Jun 2010 14:52:30 +0100, Paulo J. Matos wrote: > > I've been working on typed versions of these benchmarks, and some are > > faster than the untyped versions (including the mandelbrot benchmark, > > whose typed version is ~30% faster and does not show the random > > behavior discussed ab

Re: [racket-dev] Fwd: [shootout-Feature Requests][312552] Scheme PLT should be renamed to Racket

2010-06-18 Thread Vincent St-Amour
At Fri, 18 Jun 2010 09:32:10 -0500, Robby Findler wrote: > I think you missed the require line. It is using unsafe-fl+ for example. You're right, my mistake. But that makes it even weirder that when I manually replaced these fl+ with unsafe-fl+, the running times became consistent. Vincent _

Re: [racket-dev] Fwd: [shootout-Feature Requests][312552] Scheme PLT should be renamed to Racket

2010-06-18 Thread Vincent St-Amour
At Fri, 18 Jun 2010 10:05:57 -0500, Robby Findler wrote: > Perhaps it suggests a bug in the interaction between that fancy > require operator and the optimizer? Actually, the benchmark on the shootout webpage is named mandelbrot-unsafe.rkt in the repository. The version I had in mind is mandelbrot

Re: [racket-dev] Fwd: [shootout-Feature Requests][312552] Scheme PLT should be renamed to Racket

2010-06-20 Thread Vincent St-Amour
At Sun, 20 Jun 2010 11:26:51 -0500, Robby Findler wrote: > Matthew has just pushed a commit that may have fixed the strange > behavior described below. I ran mandelbrot.rkt 20 times, and the times are still distributed bimodally. Vincent _ For lis

[racket-dev] Tech links with custom text

2010-08-03 Thread Vincent St-Amour
While writing documentation, I came across cases where I would have wanted to link to technical terms (using the "tech" function) without having the technical term itself be the text of the link. For example, I wanted to link to the definition of "inexact number", but I wanted the text of the link

Re: [racket-dev] Tech links with custom text

2010-08-03 Thread Vincent St-Amour
That was fast! Thanks! Vincent At Tue, 3 Aug 2010 12:49:03 -0600, Matthew Flatt wrote: > > At Tue, 03 Aug 2010 14:34:40 -0400, Vincent St-Amour wrote: > > While writing documentation, I came across cases where I would have > > wanted to link to technical terms (using t

[racket-dev] Code review tool

2010-08-14 Thread Vincent St-Amour
Last week at PLT day, there was some discussion about code review, and how to potentially integrate it with our workflow. I found the following tool which may help: http://code.google.com/p/gerrit/ If I understand correctly, commits that are pushed don't go directly to the main repository; inste

[racket-dev] jit.c does not compile on PPC

2010-08-19 Thread Vincent St-Amour
I just tried updating racket on my Mac OS PPC machine, and jit.c does not compile. The same revision builds fine on linux x86. This is the error I get: gcc -I./.. -I../../../racket/src/../include -g -O2 -Wall -DOS_X -D_DARWIN_UNLIMITED_SELECT -fno-common -c ../../../racket/src/jit.c -o jit.

Re: [racket-dev] jit.c does not compile on PPC

2010-08-19 Thread Vincent St-Amour
Yep, that worked. Thanks! Vincent At Thu, 19 Aug 2010 12:11:09 -0600, Matthew Flatt wrote: > > Should be fixed, now. > > At Thu, 19 Aug 2010 12:53:48 -0400, Vincent St-Amour wrote: > > I just tried updating racket on my Mac OS PPC machine, and jit.c does > > not co

Re: [racket-dev] Problem with GC or with my machine?

2010-09-03 Thread Vincent St-Amour
At Fri, 3 Sep 2010 09:34:10 -0600, Matthew Flatt wrote: > Thanks for sending the code. I see that it's using Typed Racket with > #:optimize. Maybe Vincent and Sam should take a look to make sure that > the optimizer isn't generating incorrect unsafe code? Yes, please send us the code. First thing

Re: [racket-dev] flonum vs. inexact-real

2010-10-03 Thread Vincent St-Amour
At Sun, 3 Oct 2010 05:43:52 -0600, Matthew Flatt wrote: > Sam and Vincent: Any thoughts on how easy or difficult the change would > be for Typed Racket (and its optimizer)? It depends on how the 32-bit floats are integrated with the library. If the existing library keeps using 64-bit floats as the

Re: [racket-dev] flonum vs. inexact-real

2010-10-03 Thread Vincent St-Amour
At Sun, 3 Oct 2010 08:42:47 -0600, Matthew Flatt wrote: > Reader syntax is the main way to get inexacts of different precision, > though probably we should add a operators to convert numbers to a > specific precision. Sounds good. > With generic arithmetic: > > * When mixing variants of inexact

[racket-dev] Typed Racket's optimizer is now on by default (Re: [plt] Push #21190: master branch updated)

2010-10-06 Thread Vincent St-Amour
gt; Directory summary: >6.4% collects/tests/racket/benchmarks/common/ > 16.3% collects/tests/racket/benchmarks/shootout/ > 11.8% collects/typed-scheme/scribblings/ > 48.4% collects/typed-scheme/typecheck/ >7.6% collects/typed-scheme/types/ >7.2% collects/typed-sche

Re: [racket-dev] Release for v5.0.2 has begun

2010-10-20 Thread Vincent St-Amour
I'll see if I can reproduce the problem with the typed version. At Wed, 20 Oct 2010 07:48:20 -0700, John Clements wrote: > Also, very late flash of insight: my response (getting rid of > unsafe-vector-ref and unsafe-vector-set!) might explain my performance > issues with the FFT library. I doubt

Re: [racket-dev] Release for v5.0.2 has begun

2010-10-20 Thread Vincent St-Amour
At Wed, 20 Oct 2010 11:36:58 -0600, Doug Williams wrote: > I'm not sure I understand what you're saying Matthew. > > On Wed, Oct 20, 2010 at 8:56 AM, Matthew Flatt wrote: > > Overall, keep in mind that changes to vector contracts mean that > > vectors can be wrapped with chaperones. That's why `u

Re: [racket-dev] Pre-Release Checklist for v5.0.2, second call

2010-10-26 Thread Vincent St-Amour
At Mon, 25 Oct 2010 13:46:49 -0400, Ryan Culpepper wrote: > - Typed Scheme Tests These pass both on PPC Mac OS X and x86 debian, using the latest build with Matthew's changes to unsafe primitives. Vincent _ For list-related administrative tasks:

Re: [racket-dev] 5.0.2 changelog

2010-10-26 Thread Vincent St-Amour
At Tue, 26 Oct 2010 12:34:07 -0600, Jon Rafkind wrote: > Vincent St-Amour > commit 8baa1682af76965400ab1071a46f8ba50f7c7165 > Turned the optimizer on by default. > commit 8d6230956dc8c207c097a389fa1f0c7273bb55b7 > Documented the optimizer. - Typed Racket's optimizer

Re: [racket-dev] (round), etc. in Typed Racket

2010-12-11 Thread Vincent St-Amour
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), (ceiling), etc. are typed as > Real, not Integer; however, the result of (integer? (round (* 10e15 > (random is consi

Re: [racket-dev] (round), etc. in Typed Racket

2010-12-12 Thread Vincent St-Amour
At Sun, 12 Dec 2010 20:33:08 -0500, Eli Barzilay wrote: > -1 for a `racket2', I agree. > but why not change racket to that? Sounds good to me. #lang racket is young enough that I expect most of the existing code we're afraid of breaking is still written in #lang scheme (or mzscheme). > -- In a

Re: [racket-dev] (round), etc. in Typed Racket

2010-12-13 Thread Vincent St-Amour
At Mon, 13 Dec 2010 16:43:58 +0100, Jos Koot wrote: > Would we not have the same problem with 'rational?'. > All reals, both exact and inexact ones are rationals (for the obvious reason > that we cannot represent every irrational number in finite memory) > Would we not need the same distinction bet

Re: [racket-dev] (round), etc. in Typed Racket

2010-12-13 Thread Vincent St-Amour
At Mon, 13 Dec 2010 17:29:11 +0100, Jos Koot wrote: > When multiplying any number (nan and inf excepted) by exact 0, should, of > course produce exact 0. If you're multiplying an integer that may or may not be zero (say, an index) by a float, you cannot assume that the result is a float, even thou

[racket-dev] Single-precision floats

2011-01-05 Thread Vincent St-Amour
Single and double precision floating-point numbers have different read syntax but print the same way. Welcome to Racket v5.0.99.6. > 1.0e0 1.0 > (flonum? 1.0e0) #t > 1.0f0 1.0 > (flonum? 1.0f0) #f Is this a bug? Also, it seems there's no read syntax for single-precision specials (nan and infinit

Re: [racket-dev] Git

2011-01-07 Thread Vincent St-Amour
At Fri, 7 Jan 2011 11:39:33 -0800, John Clements wrote: > Taking a step back: is there really anything wrong with such commits? Given > that drdr and e-mail alerts are based on pushes rather than commits, it seems > not unreasonable to just let those be intermediate commits. I can see that >

Re: [racket-dev] Pre-Release Checklist for v5.1

2011-02-01 Thread Vincent St-Amour
At Mon, 31 Jan 2011 17:50:56 -0500, Ryan Culpepper wrote: > - Typed Scheme Tests Done. Vincent _ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev

Re: [racket-dev] drafting the v5.1 release announcement

2011-02-09 Thread Vincent St-Amour
At Wed, 09 Feb 2011 14:28:53 -0700, Jon Rafkind wrote: > Vincent: > 4ac36fd59bc35cb0d60cb050cfaae21d213064c8 > Added the new single-precision float function to TR. > ac76d963b0e4b70c17753b22833c630f3d71cd1b > Enable single-precision floats by default. > 46f086282d7302e7e015109c9f945a92350e3

Re: [racket-dev] Pre-Release Checklist for v5.1.1

2011-04-21 Thread Vincent St-Amour
At Wed, 20 Apr 2011 23:41:08 -0400, Ryan Culpepper wrote: > - Typed Racket Tests Done. Vincent _ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev

[racket-dev] Optional equality predicate for assoc and member

2011-04-22 Thread Vincent St-Amour
Currently, unlike remove and remove-duplicates, assoc and member cannot use a user-provided equality check. I have a patch that fixes that by adding an optional argument to these two functions. With this patch, assoc and member are implemented in Racket. They are currently implemented in C. I have

Re: [racket-dev] Optional equality predicate for assoc and member

2011-04-22 Thread Vincent St-Amour
At Fri, 22 Apr 2011 14:31:14 -0600, Jay McCarthy wrote: > Isn't that memf and assf? Not exactly: (member 1 '(1 2 3) my-equality-check?) is equivalent to (memf (lambda (x) (my-equality-check x 1)) '(1 2 3)) which is not as nice. Same for assoc/assf. Vincent

Re: [racket-dev] Optional equality predicate for assoc and member

2011-04-22 Thread Vincent St-Amour
At Fri, 22 Apr 2011 14:34:16 -0600, Matthew Flatt wrote: > I would like to look closely at this. Can you send me a patch? Sure, I'll tidy it up and send it to you. Vincent _ For list-related administrative tasks: http://lists.racket-lang.org/lis

Re: [racket-dev] Optional equality predicate for assoc and member

2011-04-22 Thread Vincent St-Amour
Good idea. I'll look into that. Vincent At Fri, 22 Apr 2011 17:09:51 -0400, Eli Barzilay wrote: > 40 minutes ago, Vincent St-Amour wrote: > > With this patch, assoc and member are implemented in Racket. They > > are currently implemented in C. I haven't measured the

Re: [racket-dev] better x86 performance

2011-04-24 Thread Vincent St-Amour
These are impressive speedups! Given how close we were to the fastest Scheme compilers on some of these, that may be enough to give us the lead. I'll run the benchmarks on different implementations tomorrow. Vincent At Sun, 24 Apr 2011 17:11:21 -0600, Matthew Flatt wrote: > > The `assoc' exam

Re: [racket-dev] Typed Racket support for Ephemerons

2011-04-26 Thread Vincent St-Amour
I've had a quick look at your patch, and it looks good to me. Did you make sure that all of TR's tests still pass? I'll pull that and commit it for you. Vincent At Tue, 26 Apr 2011 14:19:38 -0400, Eric Dobson wrote: > > I have added support for ephemerons to Typed Racket, and submitted a pull

Re: [racket-dev] better x86 performance

2011-04-26 Thread Vincent St-Amour
.22 1.01 1 lattice27250 ms  1.31 1.06 1 maze27280 ms  2.46 1.04 1 mazefun12295 ms  1.10 1.09 1 nfa6794 ms  1 1.39 1.15 nqueens5651 ms  1 1.21 1.09 paraffins8679 ms  1 1.52 1.20 tak7916 ms  1 1.02 1.00 takl8252 ms  1.62 1.13 1 triangle6862 ms  1 1.21 1.27  At Sun, 24 Apr 2011 22:09:18 -0400, Vincen

Re: [racket-dev] release blurb for 5.1.1

2011-04-26 Thread Vincent St-Amour
Here's what I have: - Single-precision floating-point number support is now enabled by default. Single-precision floats now print differently from their default double-precision counterparts, primitives to convert between or distinguish the two have been added, and reader syntax for single

Re: [racket-dev] Typed Racket support for Ephemerons

2011-04-27 Thread Vincent St-Amour
Fixed. Thanks for the report! Vincent At Wed, 27 Apr 2011 11:14:48 +0200, Pierpaolo Bernardi wrote: > > BTW, I think there are a couple of typos in: > > "15.2 Ephemerons > An ephemeron [Hayes97] is a generalization of a weak box (see Weak > Boxes). Instead of just containing one value, an e___

Re: [racket-dev] wishes

2011-05-06 Thread Vincent St-Amour
At Fri, 6 May 2011 11:22:48 -0400, Matthias Felleisen wrote: > 1. Python seems to provide the following unit testing functionality: > >if a file/module is run as 'main', the test suites are run; >if it is required into some other file, the tests aren't run. > >It looks truly convenie

Re: [racket-dev] typed/racket for loops?

2011-06-07 Thread Vincent St-Amour
At Tue, 7 Jun 2011 15:49:05 -0700, John Clements wrote: > In that case, it appears that there's also a doc bug; the docs say: > > (for/list: : u (for:-clause ...) expr ...+) > > ... "The last expr of the body must have type u." > > This would suggest that the type annotation used for 'u' above s

Re: [racket-dev] `take' argument order

2011-06-08 Thread Vincent St-Amour
At Wed, 8 Jun 2011 10:15:58 -0500, Robby Findler wrote: > > On Wed, Jun 8, 2011 at 9:21 AM, Eli Barzilay wrote: > > In any case, I do take compatibility as a priority, so I'm suggesting > > allowing both orders for this case. > > I did not mention this (remaining silent in response to your comme

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

2011-06-17 Thread Vincent St-Amour
At Fri, 17 Jun 2011 14:51:29 -0400, Eli Barzilay wrote: > I don't know why more of these are needed (they seem to be growing > exponentially), but this: I need racketmod+interaction for some docs I'm currently writing. So I added the others for consistency's sake. > > +(define-syntax racketblock+

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

2011-07-13 Thread Vincent St-Amour
At Wed, 13 Jul 2011 12:25:42 -0400, Sam Tobin-Hochstadt wrote: > > On Wed, Jul 13, 2011 at 12:08 PM, wrote: > > > >  ;; we assume indexes are 2 bits shorter than fixnums > >  ;; We're generating a reference to fixnum? rather than calling it, so > >  ;; we're safe from fixnum size issues on diffe

Re: [racket-dev] Release Announcement for v5.1.2

2011-08-01 Thread Vincent St-Amour
At Mon, 1 Aug 2011 11:57:06 -0400, Sam Tobin-Hochstadt wrote: > > * Sam, Vincent: TR news?  (Many new types from Eric Dobson? > >  Optimizer logs?) > > Almost all core Racket data structures and operations now work with > Typed Racket (most of this work is due to prolific contributor Eric > Dobson

Re: [racket-dev] Release Announcement for v5.1.2

2011-08-02 Thread Vincent St-Amour
At Tue, 2 Aug 2011 11:11:55 -0400, Eli Barzilay wrote: > > 6 minutes ago, Sam Tobin-Hochstadt wrote: > > No, the issue is that 5.1.1 doesn't work at all on Lion, and we > > should emphasize that the new release does work. > > Suggestions? - Racket now supports Mac OS X Lion. I don't think there

Re: [racket-dev] DrDr status

2011-08-03 Thread Vincent St-Amour
Great news! I miss DrDr. Vincent At Wed, 3 Aug 2011 14:29:10 -0600, Jay McCarthy wrote: > > I'm getting the machine back up now. I'll be restarting at 23032 to > compare with the past error report, but there may be a few false > starts as I sort out getting the machine state in the right place.

Re: [racket-dev] testing

2011-08-04 Thread Vincent St-Amour
At Thu, 4 Aug 2011 12:11:27 -0400, Matthias Felleisen wrote: > > > One of the responses to the draft of the Racket style guide contains the > following paragraph: > > > > There should be unified way to test collections. Let's say I fix > > something in collect `foo', there should be an obviou

[racket-dev] Racket and Text Editors

2011-08-04 Thread Vincent St-Amour
As I mentioned at RacketCon, I've been working (with help from Asumu Takikawa and Jon Rafkind) on a document that provides pointers to tools for using Racket with popular text editors. I now have a draft of it on my webpage: http://www.ccs.neu.edu/home/stamourv/using-racket-with-your-editor-of-ch

Re: [racket-dev] Racket and Text Editors

2011-08-04 Thread Vincent St-Amour
That's a good point. I think it would be nice to have it be part of the regular distribution. Eli, is there a way to do that? And yes, it's available as part of the Racket Full distribution. Vincent At Thu, 4 Aug 2011 18:08:58 -0300, Rodolfo Carvalho wrote: > > [1 ] > Hello, > > About Bash

Re: [racket-dev] Racket and Text Editors

2011-08-04 Thread Vincent St-Amour
I agree with most of your points, and will fix the document accordingly. At Thu, 4 Aug 2011 17:02:26 -0400, Eli Barzilay wrote: > > I'd also like feedback on the document itself. It's not especially > > detailed, and I'm sure I forgot a lot of useful things. > > * xrepl should be mentioned at the

Re: [racket-dev] Racket and Text Editors

2011-08-05 Thread Vincent St-Amour
At Fri, 5 Aug 2011 03:22:07 -0400, Eli Barzilay wrote: > The problem is that the meta collection is not intended for > distribution. Even if it's moved to some collection that will get > included, it's an abuse of what `collects' means at the moment. I see. How about a `contrib' directory at the

Re: [racket-dev] Racket and Text Editors

2011-08-05 Thread Vincent St-Amour
I've added an updated version of the document to the Guide. If you think it's not in the right place, I'm fine with putting it elsewhere. Vincent At Thu, 04 Aug 2011 16:30:47 -0400, Vincent St-Amour wrote: > > > As I mentioned at RacketCon, I've been working (wi

[racket-dev] DrDr Feature Request

2011-08-08 Thread Vincent St-Amour
I love DrDr, but there's a small thing that annoys me about it. Some tests are prone to intermittent failures. For example, some benchmarks need to create a file, and several benchmarks share the same file, which leads to race conditions. Similarly, some DrRacket tests sometimes fail for focus re

Re: [racket-dev] DrDr Feature Request

2011-08-08 Thread Vincent St-Amour
At Mon, 8 Aug 2011 10:59:24 -0500, Robby Findler wrote: > FWIW, please try to avoid race conditions of the second kind. Some of these I can try to fix. But I don't think all intermittent failures fit in this category. > I think the drracket test suites are special because they fail > not-so-often

Re: [racket-dev] DrDr Feature Request

2011-08-08 Thread Vincent St-Amour
At Mon, 8 Aug 2011 11:06:30 -0500, Robby Findler wrote: > > On Mon, Aug 8, 2011 at 11:05 AM, Vincent St-Amour > wrote: > > At Mon, 8 Aug 2011 10:59:24 -0500, > > Robby Findler wrote: > >> FWIW, please try to avoid race conditions of the second kind. > > >

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

2011-08-16 Thread Vincent St-Amour
Here's the simplest example I could come up with: In `dummy.rkt': #lang s-exp "dummy-lang.rkt" In `dummy-lang.rkt': #lang racket/base (provide (rename-out (module-begin #%module-begin))) (require (for-syntax racket/base)) (define-syntax (module-begin stx) #'(#%module-

Re: [racket-dev] creating executables

2011-09-01 Thread Vincent St-Amour
I had a similar problem on Linux x86. Matthew just pushed a fix, and now everything works for me. Haven't tried on amd64, though. Vincent At Thu, 01 Sep 2011 16:24:02 +0200, Marijn wrote: > > -BEGIN PGP SIGNED MESSAGE- > Hash: SHA1 > > Hi list, > > when creating executables from racke

Re: [racket-dev] creating executables

2011-09-02 Thread Vincent St-Amour
At Fri, 02 Sep 2011 09:15:20 +0200, Marijn wrote: > I just tried with latest git and nothing has changed for me. Neither > the wrong message, nor the failing executable. You're building executables from DrRacket, right? Does it work if you build them from the command-line, with `raco exe'? Vince

Re: [racket-dev] generalized `begin-for-syntax'

2011-09-08 Thread Vincent St-Amour
This is great! Vincent At Thu, 8 Sep 2011 14:56:18 -0600, Matthew Flatt wrote: > > The `begin-for-syntax' form in v5.1.3.7 supports variable and macro > definitions within a module for all phases N >= 0 (finally!). > > > As a simple example, you can use `struct' for-syntax without having to >

Re: [racket-dev] Weird bug in Typed Racket predicate for Float 0.0

2011-09-09 Thread Vincent St-Amour
At Thu, 8 Sep 2011 20:43:02 -0400, Luke Vilnis wrote: > Running this produces: > > eq? 0.0 #f > eqv? 0.0 #t > Float? #t > Float-Or-Integer? #f With the latest from git on Debian 32 bit, I get `#t' for all four. What environment are you using? > The part of TR that generates the compound contrac

Re: [racket-dev] [racket] Question about round

2011-09-30 Thread Vincent St-Amour
On a more general note, do we really need inexact integers? The behavior of `integer?' is confusing, and I don't see especially compelling reasons to keep it this way. The subject comes up every couple of months on the mailing list, so we should do something about it. Here's a proposal: `integer?

Re: [racket-dev] [racket] Question about round

2011-09-30 Thread Vincent St-Amour
pend our energy > on more interesting things. > > At Fri, 30 Sep 2011 11:59:25 -0400, Vincent St-Amour wrote: > > On a more general note, do we really need inexact integers? > > > > The behavior of `integer?' is confusing, and I don't see especially > > com

Re: [racket-dev] [racket] Question about round

2011-09-30 Thread Vincent St-Amour
At Fri, 30 Sep 2011 12:08:07 -0600, Matthew Flatt wrote: > Doesn't it already? The docs say > > `Integer' includes only integers that are exact numbers, > corresponding to the predicate `exact-integer?'. > > Even if the type were currently `Exact-Integer', it sounds like you > mean just renam

Re: [racket-dev] [racket] Question about round

2011-09-30 Thread Vincent St-Amour
At Fri, 30 Sep 2011 11:31:47 -0500, Robby Findler wrote: > Just to clear up one more possible point: the rational? predicate > actually recognizes inexact numbers, eg: > > [robby@penghu] ~/git/plt/collects/drracket/private$ racket > Welcome to Racket v5.1.3.9. > > (rational? (sqrt 2)) > #t This i

Re: [racket-dev] [racket] Question about round

2011-10-03 Thread Vincent St-Amour
At Sat, 1 Oct 2011 12:41:26 -0400, Stephen Bloch wrote: > I think Vincent was proposing that "round" continue to return an > integer (which makes sense -- that is its raison d'etre) but that all > integers be exact. At present, "round" always returns an integer, but > this integer is exact only if

Re: [racket-dev] Pre-Release Checklist for v5.2

2011-10-18 Thread Vincent St-Amour
At Mon, 17 Oct 2011 19:02:36 -0600 (MDT), Ryan Culpepper wrote: > - Typed Racket Tests Done. Vincent _ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev

Re: [racket-dev] [PATCH 1/3] add missing word

2011-10-22 Thread Vincent St-Amour
I just pushed all 3. Thanks for the patches! Vincent At Sat, 22 Oct 2011 14:47:41 -0700, Eric Hanchrow wrote: > > --- > collects/scribblings/guide/unit.scrbl |2 +- > 1 files changed, 1 insertions(+), 1 deletions(-) > > diff --git a/collects/scribblings/guide/unit.scrbl > b/collects/scri

Re: [racket-dev] Release Announcement for v5.2

2011-11-02 Thread Vincent St-Amour
At Wed, 2 Nov 2011 11:21:24 -0400, Sam Tobin-Hochstadt wrote: > > * DrRacket comes with an experimental, on-line check syntax > >  function.  By default, it is turned off.  To turn it on, right > >  click on the red circle in the buttom right corner of the DrRacket > >  window.  Warning: turning th

Re: [racket-dev] [racket] Disable/Enable Tests

2011-11-28 Thread Vincent St-Amour
At Mon, 28 Nov 2011 11:54:06 -0500, Matthias Felleisen wrote: > I propose > > 1. to remove the menu and its functionality > 2. to add a macro disable-tests-below > 3. and be prepared to add a macro enable-tests-below. `disable-tests-below' makes it easy to accidentally skip running tests alto

Re: [racket-dev] [racket] Disable/Enable Tests

2011-11-29 Thread Vincent St-Amour
At Tue, 29 Nov 2011 15:48:32 -0500, Stephen Bloch wrote: > Those are probably the only REASONABLE sequences, but novice > programmers will always find unreasonable ways to do it -- and those > are the students I'm most worried about. > > To reduce the space of possible mistakes, I'm sorta leaning

[racket-dev] The `meta/contrib' Collect

2011-12-05 Thread Vincent St-Amour
In a recent email, Eli mentioned that the `meta' collect was not meant for distribution. However, `meta/contrib' contains scripts that are of general interest, and IMO should be distributed. For example, we've had users trying to find the bash completion script, only to realize that it wasn't in t

Re: [racket-dev] [PATCH] add in-slice sequence

2011-12-16 Thread Vincent St-Amour
This looks useful to me. I think this belongs in `unstable/sequence' for now, with the other new sequence constructors. I'll merge it. Thanks for the patch! Vincent At Thu, 15 Dec 2011 22:47:44 -0500, David Vanderson wrote: > > I only got one comment (thanks John), so I'm resending for more

Re: [racket-dev] Racket home page proposal

2011-12-20 Thread Vincent St-Amour
At Tue, 20 Dec 2011 13:45:26 -0500, Eli Barzilay wrote: > (c) I'd get rid of the "why racket" section -- I don't see anything > there that doesn't induce yawnage, I disagree. This paragraph advertizes our high-quality libraries and IDE. Both of these are great selling points, and our current websi

Re: [racket-dev] Racket home page proposal

2011-12-20 Thread Vincent St-Amour
At Tue, 20 Dec 2011 15:28:54 -0500, Eli Barzilay wrote: > I'm not opposed to having *some* "Why Racket?" text, just to the > particular text: I agree with most of your points about the specifics of the text. > | Based on over 15 years of research and practical experience, > > *yawn* On the one

Re: [racket-dev] "bookmarks" in drracket?

2012-02-03 Thread Vincent St-Amour
At Fri, 3 Feb 2012 02:06:41 -0500, Stephen Chang wrote: > To go back to the most recent bookmark, either use the right-click > menu, or press C-x r (is this an appropriate key binding? I chose it > because emacs similarly uses C-x r to do bookmark-related stuff). Emacs uses C-x r for rectangle com

Re: [racket-dev] new logo

2012-02-12 Thread Vincent St-Amour
At Sun, 12 Feb 2012 01:50:33 -0500, Eli Barzilay wrote: > http://tmp.barzilay.org/cr.png I like this one. I really like the idea of combining lambda with parentheses. The unbalanced paren bothers me a bit though. > The pun can even be taken further by adding a "(" on the left, smaller > and fad

Re: [racket-dev] new logo

2012-02-12 Thread Vincent St-Amour
At Sun, 12 Feb 2012 11:01:44 -0800, John Clements wrote: > I like this general idea. It seems to me that we're headed toward > some kind of translucent ball with bands around it. If the sideways > band is more visible through the ball, you get the "R" effect that > people are seeing. This loses t

Re: [racket-dev] new logo

2012-02-13 Thread Vincent St-Amour
At Mon, 13 Feb 2012 01:05:57 -0500, SF wrote: > While trying to refine that sketch I had the idea to extend the stem > for a dynamic look, perhaps this would fit better in a circle: > http://i.imgur.com/IywqK.png +1 That's my new favorite. Vincent _ Racket Developers li

Re: [racket-dev] new logo

2012-02-13 Thread Vincent St-Amour
At Mon, 13 Feb 2012 09:54:58 -0500, Philippe Meunier wrote: > For some reason it slightly reminds me of a symbol for some religious > cult or political party, which might or might not be a good thing. Were you thinking of this? http://en.wikipedia.org/wiki/Chi_Rho Vincent

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

2012-02-27 Thread Vincent St-Amour
At Mon, 27 Feb 2012 16:39:33 -0500, Eli Barzilay wrote: > Is there really a need for an N+1 way to do this? This is a common idiom, and there was no way to make it as convenient as it should be. Yes, it's easily implementable in terms of `build-list' or `in-range' but having to roll your own every

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

2012-02-28 Thread Vincent St-Amour
m ffcda4741f to 249c1cc666. > http://git.racket-lang.org/plt/ffcda4741f..249c1cc666 > > =[ 1 Commits ]== > > Directory summary: > 91.8% collects/racket/ >8.1% collects/scribblings/reference/ > > ~

Re: [racket-dev] [racket] Something funky about the expansion of case?...

2012-03-12 Thread Vincent St-Amour
`evcase' is currently provided by `mzlib/etc'. Should we provide it in `racket' as well? Vincent At Mon, 12 Mar 2012 16:53:14 -0400, Matthias Felleisen wrote: > > > see evcase > > > On Mar 12, 2012, at 4:45 PM, Rüdiger Asche wrote: > > > Hi there, > > > > why is the Zero alias replaced

Re: [racket-dev] Pre-Release Checklist for v5.3

2012-04-18 Thread Vincent St-Amour
At Wed, 18 Apr 2012 09:00:16 -0600, Ryan Culpepper wrote: >- Typed Racket Tests Done. Vincent _ Racket Developers list: http://lists.racket-lang.org/dev

Re: [racket-dev] Tiny tweak to docs

2012-04-30 Thread Vincent St-Amour
Fixed. Thanks for the report! Vincent At Mon, 30 Apr 2012 09:16:37 -0700, Eric Hanchrow wrote: > > diff --git a/collects/scribblings/reference/sets.scrbl > b/collects/scribblings/reference/sets.scrbl > index d9ea0c6..44cc41d 100644 > --- a/collects/scribblings/reference/sets.scrbl > +++ b/colle

  1   2   3   >