[racket-dev] Re: [racket-users] machine and network outage at Northeastern

Unfortunately, this has had larger impact than we expected, because a number of places linked directly to mirror.racket-lang.org, which normally hosts downloads. That machine will be down until July 2. In particular, this seems to affect the setup-racket GitHub Action and the homebrew formula for

Re: [racket-dev] understand the implementation of "for/fold"

I think the best way to start understanding `for/fold` is to look at the steps it takes in the macro stepper. That will give you a sense for what intermediate macros are used, and what the shape of the resulting code is. Once you understand that for some examples, it will probably be easier to

[racket-dev] Re: draft of release notes for Racket v8.0

On Sun, Jan 31, 2021 at 9:06 PM 'John Clements' via Release Management wrote: > > * Typed Racket has full support for sequences in `for` forms. This entry should be dropped (the support is not "full" now, and the improvements are longer to explain). Sam -- You received this message because

Re: [racket-dev] websites down

They both appear up for me right now. Sam On Wed, Oct 21, 2020, 12:42 PM Ryan Culpepper wrote: > Both are still down for me, and downforeveryoneorjustme.com also thinks > they are down. > > Ryan > > > On Wed, Oct 21, 2020 at 5:01 PM joeld via Racket Developers < > racket-dev@googlegroups.com>

Re: [racket-dev] Question about `typed-context?`

> Thanks > > > On Oct 7, 2020, at 8:44 PM, Sam Tobin-Hochstadt > > wrote: > > > > The way this works, the box doesn't have to "get into" any modules > > that aren't typed. Instead, when expanding a module A, that module > > may contain uses of

Re: [racket-dev] Question about `typed-context?`

The way this works, the box doesn't have to "get into" any modules that aren't typed. Instead, when expanding a module A, that module may contain uses of identifiers defined in a typed module T. Those identifiers are macros that look something like this: (define-syntax (id stx) (if

Re: [racket-dev] Fwd: [racket/racket] Run failed: CI Linux - release (87bd7b1)

if I understand correctly, the real error is >> >> Exception: variable compile-compressed is not bound >> >> Perhaps Chez Scheme version was not up-to-date? >> >> On Sun, Jul 19, 2020 at 8:12 AM Sam Tobin-Hochstadt >> wrote: >> >>> It looks lik

Re: [racket-dev] Fwd: [racket/racket] Run failed: CI Linux - release (87bd7b1)

It looks like the only failed build was Racket CS on Linux with GCC. The error is here https://github.com/racket/racket/runs/886934172#step:8:5614 and doesn't point to anything wrong, so it's not clear what happened. I'll restart those builds and hopefully it won't fail this time. Sam On Sun,

Re: [racket-dev] Re: Racket Survey 2020

open >> until July 31 and we will report on the results sometime after that. >> >> Please help us spread the word by sharing the survey link on your >> social network feeds, at conferences, around your office, and in other >> communities. >> >> If you have any q

[racket-dev] Racket Survey 2020

help us spread the word by sharing the survey link on your social network feeds, at conferences, around your office, and in other communities. If you have any questions, please let us know at sur...@racket-lang.org. Stephen De Gabrielle & Sam Tobin-Hochstadt -- You received this message bec

Re: [racket-dev] https://github.com/racket/gnats-bugs

Yes, if you're interested in working on this, let me know off-list -- I've already written a lot of code in this direction. Sam On Thu, Jun 18, 2020, 6:19 AM Stephen De Gabrielle wrote: > Hi, > > Is there any value in migrating bug reports in > https://github.com/racket/gnats-bugs that do not

Re: [racket-dev] racket-cs build failure JFYI (fixed)

The list of identifiers exported by the kernel are compiled into the expander -- the expander doesn't maintain its own list. So this is an expected sort of error with an old bootstrap copy of Racket. Sam On Mon, May 25, 2020 at 9:52 PM 'John Clements' via Racket Developers wrote: > > Hmm…

[racket-dev] Racket infrastructure improvements

Recently, we've put in place several improvements to Racket's build infrastructure. First, the pkg-build.racket-lang.org machine is now hosted in the cloud, and now works continuously. That means that packages and documentation will be re-built every few hours, instead of every day. So when you

Re: [racket-dev] Adding project-level scoping to raco pkg install

I'll try to write out in more detail what the kinds of package managers Sage is referring to do, to make this clearer for everyone. The high-level idea is that you have a bunch of directories on your system(Alex's analogy to git is a good one), and in each of them, your run appropriate commands

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

For the blog post version of the release notes, can we add some links, such as to the "Inside: Racket" section, and to the documentation for the various new forms? Also, are stencil-vector implementations of HAMTs a new invention, or is the some previous work on this we should mention? Sam On

[racket-dev] Racket now on GitHub sponsors

Racketeers, It's now possible to "sponsor" Racket with a monthly contribution using GitHub sponsors, at https://github.com/sponsors/racket/ Racket is and will always be free to everyone, but financial contributions help both to pay for costs like AWS hosting as well as support outreach events

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

Matthias Felleisen, Mike > Sperber, Paulo Matos, Philip McGrath, Reuben Thomas, Robby Findler, Ross > Angle, Ryan Culpepper, Sage Gerard, Sam Tobin-Hochstadt, Shu-Hung You, > Sorawee Porncharoenwase, Stephen De Gabrielle, Syntacticlosure, Timo > Wilken, Tommy McHugh, Winston Weinert, Zao

Re: [racket-dev] Running Racket from command line

There are three things you could do here: 1. Start the racket REPL, use `enter!` to run the program, and then type in your expression. This is very similar to how DrRacket works. 2. Make sure the relevant things are `provide`d by your module, then `require` the module and execute an expression.

Re: [racket-dev] Re: Continuous Integration update and future

otice and eventually update it > > days or weeks later. > > Maybe after such a change install-racket.sh and this repo still exist in a > > simplified form, or not, I don't know. > > > > (I'm posting here instead of on Slack for persistence.) > > > > -Philip > >

Re: [racket-dev] Re: Continuous Integration update and future

This sounds great. I see also that Bogdan has developed an action for downloading Racket. Let's continue this work by organizing in the #ci channel on Slack, which I've just created. Anyone else who's interested should join that channel, and we'll work out next steps there. Sam On Sat, Nov 16,

[racket-dev] Completing Racket's re-licensing process

With the upcoming Racket 7.5 release, almost all of Racket, including the core Racket CS binary, the standard library, and the packages provided with the main distribution, are available under a permissive license, either the Apache 2.0 License or the MIT License. You can read the details of the

Re: [racket-dev] Wrong branch in racket/games

I deleted your branch, and the others you mention. If you go to https://github.com/racket/racket/branches (for example) you should be able to delete branches as well. Sam On Sat, Oct 26, 2019 at 8:32 AM Gustavo Massaccesi wrote: > > I pushed to the wrong branch in racket/games :( > >

Re: [racket-dev] github.com/racket-lang

I don't know who controls that account. Sam On Tue, Jul 23, 2019 at 8:04 AM Neil Van Dyke wrote: > > There's a GitHub presence, "https://github.com/racket-lang;, which has > the Racket logo, but no Repositories/People/Projects visible. People who > land on that could think Racket has nothing on

Re: [racket-dev] Matching FFI types with "match"

Yes, the problem here is that plain names in `match` are bindings, not comparisons to things in the environment. So if you replace `_float` with `empty` or `string=?` it will still produce the same answer. If you want to compare with something in a `match` pattern, you might want `==`:

Re: [racket-dev] Racket Testing

There are a few things here: 1. The set of tests is selected mostly based on what doesn't have a lot of dependencies, tests things in the `racket/racket` repository, and completes in the Travis CI time limit. 2. Some tests are run under `racket` vs `raco test` for historical reasons, probably

Re: [racket-dev] time to move off google groups?

I just tested this, with the subject "CI improved for Racket" (from April, on this list). For me, the Google Groups archive entry is the first result for that query, when quoted. Sam On Mon, May 20, 2019 at 5:26 PM Neil Van Dyke wrote: > > BTW, sorry I wasn't clear, and this might be important

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

On Sun, May 5, 2019 at 9:21 PM 'John Clements' via Racket Developers wrote: > - This release adds GitLab support for cross-architectural and > native testing. I don't think this should be in the notes, since we didn't actually get anything from non-working to working for this release. Sam

Re: [racket-dev] Coverity Scan during CI

Hi Paulo, This sounds like an excellent project. I'm happy to do the necessary administration on the Racket side if you let me know what to do, but even better would be if you could do it. Is there a way to arrange for you to be the owner of the project on Coverity? Sam On Fri, Sep 14, 2018 at

Re: [racket-dev] CI mysteriously failing in PR

These errors are not your fault. The appveyor one is known but we haven't reproduced it locally yet, the Travis one is intermittent but also not your fault. Sam On Wed, May 23, 2018, 5:41 PM William J. Bowman wrote: > I submitted a pull request, and both Travis and

Re: [racket-dev] Racket to join the Conservancy!

has > approved Racket for membership in Conservancy. The Racket Project Leadership > Committee has been working with Conservancy to put a document in place > called a “fiscal sponsorship agreement” (FSA). Matthew Flatt, Jay McCarthy, > Robby Findler, Matthias Felleisen and Sam Tobin-Hochstadt are

Re: [racket-dev] lightweight RFC for Typed Racket

On Fri, Apr 27, 2018 at 10:01 AM, Stephen De Gabrielle wrote: > Hi Sam, > > Will there be a similar process for other repositories included in the main > distribution? (e.g. https://github.com/racket/drracket ) This plan is only for Typed Racket. Sam -- You received

[racket-dev]

Racketeers, tl;dr: We’re adding a lightweight RFC process to design and document changes to Typed Racket, and you can see the first one, on prefab structs, here: https://github.com/racket/typed-racket/pull/699 Recently in Typed Racket, we’ve realized that the process for documenting high-level

Re: [racket-dev] racket snapshot scripts

I'm not sure if this is what you're doing, but note that for the v6.12 (and previous) tags just using `make` will not work in general -- see the discussion at https://github.com/racket/racket/pull/1987 Sam On Fri, Apr 6, 2018 at 12:56 PM, 'Paulo Matos' via Racket Developers

[racket-dev] drdr downtime on December 19/20

Racket Developers, The machine that runs drdr.racket-lang.org will go down for a move on December 19th, and return sometime on the 20th. Because of how DrDr works, they will cause all changes in that time frame to appear in a single build. Hopefully this won't cause too much trouble in finding

Re: [racket-dev] Study the implementation of DrRacket...

Here's how to install Racket and have a cloned version of DrRacket that you can play with: > git clone git://github.com/racket/racket > cd racket > make # this will build racket, install all the standard packages, and compile > them > mkdir extra-pkgs # this directory is listed in .gitignore for

Re: [racket-dev] work flow of typed/racket/no-check function

`typed/racket/no-check` allows you to use the syntax of Typed Racket (such as the type annotation forms) but does no type checking at all -- it's just simple syntax that has no extra meaning beyond regular untyped racket. Sam On Tue, Jun 20, 2017 at 8:27 AM, Asiful Islam

Re: [racket-dev] #:authentic

t; > > > On May 12, 2017, at 1:27 PM, Sam Tobin-Hochstadt <sa...@cs.indiana.edu> > wrote: > > > > We have proxies for channels, but not for threads. > > > > > > On Fri, May 12, 2017, 1:25 PM Matthias Felleisen <matth...@ccs.neu.edu> > wrote

Re: [racket-dev] #:authentic

t Moore <sc...@thinkmoore.net> wrote: > > > > Can confirm. ;) > > > > On May 12, 2017, 1:13 PM -0400, Sam Tobin-Hochstadt < > sa...@cs.indiana.edu>, wrote: > >> The problem with Typed Racket would come from sending a higher order > value to an untyped

Re: [racket-dev] Slack discussion for Racket

No, just as Racketeers that have not used IRC over the past several years have not been marginalized. Sam On Tue, Jan 10, 2017 at 7:09 PM, Neil Van Dyke wrote: > Over time, will Racketeers who decline to use Slack.com be marginalized? > > (Addressees trimmed to

[racket-dev] Slack discussion for Racket

A while back, Jason Yeo created a Slack for talking about Racket at https://racket.slack.com/ After talking with some other Racket developers (and with Jason's permission), we're planning to make this an official part of the project. So you may see more people there, and it can be a place to talk

Re: [racket-dev] Contributing to documentation

The reference and guide (and several other documents) are here: https://github.com/racket/racket/tree/master/pkgs/racket-doc/scribblings Other documentation is with the library it documents (such as Typed Racket, where the docs are in the racket/typed-racket repository). Sam On Thu, Jan 5, 2017

Re: [racket-dev] Boost + ASL 2.0

Copyright on Racket is owned by all of the contributors, since copyright assignment is not required for contributing code to Racket. You can see a list of some of the people who've contributed the most code here: https://github.com/racket/racket/graphs/contributors Sam On Tue, Nov 8, 2016 at

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

On Thu, Jul 21, 2016 at 7:35 PM, Robby Findler <ro...@eecs.northwestern.edu> wrote: > Can we say in a single line how to get the warnings to show up? > > Robby > > On Thu, Jul 21, 2016 at 4:08 PM, Sam Tobin-Hochstadt > <sa...@cs.indiana.edu> wrote: >> On Thu,

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

On Thu, Jul 21, 2016 at 1:44 PM, Vincent St-Amour wrote: > > samth: > - folding in of the compiler and net repos I think we can omit this. > TR: > - discussion of the `any/c` issue Typed Racket issues warnings in cases where the contract generated for `Any` was

Re: [racket-dev] Please enjoy

This is great! Thank you, Jay & Tony. Sam On Fri, Jul 15, 2016 at 8:05 PM, Jay McCarthy wrote: > http://pkgn.racket-lang.org > > Thanks Tony! > > After a bit of testing, we'll change the main link. > > Jay > > -- > Jay McCarthy > Associate Professor > PLT @ CS @ UMass

[racket-dev] Re: Merging the `net` and `compiler` repositories back in

This is now complete. Let me know if you experience any trouble building in the next couple days, and I'll try to fix the problem. Sam On Wed, May 25, 2016 at 4:25 PM, Sam Tobin-Hochstadt <sa...@cs.indiana.edu> wrote: > When we split the Racket repository out into many smaller > repo

Re: [racket-dev] Merging the `net` and `compiler` repositories back in

On Wed, May 25, 2016 at 9:12 PM, Matthias Felleisen <matth...@ccs.neu.edu> wrote: > >> On May 25, 2016, at 4:25 PM, Sam Tobin-Hochstadt <sa...@cs.indiana.edu> >> wrote: >> >> When we split the Racket repository out into many smaller >> reposit

Re: [racket-dev] Racket's worst-case GC latencies

You might be interested in my gcstats package, which will do some of these statistics for you, and may allow you to run larger heaps with data gathering. Sam On Sat, May 14, 2016, 9:09 PM Gabriel Scherer wrote: > Hi racket-devel, > > Short version: > Racket has

Re: [racket-dev] Release for v6.5 has begun

Unfortunately, there's not a good workaround to suggest here. What's happening is that `bigfloat?` is the `mpfr?` predicate defined by `define-cstruct` in `mpfr.rkt`. This is an untyped Racket file, which takes an arbitrary value, and is given the type `(-> Any Boolean)` in TR by

Re: [racket-dev] pkgd.r-l.org certificate expired?

This is now fixed. Sorry for the delay. Sam On Sun, Apr 3, 2016 at 4:28 AM, Alexis King wrote: > I am getting certificate errors when attempting to log in to > pkgs.racket-lang.org. Specifically, the certificate appears to have just > expired. I am able to manually

Re: [racket-dev] Bug in Typed Racket

On Sun, Nov 8, 2015 at 2:31 PM Sam Tobin-Hochstadt <sa...@cs.indiana.edu> wrote: > Thanks for the report! I've got a fix here, which I'm still testing: > https://github.com/racket/typed-racket/pull/238 > This is now fixed in the git source. Sam > > On Sun, Nov 8, 20

Re: [racket-dev] Bug in Typed Racket

Thanks for the report! I've got a fix here, which I'm still testing: https://github.com/racket/typed-racket/pull/238 Sam On Sun, Nov 8, 2015 at 7:16 AM Antonio Menezes Leitao < antonio.menezes.lei...@ist.utl.pt> wrote: > Hi, > > The following example works fine: > > #lang racket > > (define v

Re: [racket-dev] JFYI seg fault while building

If it's an eror with `Rep-seq` being passed #f, then probably it's just a bug somewhere else in TR, rather than related to the optimizer, unless it goes away when the optimizer is off. Sam On Sun, Nov 1, 2015 at 8:57 AM, Vincent St-Amour wrote: > Sounds like a

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

On Fri, Oct 30, 2015 at 2:40 PM Vincent St-Amour < stamo...@eecs.northwestern.edu> wrote: > Here's a draft for the TR changes: > > - Typed Racket fully supports submodules. > This we need to flesh out a bit more. How about: Submodules are now fully supported in Typed Racket. Previously, some

Re: [racket-dev] marking stuff deprecated in documentation

The warning is generated by `deprecated`, from `scribble/manual`. Sam On Tue, Oct 13, 2015 at 3:50 PM, Alexis King wrote: >> I'm curious to know the answer to Alexis' question: Semantics aside, >> how do I simply make something with a standard warning appearance? In >>

Re: [racket-dev] types for Asumu

The inst inside the expression. > > Is this expression typable at the moment? > > > > On Sep 29, 2015, at 4:14 PM, Sam Tobin-Hochstadt <sa...@cs.indiana.edu> wrote: > >> What use of `inst` produced `Nothing`? >> >> Sam >> >> On Tue, Sep 29, 2015 at 3:4

Re: [racket-dev] types for Asumu

What use of `inst` produced `Nothing`? Sam On Tue, Sep 29, 2015 at 3:46 PM, Matthias Felleisen <matth...@ccs.neu.edu> wrote: > > On Sep 29, 2015, at 3:25 PM, Sam Tobin-Hochstadt <sa...@cs.indiana.edu> wrote: > >> I think something problematic is happening with type in

[racket-dev] Re: [racket-users] Racket Package Server Security Vulnerabilities

On Tue, Sep 22, 2015 at 9:04 AM Michael Wilber <wilmic1...@gmail.com> wrote: > Thank you for disclosing these vulnerabilities! Responsible disclosure > helps everyone. > > Sam Tobin-Hochstadt <sa...@cs.indiana.edu> writes: > > * Check any packages you have u

Re: [racket-dev] Moving the Racket git repository

d?). > > I think it would be a good idea to put there a message with a link to > the new repository. > > Gustavo > > On Wed, Sep 16, 2015 at 5:15 PM, Sam Tobin-Hochstadt > <sa...@cs.indiana.edu> wrote: > > Summary: The main Racket git repository is now at > >

[racket-dev] Moving the Racket git repository

Summary: The main Racket git repository is now at https://github.com/racket/racket . Other locations are now obsolete. -- Continuing in our work to move Racket development work to GitHub, we've moved the core Racket repository to `racket/racket` on GitHub. This replaces both the former