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=mandelbrotlang=racketid=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 above).

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

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 the tech function) without

[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;

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

2010-08-20 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 compile. The same revision builds fine

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

[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
% 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-scheme/ ~~ 2172328 Vincent St-Amour stamo...@racket

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

[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

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. 46f086282d7302e7e015109c9f945a92350e384c

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:

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 performance impact

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'

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
ms11.521.20tak7916 ms11.021.00takl8252 ms1.621.131triangle6862 ms11.211.27 At Sun, 24 Apr 2011 22:09:18 -0400, Vincent St-Amour wrote: 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

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

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 convenient. I

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 e...@barzilay.org 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

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

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). I'd

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's much

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 obvious way to

[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:

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 top,

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 (with help from Asumu Takikawa

[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: [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 stamo...@ccs.neu.edu wrote: 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

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)

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 racket,

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'?

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 is

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 the

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

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 this on

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

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 website

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 hand,

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

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 fading

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 the

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

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
. http://git.racket-lang.org/plt/ffcda4741f..249c1cc666 =[ 1 Commits ]== Directory summary: 91.8% collects/racket/ 8.1% collects/scribblings/reference/ ~~ 249c1cc Vincent St-Amour stamo...@racket-lang.org 2012-02-28

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 correctly in

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 +++

Re: [racket-dev] implicit begin for define-syntax-rule

2012-05-04 Thread Vincent St-Amour
I don't think that's what Marijn was suggesting. I understood it as: (define-syntax-rule (define-complex real-name imag-name rhs) (define real-name (real-part rhs)) (define imag-name (imag-part rhs))) (define-complex r i 1+2i) = (begin (define r (real-part 1+2i))

Re: [racket-dev] Generics and data structures

2012-05-10 Thread Vincent St-Amour
At Wed, 9 May 2012 18:13:55 -0400, Asumu Takikawa wrote: Ideally, we would provide similar interfaces for the other generic APIs in the tree, such as streams and sequences. However, the existing APIs rely on different representations for method tables from the one used by unstable/generics,

Re: [racket-dev] Single-flonum-ness not preserved in racket/math functions

2012-06-06 Thread Vincent St-Amour
At Tue, 05 Jun 2012 22:05:26 -0600, Neil Toronto wrote: Thanks! I've adapted it and will commit the changes with the ones to racket/math. Great, thanks! I've managed to make it always find a counterexample. But there are only a few single-flonum - flonum issues. Most of them are because

Re: [racket-dev] syntax/syntax proposal

2012-06-15 Thread Vincent St-Amour
At Fri, 15 Jun 2012 15:12:05 -0400, Asumu Takikawa wrote: * for consistency with the rest of the language, `stx-car` and friends would be renamed to use the `syntax-` prefix instead of `stx-`. +1 I always get these names wrong. * the name of the library is also consistent with

Re: [racket-dev] syntax/syntax proposal

2012-06-15 Thread Vincent St-Amour
At Fri, 15 Jun 2012 15:09:15 -0600, Ryan Culpepper wrote: The 'stx-*' functions work on values that aren't syntax objects, so renaming them to 'syntax-*' would be misleading. Given the name, I would have thought they only worked on syntax objects. Roughly, stx = syntax | null | (cons

Re: [racket-dev] Proposal for a no-argument

2012-07-02 Thread Vincent St-Amour
I really like this. Vincent At Sun, 1 Jul 2012 09:27:00 -0400, Eli Barzilay wrote: There rare cases where it is useful to have a value that means that no argument was passed to a function. In many of these cases there is a plain value that is used as that mark, with the most idiomatic

Re: [racket-dev] Sublinear functions of superfloat numbers

2012-07-02 Thread Vincent St-Amour
At Sun, 1 Jul 2012 20:10:30 -0400, Matthias Felleisen wrote: I had misunderstood. I thought you had suggested 'reduction of strength' (say going from square to * or double to +), which is a generally useful compiler optimization. What you suggest is some form of conditional version of this.

Re: [racket-dev] [racket] Insert Pict Box menu item not found in DrRacket

2012-07-10 Thread Vincent St-Amour
At Tue, 10 Jul 2012 09:13:24 -0500, Robby Findler wrote: Version 1.2 of cdrswift.plt seems to use the slideshow-insert-pict-box string constant, but it is up to version 1.5 now. http://planet.racket-lang.org/display.ss?package=cdrswift.pltowner=dignatof Probably best to just leave them

Re: [racket-dev] [racket] Insert Pict Box menu item not found in DrRacket

2012-07-10 Thread Vincent St-Amour
At Tue, 10 Jul 2012 11:23:04 -0500, Robby Findler wrote: I was thinking along similar lines. But maybe it would be helpful to do this for all of the unused string-constants in the tree? Good idea. Vincent _ Racket Developers list:

Re: [racket-dev] Deprecating collects

2012-07-10 Thread Vincent St-Amour
At Tue, 10 Jul 2012 18:44:28 -0400, Neil Van Dyke wrote: I'm still using some mzlib in *new* code. Specifically, getpid, this-expression-source-directory, gethostname, and perhaps one or two other things. I could find other ways to do those things if I had to, but those definitions pop up

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

2012-07-11 Thread Vincent St-Amour
At Wed, 11 Jul 2012 01:33:02 -0400, Eli Barzilay wrote: Or maybe add a new tools collection for other similar things? I'm about to push the new version of Optimization Coach (formerly Performance Report). Since it now works with any language (not just TR), it would make sense to move it outside

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

2012-07-11 Thread Vincent St-Amour
(Performance) tuning? Vincent At Wed, 11 Jul 2012 10:04:46 -0500, Robby Findler wrote: tools seems like too generic of a word. Is there something like performance-debugging that isn't so long? Robby On Wed, Jul 11, 2012 at 9:58 AM, Vincent St-Amour stamo...@ccs.neu.edu wrote

Re: [racket-dev] Proposal for a no-argument

2012-07-11 Thread Vincent St-Amour
At Sun, 8 Jul 2012 08:40:41 -0400, Eli Barzilay wrote: Quick summary: I'll remove the #:before-first and #:after-last feature. If anyone wants them, please tell me -- maybe it can be left for the spliced case, or maybe they could always be spliced. +2 to always splicing. This gives us the

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

2012-07-11 Thread Vincent St-Amour
: Better than tools, IMO. How about perf? Ie, perf/future-visualizer and perf/optimization-coach/ ? Robby On Wed, Jul 11, 2012 at 10:10 AM, Vincent St-Amour stamo...@ccs.neu.edu wrote: (Performance) tuning? Vincent At Wed, 11 Jul 2012 10:04:46 -0500, Robby Findler wrote: tools

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

2012-07-11 Thread Vincent St-Amour
At Wed, 11 Jul 2012 09:37:19 -0700, Neil Toronto wrote: On 07/11/2012 09:25 AM, stamo...@racket-lang.org wrote: 84feb38 Vincent St-Amour stamo...@racket-lang.org 2011-10-11 14:26 : | Enable performance report no matter the language. : M collects/typed-racket/optimizer/tool/tool.rkt

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

2012-07-11 Thread Vincent St-Amour
+1 Vincent At Wed, 11 Jul 2012 12:04:11 -0500, Robby Findler wrote: What about naming the collection tuning? Robby On Wed, Jul 11, 2012 at 11:34 AM, Vincent St-Amour stamo...@ccs.neu.edu wrote: I would prefer the full word, performance. But with a name like that, I would expect

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

2012-07-11 Thread Vincent St-Amour
Some tools have components that are required programmatically. E.g., the macro-debugger's useless requires detector or the graphical debugger API (which doesn't seem to be documented). Moving them may break code. But I do agree that a top-level `tool' collect would make sense. Vincent At Wed,

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

2012-07-11 Thread Vincent St-Amour
At Wed, 11 Jul 2012 18:00:26 -0500, Robby Findler wrote: On Wed, Jul 11, 2012 at 1:06 PM, Neil Toronto neil.toro...@gmail.com wrote: How about a tools drop-down? Or Online Optimization Coach (You can do it, Vincent!) I had that same thought, actually: online check syntax is

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

2012-07-20 Thread Vincent St-Amour
At Fri, 20 Jul 2012 16:17:22 -0400, as...@racket-lang.org wrote: 3582b57 Asumu Takikawa as...@racket-lang.org 2012-07-20 15:10 : | Move mzlib/defmacro = racket/defmacro I'm not sure this belongs in `racket'. This is not a Racket feature. It's closer to a CL compatibility library. How about

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

2012-07-26 Thread Vincent St-Amour
At Wed, 25 Jul 2012 13:26:53 -0400, Ryan Culpepper wrote: stamourv: - enable performance report for typed/racket/base (b73421f8) - Optimization Coach (formerly Performance Report) now reports information about Racket's inlining optimizations. Optimization Coach can be launched in any

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

2012-07-29 Thread Vincent St-Amour
At Sun, 29 Jul 2012 10:15:17 -0400, Matthias Felleisen wrote: With all due respect. Was there a reason why parametric imports don't work? They do change behavior in a way that doesn't jive with the TR port-to-typed-without-change-in-semantics philosophy. Parametric imports were already in

Re: [racket-dev] `compatibility' (was: [plt] Push #25038: master branch updated)

2012-07-30 Thread Vincent St-Amour
At Mon, 30 Jul 2012 13:10:28 -0600, Matthew Flatt wrote: At Fri, 20 Jul 2012 16:33:54 -0400, Vincent St-Amour wrote: How about having a `compatibility' collect, which would include this and things like `racket/package' (compatibility with Chez) and `racket/mpair' (compatibility

Re: [racket-dev] `compatibility' (was: [plt] Push #25038: master branch updated)

2012-07-30 Thread Vincent St-Amour
At Mon, 30 Jul 2012 16:00:12 -0400, Matthias Felleisen wrote: Having said that, I would like to propose that we COPY files/subcollections from racket/ to compatibility/ (and keep them in sync) if we wish to indicate that they are not really rackety. Assuming you mean keeping the same interface

Re: [racket-dev] `compatibility' (was: [plt] Push #25038: master branch updated)

2012-07-30 Thread Vincent St-Amour
At Mon, 30 Jul 2012 14:52:06 -0600, Matthew Flatt wrote: At Mon, 30 Jul 2012 16:00:12 -0400, Matthias Felleisen wrote: I fully and enthusiastically agree with this perspective but I don't think this is high on our list of things to do. When we consider such moves, we should always

Re: [racket-dev] `compatibility' (was: [plt] Push #25038: master branch updated)

2012-07-31 Thread Vincent St-Amour
At Tue, 31 Jul 2012 09:26:56 -0700, Sam Tobin-Hochstadt wrote: On Tue, Jul 31, 2012 at 6:42 AM, Matthew Flatt mfl...@cs.utah.edu wrote: To start afresh, here are two suggestions, which are mutually exclusive. The first is my preference: 1. Revert the addition of

Re: [racket-dev] A Const type constructor

2012-07-31 Thread Vincent St-Amour
At Tue, 31 Jul 2012 14:36:06 -0400, Matthias Felleisen wrote: On Jul 31, 2012, at 1:31 PM, Neil Toronto wrote: To reiterate after my absence: I won't write a typed math/vector until using its exports in Typed Racket wouldn't be a huge friggin' PITA. Let me rephrase this ever so

Re: [racket-dev] `compatibility' (was: [plt] Push #25038: master branch updated)

2012-07-31 Thread Vincent St-Amour
At Tue, 31 Jul 2012 13:04:40 -0600, Matthew Flatt wrote: At Tue, 31 Jul 2012 14:08:16 -0400, Vincent St-Amour wrote: Mutable pair functions are in `racket/base', I didn't touch these and am not planning to. Mutable list functions, though, I moved. The name is misleading. Should

Re: [racket-dev] Release Announcement for v5.3, third draft

2012-08-02 Thread Vincent St-Amour
At Thu, 02 Aug 2012 11:28:56 -0400, Ryan Culpepper wrote: On 08/02/2012 11:16 AM, Ryan Culpepper wrote: [...] * There is now a very complete completion code for zsh. It is not included in the distribution though, get it at: http://goo.gl/DU8JK (This script and the bash

Re: [racket-dev] TR's optimizer eventually going to unbox structs?

2012-08-27 Thread Vincent St-Amour
a and is not a substruct? predicate to make such things work? Robby On Mon, Aug 27, 2012 at 10:11 AM, Vincent St-Amour stamo...@ccs.neu.edu wrote: TR's complex number optimizations eliminate repeated boxing and unboxing in chains of operations that each consume and produce complex

Re: [racket-dev] What are single flonums good for?

2012-09-12 Thread Vincent St-Amour
Single-precision float support used to be enabled via a configure option, which meant that some Racket installations would support them, and some would not. Since zo files are meant to be portable, they could not contain single-precision floats. So, compilation would promote single literals to

Re: [racket-dev] What are single flonums good for?

2012-09-15 Thread Vincent St-Amour
At Fri, 14 Sep 2012 23:45:43 -0500, Robby Findler wrote: The original message in this thread suggests that there is a type Single-Flonum and that it is making Neil wrangle his code to be careful about it. Right, TR supports `Single-Flonum's, but not `f32vector's. Part of the complexity in

Re: [racket-dev] What are single flonums good for?

2012-09-17 Thread Vincent St-Amour
At Sun, 16 Sep 2012 17:10:01 -0500, Matthias Felleisen wrote: Suppose we had started Racket long ago and maintained it until now. Then we'd be looking at 8bit, 16, 32, and 64 precision. In some N years from now, we may need 128. (Actually there were machines in the past that did, but never

Re: [racket-dev] Disjoint unions (from PR 13131)

2012-09-22 Thread Vincent St-Amour
At Sat, 22 Sep 2012 10:52:49 -0400, Eli Barzilay wrote: A few minutes ago, Matthias Felleisen wrote: I consider this problem distinct from Vincent's. Yes, the problem is separate (hence moving the discussion) -- it's the feature that he mentioned (being able to hide types) that I was

Re: [racket-dev] Pre-Release Checklist for v5.3.1, Second Call

2012-10-24 Thread Vincent St-Amour
At Mon, 22 Oct 2012 18:11:22 -0400, Ryan Culpepper wrote: * Sam Tobin-Hochstadt sa...@ccs.neu.edu, Vincent St-Amour stamo...@ccs.neu.edu - Match Tests - Typed Racket Tests All passed. Insert large letters is currently broken, though. Sam's on it. - Typed Racket Updates: update

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

2012-10-28 Thread Vincent St-Amour
At Wed, 24 Oct 2012 20:29:43 -0400, Ryan Culpepper wrote: stamourv: - scheme language deprecation notice (68260a6c86) - compat: packages, mutable lists (800a328fe6) - NaN included in all float types (a6d5a98b61) * The `#lang scheme' language is deprecated. `#lang racket' should be

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

2012-10-28 Thread Vincent St-Amour
, I'm not sure that any of these should be in the release announcement, unless maybe there's something I'm missing about the changes? Robby On Sunday, October 28, 2012, Vincent St-Amour wrote: At Wed, 24 Oct 2012 20:29:43 -0400, Ryan Culpepper wrote: stamourv: - scheme language

Re: [racket-dev] [PATCH] Add a `zip' procedure to lists

2012-11-09 Thread Vincent St-Amour
Providing `zip' is still useful IMO, both for people who don't know / remember that trick and as a shorthand. Vincent At Fri, 9 Nov 2012 07:34:35 -0500 (EST), J. Ian Johnson wrote: [forgot reply all] zip is unnecessary because of n-ary map. (zip l0 l1) = (map list l0 l1) -Ian -

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

2012-12-06 Thread Vincent St-Amour
At Thu, 06 Dec 2012 16:27:20 -0700, Neil Toronto wrote: On 12/06/2012 04:12 PM, stamo...@racket-lang.org wrote: cc8bd4f Vincent St-Amour stamo...@racket-lang.org 2012-12-06 11:59 : | Make srclocs serializable. : M collects/racket/private/serialize.rkt | 10

[racket-dev] first and rest in racket/base

2012-12-13 Thread Vincent St-Amour
I just got tripped up, again, trying to traverse a list with `first' and `rest' in a `racket/base' file. `first' and `rest' are only available in `racket' and `racket/list', but not in `racket/base'. If we want to encourage use of `first' and `rest' over `car' and `cdr' and of `racket/base' when

Re: [racket-dev] first and rest in racket/base

2012-12-13 Thread Vincent St-Amour
At Thu, 13 Dec 2012 14:51:42 -0500, Eli Barzilay wrote: A few minutes ago, Jay McCarthy wrote: I agree with Eli. first is not car and shouldn't be treated as it. car : (Cons a b) - a first : (List a) - a Right -- it's a different type, and the `list?' check adds a cost. I don't

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

2012-12-17 Thread Vincent St-Amour
At Mon, 17 Dec 2012 15:00:04 -0500, stamo...@racket-lang.org wrote: b715a6f Vincent St-Amour stamo...@racket-lang.org 2012-12-14 11:39 : | Add define-inline. | | Drop-in replacement for define that guarantees inlining. : M collects/meta/props | 2 ++ A collects

Re: [racket-dev] Contract barrier inefficiencies

2012-12-28 Thread Vincent St-Amour
At Thu, 27 Dec 2012 19:21:53 -0600, Robby Findler wrote: OC could suggest moving heavily called functions across boundaries, that'd be cool. That sounds interesting, and would be a good use of profiling information. Added to my to-do list. Thanks for the suggestion! Vincent

Re: [racket-dev] TR: Five feature/limitation interactions conspire to drive mad

2012-12-31 Thread Vincent St-Amour
At Mon, 31 Dec 2012 13:27:50 -0700, Neil Toronto wrote: 1. Allow submodules to extend the reader. Would using `#lang typed/racket/no-check' instead of `#lang racket' for the top-level module work? It extends the reader and provides TR's annotated forms, but otherwise counts as an untyped

Re: [racket-dev] Five feature/limitation interactions conspire to drive mad

2013-01-02 Thread Vincent St-Amour
At Wed, 02 Jan 2013 12:39:21 -0700, Neil Toronto wrote: Interesting. My extremely limited experience -- and Shriram's -- suggests an eternal struggle with the numerical tower for 'beginners' like myself. This is my experience as well. One place this bit me pretty early was getting TR

Re: [racket-dev] Five feature/limitation interactions conspire to drive mad

2013-01-03 Thread Vincent St-Amour
At Wed, 02 Jan 2013 16:57:39 -0700, Neil Toronto wrote: On 01/02/2013 02:51 PM, Vincent St-Amour wrote: In your experience, have these types caused you trouble other than when you went looking for them specifically? Not that I recall. If I stick to union types like Integer, Exact

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

2013-01-18 Thread Vincent St-Amour
At Thu, 17 Jan 2013 13:46:37 -0500, Ryan Culpepper wrote: * Sam Tobin-Hochstadt sa...@ccs.neu.edu, Vincent St-Amour stamo...@ccs.neu.edu - Match Tests - Typed Racket Tests Both done. - Typed Racket Updates: update HISTORY Pushed. Commit e763d1e1ae7cfe04d0fff173292340b6fd6c4ae6

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

2013-01-18 Thread Vincent St-Amour
At Thu, 17 Jan 2013 13:57:51 -0500, Ryan Culpepper wrote: - define-inline (b715a6fe) * Added `define-inline' which defines functions that are guaranteed to be inlined. Vincent _ Racket Developers list: http://lists.racket-lang.org/dev

  1   2   >