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] 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 #8265c9

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 last couple

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

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

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

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

2014-10-20 Thread Vincent St-Amour
/tests/typed-racket/unit-tests/ ~~ 9030680 Vincent St-Amour stamo...@racket-lang.org 2014-10-20 11:34 : | Fix types for foldl and foldr with 3 lists. | | Thanks to Jack Firth for the report. : M .../tests/typed-racket/unit-tests/typecheck-tests.rkt| 13

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 sa...@ccs.neu.edu, Vincent St-Amour stamo...@ccs.neu.edu - Match Tests - Typed Racket Tests Done. - Typed Racket Updates: update HISTORY (updates should show v6.1.1 as the most current version; email

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.) In process. Pushed as commit

Re: [racket-dev] Intermittent Segfault on DrDr

2014-10-03 Thread Vincent St-Amour
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 segfaulting intermittently for about a month, but I can't reproduce the crash on any of my

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

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/ now

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 installed).

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 sa...@ccs.neu.edu, Vincent St-Amour stamo...@ccs.neu.edu - Match Tests - Typed Racket Tests Done. - Typed Racket Updates: update HISTORY (updates should show v6.1 as the most current version; email

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 speedups, support for contracted

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

2014-05-01 Thread Vincent St-Amour
At Thu, 01 May 2014 13:49:55 -0400, Ryan Culpepper wrote: vincent: - contract profiler (cc0e6763, 7495243d, etc) Nothing significant for this release. - make f[lx]vectors sequences (8e32e6e4) Not sure that's worth putting in the release notes, but if we decide it is, here's a bullet: -

Re: [racket-dev] make-empty-namespace vs make-base-empty-namespace; ie attaching racket/base does other stuff

2014-04-28 Thread Vincent St-Amour
Extra bit of information, this works too: #lang racket (define ns (make-empty-namespace)) (namespace-attach-module (current-namespace) ''#%builtin ns) (parameterize ([current-namespace ns]) (namespace-require m.rkt)) But replacing ''#%builtin with ''#%kernel or ''#%boot

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

2014-04-25 Thread Vincent St-Amour
/ 47.0% pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/optimizer/tests/ ~~ ce3033a Vincent St-Amour stamo...@racket-lang.org 2014-04-25 13:40 : | Keep dead case-lambda clauses around to avoid changing arity. | | Closes PR14468. : A pkgs/typed-racket-pkgs

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

2014-04-21 Thread Vincent St-Amour
At Sat, 19 Apr 2014 19:41:49 -0600, Matthew Flatt wrote: At Sat, 19 Apr 2014 17:36:40 -0400, Vincent St-Amour wrote: At Sat, 19 Apr 2014 13:19:25 -0400, mfl...@racket-lang.org wrote: a01b12e Matthew Flatt mfl...@racket-lang.org 2014-04-19 10:11 : | optimizer: don't move expressions

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

2014-04-19 Thread Vincent St-Amour
At Sat, 19 Apr 2014 13:19:25 -0400, mfl...@racket-lang.org wrote: a01b12e Matthew Flatt mfl...@racket-lang.org 2014-04-19 10:11 : | optimizer: don't move expressions into a `with-continuation-mark` | | ... unless the optimizer can prove that the expression doesn't | inspect continuation

Re: [racket-dev] [racket-bug] all/14404: profile would be more useful if it returned the result(s) of evaluating its body

2014-03-27 Thread Vincent St-Amour
I looked through the package descriptions, and it doesn't look like any of them would use the profiler. I'll do the change. Vincent At Thu, 27 Mar 2014 15:33:48 -0400, Vincent St-Amour wrote: Will do. Is there a convenient way to grep through packages without installing them? Vincent

Re: [racket-dev] [DrDr] R28413 (timeout 4) (unclean 16) (stderr 35) (changes 22)

2014-03-26 Thread Vincent St-Amour
Right. I'll fix the TR random tester. Vincent At Wed, 26 Mar 2014 13:25:42 -0400, Sam Tobin-Hochstadt wrote: On Wed, Mar 26, 2014 at 1:10 PM, Robby Findler ro...@eecs.northwestern.edu wrote: Just to confirm: Redex isn't doing anything wrong, right? Correct -- I think `real` was always

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

2014-01-15 Thread Vincent St-Amour
At Wed, 15 Jan 2014 12:31:29 -0500, mfl...@racket-lang.org wrote: +@history[#:added 6.0.0.1] IIUC, x.y.z.w versions are not usually user-visible (at least, they don't correspond to any released version). Do we want to expose them in the docs? Vincent _ Racket

Re: [racket-dev] release notes draft

2014-01-13 Thread Vincent St-Amour
These release notes look good to me, but maybe a bit short. Since this is our first release with new features since 5.3.4 last May, I would have expected a longer list. For example, during the previous release notes discussion, Jay and Neil had some bullets that I don't see on this list. There

Re: [racket-dev] release notes draft

2014-01-13 Thread Vincent St-Amour
At Mon, 13 Jan 2014 12:25:06 -0600, Robby Findler wrote: [1 text/plain; UTF-8 (7bit)] On Mon, Jan 13, 2014 at 11:05 AM, Vincent St-Amour stamo...@ccs.neu.eduwrote: These release notes look good to me, but maybe a bit short. Since this is our first release with new features since

Re: [racket-dev] Pre-Release Checklist for v6.0, corrected url

2013-12-16 Thread Vincent St-Amour
At Mon, 16 Dec 2013 11:38:32 -0500, Ryan Culpepper wrote: * Sam Tobin-Hochstadt sa...@ccs.neu.edu, Vincent St-Amour stamo...@ccs.neu.edu - Match Tests - Typed Racket Tests Done. - Typed Racket Updates: update HISTORY (updates should show v6.0 as the most current version; email

Re: [racket-dev] Pre-Release Checklist for v6.0, corrected url

2013-12-16 Thread Vincent St-Amour
At Mon, 16 Dec 2013 16:29:25 -0500, Vincent St-Amour wrote: - Typed Racket Updates: update HISTORY (updates should show v6.0 as the most current version; email me to pick the changes when they're done, or tell me if there are no such changes.) Coming soon. Pushed. It's commit

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

2013-11-15 Thread Vincent St-Amour
At Thu, 14 Nov 2013 20:37:28 -0500, Neil Toronto wrote: For the following program, on my computer, the new random - unsafe-flrandom optimization slows down the first loop and speeds up the second: #lang typed/racket (require math/flonum racket/unsafe/ops) (define g

[racket-dev] `collection-path' Considered Brittle

2013-11-04 Thread Vincent St-Amour
While looking at Asumu's `raco-find-collection' package, Asumu and I noticed something about the `collection-path' function that made us uncomfortable. `collection-path' returns *a* path where the given collection is located. With the package system, there can now be *multiple* such paths.

Re: [racket-dev] `collection-path' Considered Brittle

2013-11-04 Thread Vincent St-Amour
At Mon, 4 Nov 2013 11:49:44 -0600, Robby Findler wrote: collection-path is legacy and should generally be removed when you find it (I think I fixed two uses of it Saturday in fact). The documentation does mention that `collection-file-path' is usually preferred, but it doesn't make it clear

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

2013-08-30 Thread Vincent St-Amour
I was thinking of the `Set' type constructor as meaning generic set, which is why I gave that type to `generic-set?'. This interpretation is a problem because TR treats sets as covariant. If we make sets invariant, could TR support generic sets? [1] Or are there other issues I'm missing? Vincent

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

2013-08-30 Thread Vincent St-Amour
change. I think there is a bunch of existing code that assumes that Set is exactly hashsets, or at least covariant. On Fri, Aug 30, 2013 at 5:37 PM, Vincent St-Amour stamo...@ccs.neu.edu wrote: I was thinking of the `Set' type constructor as meaning generic set, which is why I gave

Re: [racket-dev] Manual inlining destroys performance for this program

2013-08-27 Thread Vincent St-Amour
It looks like you may want `define-inline' from `racket/performance-hint'. Vincent At Thu, 22 Aug 2013 11:11:51 -0400, Sam Tobin-Hochstadt wrote: Ah, indeed. I'm calling `random` in the closure now. Fixing that removes the anomaly. Sam On Thu, Aug 22, 2013 at 11:05 AM, Matthew

Re: [racket-dev] continuation-mark-set-context : Empty Stack Traces?

2013-08-13 Thread Vincent St-Amour
unwind). A related symptom I had noticed was that building without gcc optimization used disabled stack traces; that's now fixed. There are still ways to end up with an empty stack trace, but it should happen much less often. At Wed, 07 Aug 2013 17:49:57 -0400, Vincent St-Amour wrote

[racket-dev] Package Update Fails?

2013-08-13 Thread Vincent St-Amour
I had installed Stephen's `graph' package. Then, he pushed a new version, and I tried updating my install. Here's the error I got: stamourv@ahuntsic:plt$ raco pkg update graph Inferred package scope: /home/stamourv/src/plt/racket/share/pkgs Resolving graph via

Re: [racket-dev] Package Update Fails?

2013-08-13 Thread Vincent St-Amour
At Tue, 13 Aug 2013 15:59:57 -0600, Matthew Flatt wrote: At Tue, 13 Aug 2013 17:23:33 -0400, Vincent St-Amour wrote: I had installed Stephen's `graph' package. Then, he pushed a new version, and I tried updating my install. Here's the error I got: stamourv@ahuntsic:plt$ raco pkg

Re: [racket-dev] Package Update Fails?

2013-08-13 Thread Vincent St-Amour
At Tue, 13 Aug 2013 16:19:28 -0600, Matthew Flatt wrote: At Tue, 13 Aug 2013 18:12:12 -0400, Vincent St-Amour wrote: At Tue, 13 Aug 2013 15:59:57 -0600, Matthew Flatt wrote: At Tue, 13 Aug 2013 17:23:33 -0400, Vincent St-Amour wrote: I had installed Stephen's `graph' package

[racket-dev] continuation-mark-set-context : Empty Stack Traces?

2013-08-07 Thread Vincent St-Amour
I'm profiling one of the contract benchmarks[1], and I noticed that sometimes (about 10 out of 300 samples), `continuation-mark-set-context' would return an empty stack trace. This number is cut down by about half if I disable the JIT. These samples seem to be spread out throughout execution

Re: [racket-dev] Generics updates

2013-08-03 Thread Vincent St-Amour
At Fri, 2 Aug 2013 15:33:02 -0400, Carl Eastlund wrote: [1 text/plain; UTF-8 (7bit)] On Fri, Aug 2, 2013 at 1:47 PM, Stephen Chang stch...@ccs.neu.edu wrote: With that in mind, I think it would make sense to move `set-first' and `set-empty?' to the primitive set (making it clear that

Re: [racket-dev] Generics updates

2013-08-02 Thread Vincent St-Amour
At Thu, 1 Aug 2013 18:56:08 -0400, Carl Eastlund wrote: Ah, yes, set-stream isn't primitive because it can be derived if you have set-first and either set-rest or set-remove. And I know there are dependency cycles, this is intentional so that you can implement any one of several related

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

2013-07-24 Thread Vincent St-Amour
? Thanks, Robby On Tue, Jul 23, 2013 at 9:11 AM, Vincent St-Amour stamo...@ccs.neu.eduwrote: The TR tests still fail when using a single place. The following commits should be included in the release: 069ff59a4bd6a988a5670c7e4dd38c1dbbe12ec0 0e7940ab4943600e6f5c8f13ce7ee13e8af9a8f5

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

2013-07-23 Thread Vincent St-Amour
The TR tests still fail when using a single place. The following commits should be included in the release: 069ff59a4bd6a988a5670c7e4dd38c1dbbe12ec0 0e7940ab4943600e6f5c8f13ce7ee13e8af9a8f5 ab5075bc762356f86bb7dfd34dac8d24ada1a140 Vincent At Mon, 22 Jul 2013 17:49:20 -0400, Vincent St-Amour

[racket-dev] continuation-mark-set-context Regression on 64 bit Linux

2013-07-23 Thread Vincent St-Amour
On 64 bit Linux, `continuation-mark-set-context' doesn't provide any stack trace anymore, instead always returning the empty list. It was working at least up to 5.3.4. When the JIT is disabled, I get the expected stack traces. This regression breaks the profiler, the contract profiler, and the

Re: [racket-dev] continuation-mark-set-context Regression on 64 bit Linux

2013-07-23 Thread Vincent St-Amour
At Tue, 23 Jul 2013 19:29:27 -0500, Robby Findler wrote: Is this in 5.3.6 or in the git head version? 5.3.6 is fine. That was on git HEAD. Matthew's last commit fixed it. Is this related to the test failures you reported earlier? No. Vincent _ Racket Developers

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

2013-07-22 Thread Vincent St-Amour
are at -- http://pre.racket-lang.org/release/installers The Linux/i386/Ubuntu Precise installer is 64 bits, which is wrong. * Sam Tobin-Hochstadt sa...@ccs.neu.edu, Vincent St-Amour stamo...@ccs.neu.edu - Match Tests - Typed Racket Tests - Typed Racket Updates: update HISTORY

[racket-dev] Bash Completion Broken?

2013-07-09 Thread Vincent St-Amour
Bash completion for raco setup (in pkgs/plt-services/meta/contrib/completion/racket-completion.bash) is currently broken. It only completes collects that are in the core. I haven't tried it, but I suspect that zsh completion is similarly broken. To find collects to complete, the script looks for

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

2013-06-06 Thread Vincent St-Amour
At Thu, 6 Jun 2013 18:39:57 -0400, Carl Eastlund wrote: Also if you're going to memoize things, why are you using assoc rather than a hash table? Or if at all possible, a weak hash table? I'm using `procedure-closure-contents-eq?' as the equality predicate. AFAIK, there's no hash table for

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

2013-06-06 Thread Vincent St-Amour
/5ea3a1ce6d..6e8c9ed15a =[ 2 Commits ]== Directory summary: 82.9% collects/racket/contract/private/ 17.0% collects/scribblings/reference/ ~~ d1df869 Vincent St-Amour stamo...@racket-lang.org javascript:; 2013-06

Re: [racket-dev] TR tests sometimes fail with a promise error

2013-05-03 Thread Vincent St-Amour
Sam, Asumu and I found and fixed the bug. Here's the problem in a nutshell. This is the implementation of `delay/thread' from racket/promise. (define (delay/thread thunk) (let () (define (run) (call-with-exception-handler (lambda (e) (pset! p (make-reraise

Re: [racket-dev] TR tests sometimes fail with a promise error

2013-05-03 Thread Vincent St-Amour
At Fri, 3 May 2013 11:56:02 -0400, Eli Barzilay wrote: A few minutes ago, Vincent St-Amour wrote: Sam, Asumu and I found and fixed the bug. Here's the problem in a nutshell. This is the implementation of `delay/thread' from racket/promise. (define (delay/thread thunk

Re: [racket-dev] TR tests sometimes fail with a promise error

2013-05-03 Thread Vincent St-Amour
construct. At Fri, 03 May 2013 11:45:38 -0400, Vincent St-Amour wrote: Sam, Asumu and I found and fixed the bug. Here's the problem in a nutshell. This is the implementation of `delay/thread' from racket/promise. (define (delay/thread thunk) (let () (define (run

Re: [racket-dev] TR tests sometimes fail with a promise error

2013-05-03 Thread Vincent St-Amour
At Fri, 3 May 2013 12:17:46 -0400, Eli Barzilay wrote: A few minutes ago, Vincent St-Amour wrote: At Fri, 3 May 2013 11:56:02 -0400, Eli Barzilay wrote: (define (delay/thread thunk) (let () (define p (make-promise/thread #f)) (pset! p (make-running-thread

Re: [racket-dev] TR tests sometimes fail with a promise error

2013-05-03 Thread Vincent St-Amour
I tried your suggestion, and it doesn't fix the original bug. I'll stick with the semaphores solution. Vincent At Fri, 03 May 2013 13:13:45 -0400, Vincent St-Amour wrote: At Fri, 3 May 2013 12:17:46 -0400, Eli Barzilay wrote: A few minutes ago, Vincent St-Amour wrote: At Fri, 3

Re: [racket-dev] Release Announcement for v5.3.4, Final Draft

2013-05-01 Thread Vincent St-Amour
At Wed, 1 May 2013 17:35:44 -0400, Eli Barzilay wrote: * The Optimization Coach DrRacket plugin has been moved from the Racket distribution to the Racket package repository. It might be good to include some very quick instructions on how to install it. * The Optimization Coach DrRacket

[racket-dev] Potential Constant Propagation Bug

2013-03-29 Thread Vincent St-Amour
I have found what I think may be a bug in Racket's constant propagation: (unsafe-fx* 0 (error 'foo)) does not throw and error and evaluates to 0. If 0 is replaced with another value, or if it's `read' in, the error is thrown. `unsafe-fxquotient' has the same issue. On the one hand, this is

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

2013-02-26 Thread Vincent St-Amour
At Tue, 26 Feb 2013 16:59:01 -0500, mfl...@racket-lang.org wrote: 899a327 Matthew Flatt mfl...@racket-lang.org 2013-02-26 14:14 : | add experimental support for phaseless modules | After reading the docs, I find the name phaseless confusing. IIUC, these modules are not special because they

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

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

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

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] 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] 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] 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] 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] 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-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] 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] 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] `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] `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] [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] 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 #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] [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] [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] 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] 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

  1   2   >