[racket-users] Ubuntu PPA also updated to v7.7

2020-05-09 Thread Asumu Takikawa
On 2020-05-02 15:02:57 -0400, 'John Clements' via Racket Users wrote: > Racket version 7.7 is now available from > > https://racket-lang.org/ The Ubuntu PPA was also updated to v7.7. Install instructions are on the Launchpad page as usual: https://launchpad.net/~plt/+archive/ubuntu/racket

[racket-users] SOLVED: Mysterious multiple values in a typed-racket program

2020-05-09 Thread Hendrik Boom
On Sat, May 09, 2020 at 12:24:16PM -0400, Ben Greenman wrote: > On 5/9/20, Hendrik Boom wrote: > > I get the message > > > > readspec.rkt:195:8: Type Checker: Expression should produce 3 values, but > > produces 1 values of types String in: (for/set : (Setof String) (((l : > > String) (cast

[racket-users] Re: How to avoid all packages when building from source?

2020-05-09 Thread Juan Francisco Cantero Hurtado
On 8/5/20 12:10, zeRusski wrote: I just rebuilt Racket from git repo checkout. It takes a while but most of that time is spent in `raco setup` which appears to be building all packages in existence. E.g. games, redex-examples, realm of Racket chapter 6 (really?), plai, algol, etc. Why do I end

Re: [racket-users] Mysterious multiple values in a typed-racket program

2020-05-09 Thread Ben Greenman
On 5/9/20, Hendrik Boom wrote: > I get the message > > readspec.rkt:195:8: Type Checker: Expression should produce 3 values, but > produces 1 values of types String in: (for/set : (Setof String) (((l : > String) (cast (in-lines input-port) (Sequenceof String (cast > (string-trim l) String)) >

[racket-users] Mysterious multiple values in a typed-racket program

2020-05-09 Thread Hendrik Boom
I get the message readspec.rkt:195:8: Type Checker: Expression should produce 3 values, but produces 1 values of types String in: (for/set : (Setof String) (((l : String) (cast (in-lines input-port) (Sequenceof String (cast (string-trim l) String)) from the following function: (define

Re: [racket-users] Another futures-related bug hunt

2020-05-09 Thread Dominik Pantůček
Hello, I'll add a lock at lines 1092-1096 of "newgc.c", and we'll see if that helps. should I open the issue or will you do it? (Speaking of race conditions...). I'll re-run the tests with the lock once it is in the repo - sometimes it takes hours for this bug to exhibit and with 8 HTs the

Re: [racket-users] Another futures-related bug hunt

2020-05-09 Thread Matthew Flatt
At Sat, 9 May 2020 07:18:01 +0200, Dominik Pantůček wrote: > would this be enough to open an issue for that? > > (gdb) info threads >Id Target IdFrame > * 1Thread 0x77c1b300 (LWP 19075) "tut22.rkt" > mark_backpointers

Re: [racket-users] How to run multiple Racket installations?

2020-05-09 Thread Simon Schlee
You could use the nix package manager https://nixos.org/nix/ it runs on many linux platforms and macOS. It has predefined racket and racket-minimal packages, you can define derived versions of those packages and adapt them to your needs. It allows you to easily switch between different