Re: [racket-dev] Request for RacketCS GC fun

2019-10-06 Thread Ben Greenman
Here's some data on garbage collection for a few Typed Racket benchmark programs on Racket v6.12: https://docs.racket-lang.org/gtp-benchmarks/index.html?q=gtp%20benchmarks#(part._.Time_and_.Garbage_.Collection_.Details) The easiest way to get code that matches the table is to: - install the `gtp-

Re: [racket-dev] Git development setup

2019-02-02 Thread Ben Greenman
> OK, so that sorts out getting a clone of the repository I need to work > on. Now how do I invoke racket so that this clone is loaded instead of > the version bundled with Racket? You can change your PATH environment variable to include the clone's racket/bin/ folder, or add a symlink from the c

Re: [racket-dev] Release Announcement for v7.1

2018-10-14 Thread Ben Greenman
> Ben Greenman > - types for mutable and immutable vectors: > 88e9a01426d20f3421cd797ac2f23e41b75058d6 @ typed-racket Typed Racket adds types for mutable and immutable vectors: `(Mutable-Vectorof T)`, `(Immutable-Vectorof T)`, `(Immutable-Vector T)`, and `(Mutable-Vector T)`. The new

Re: [racket-dev] Racket Docs Website Search Broken

2018-03-22 Thread Ben Greenman
Curl output: $ curl -v "http://docs.racket-lang.org/search/index.html?q=struct"; * Trying 104.24.100.149... * Connected to docs.racket-lang.org (104.24.100.149) port 80 (#0) > GET /search/index.html?q=struct HTTP/1.1 > Host: docs.racket-lang.org > User-Agent: curl/7.43.0 > Accept: */* > * Recv f

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

2018-01-15 Thread Ben Greenman
> Ben Greenman > - TR contract generation optimizations (96684530 @ typed-racket) I would rather put 9df037b in the release notes: - TR contract generation (9df037b @ typed-racket) Typed Racket will no longer enforce a type like (U String (Boxof String)) with the any/c contract. This f

Re: [racket-dev] Senior Project Contribution

2017-12-23 Thread Ben Greenman
Hi Mark, Welcome! The Typed Racket issues page on GitHub has a list of "small" tasks that need solving: https://github.com/racket/typed-racket/issues and the Typed Racket pull requests page has tasks that are currently being solved, or partial solutions that you might want to contribute to: http

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

2017-07-19 Thread Ben Greenman
> > Ben Greenman > - types for immutable data (fae58e140dc35f0fb144081ffd9c3798db4e19cf @ > typed-racket) > * Typed Racket has types for immutable, mutable, and weak hashtables; in other words the type `(HashTable K V)` is a union `(U (Immutable-HashTable K V) (Mutable-HashTable

Re: [racket-dev] typed ref docs don't render properly

2017-03-22 Thread Ben Greenman
That's not Racket's problem, that's my library's problem. https://pkgn.racket-lang.org/package/trivial On Wed, Mar 22, 2017 at 10:54 AM, Matthias Felleisen wrote: > > Sorry, I should have held off. The guide has similar indexing problems: > > raco setup: 7 rendering: /typed-racket-doc/typed- >

Re: [racket-dev] Review Requests for Several Scribble and Racklog Improvements

2017-03-02 Thread Ben Greenman
ping, can a Scribble expert look at these? IMO - #75 is ready to merge - #77 is probably good, but I'm not sure if allowing unicode in tags is problematic - #73 seems correct - #78 seems correct (though, why not comment out the element?) (I haven't looked at #74 carefully) On Sun, Feb 12, 2017 a

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

2017-01-15 Thread Ben Greenman
On Sun, Jan 15, 2017 at 2:14 PM, Vincent St-Amour < stamo...@eecs.northwestern.edu> wrote: > Ben Greenman: > - scribble/html changes (1676671e @ scribble) > [[ I think this is too small to include, but here's a blurb ]] The `scribble/html/extra` module provides renderers fo

Re: [racket-dev] RFC: define-module+

2016-11-04 Thread Ben Greenman
Can this be a package now? On Thu, Oct 27, 2016 at 3:53 PM, Jay McCarthy wrote: > Something that has annoyed me about module+ since we first implemented it > was that you couldn't make `module`s using it and you couldn't specify the > module language (it is always `module*` with `#f` as the lang

[racket-dev] Profiling Racket bytecode

2016-10-27 Thread Ben Greenman
Hi dev, Is there an easy way to profile Racket bytecode? Something like raco profile, but reporting bytecode locations instead of source. [[ context: Oli (cc'd) is from Jan Vitek's group and was interested in looking for inefficiencies in the bytecode of gradually typed programs ]] -- You recei

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

2016-10-15 Thread Ben Greenman
> > - #lang and #reader search (racket @ 1dd934c8cb78ba038235eab9659bc9 > c4c08c07df) > Typing "H:" on the search page returns all #langs and typing "R:" returns all reader modules (just like "L:" returns all modules). > - file/glob (racket @ 97c65102b3ca4aaacf0674fe691e3c0783224bc0) > The fi

Re: [racket-dev] Release for v6.7 is about to begin

2016-10-03 Thread Ben Greenman
I'd also like to advertise #1355 and #1464 https://github.com/racket/racket/pull/1355 https://github.com/racket/racket/pull/1464 #1355 lets the documentation search box filter by #langs. Searching for "H:" returns a list of all valid #langs (like how "L:" returns all modules), and you can combine

Re: [racket-dev] Command-line REPL for a custom #lang?

2016-06-03 Thread Ben Greenman
On Fri, Jun 3, 2016 at 6:28 PM, Alexis King wrote: > Is there some other way to achieve > this behavior with the current set of options that I don’t know about? > One idea: define a raco command to open the repl. [[ Assuming you make a package out of #lang custom, you'd want to add a line l